Model Execution Domain

2017 ◽  
pp. 59-76
Author(s):  
Leon Starr ◽  
Andrew Mangogna ◽  
Stephen Mellor
Keyword(s):  
Author(s):  
Valentin Besnard ◽  
Matthias Brun ◽  
Frédéric Jouault ◽  
Ciprian Teodorov ◽  
Philippe Dhaussy
Keyword(s):  

2013 ◽  
Vol 10 (4) ◽  
pp. 1585-1620 ◽  
Author(s):  
Verislav Djukic ◽  
Ivan Lukovic ◽  
Aleksandar Popovic ◽  
Vladimir Ivancevic

In this paper, we present an approach to development and application of domain-specific modeling (DSM) tools in the model-based management of business processes. The level of Model-to-Text (M2T) transformations in the standard architecture for domain-specific modeling solutions is extended with action reports, which allow synchronization between models, generated code, and target interpreters. The basic idea behind the approach is to use M2T transformation languages to construct submodels, client application components, and operations on target interpreters. In this manner, M2T transformations may be employed to support not only generation of target platform code from domain-specific graphical language (DSGL) models but also straightforward use of models and appropriate DSM tools as client applications. The applicability of action reports is demonstrated by examples from document engineering, and measurement and control systems.


Author(s):  
Wim Paul Remi Laurier ◽  
Satoshi Horiuchi ◽  
Monique Snoeck

The formalization of the REA2 ontology presented in this paper offers a minimal set of operationalized semantics for a single white-box model relevant to all business stakeholders independent of their role or involvement in economic activities. This paper's theoretical innovations are the use of MERODE to model increment and decrement semantics as fundamental stand-alone concepts that simultaneously affect economic resources, event, agents and the semantics of the stock-flow, participation and ownership associations and the formalization of the REA axioms as executable finite state machines. MERODE's possibilities for model execution through fast prototyping allowed validation through the modeling of an archetypical exchange scenario. Both innovations contribute to the reliability of a generic semantic model for finance and logistics in both the traditional as well as the sharing economy, thus promoting traceability and accountability in value networks and supply chains supported by both centralized and decentralized ledger technologies.


2019 ◽  
Vol 18 (6) ◽  
pp. 3461-3485 ◽  
Author(s):  
Fazilat Hojaji ◽  
Tanja Mayerhofer ◽  
Bahman Zamani ◽  
Abdelwahab Hamou-Lhadj ◽  
Erwan Bousse

Author(s):  
Libo Huang ◽  
Zhiying Wang ◽  
Nong Xiao ◽  
Yongweng Wang ◽  
Qiang Dou

Sign in / Sign up

Export Citation Format

Share Document