Embedded UML Model Execution to Bridge the Gap Between Design and Runtime

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04771-9_38 ◽

2018 ◽

pp. 519-528 ◽

Cited By ~ 1

Author(s):

Valentin Besnard ◽

Matthias Brun ◽

Frédéric Jouault ◽

Ciprian Teodorov ◽

Philippe Dhaussy

Keyword(s):

Model Execution ◽

Embedded Uml

Download Full-text

Model execution: An approach based on extending domain-specific modeling with action reports

Computer Science and Information Systems ◽

10.2298/csis121228059d ◽

2013 ◽

Vol 10 (4) ◽

pp. 1585-1620 ◽

Cited By ~ 2

Author(s):

Verislav Djukic ◽

Ivan Lukovic ◽

Aleksandar Popovic ◽

Vladimir Ivancevic

Keyword(s):

Control Systems ◽

Business Processes ◽

Graphical Language ◽

Domain Specific ◽

Domain Specific Modeling ◽

Model Execution ◽

And Control ◽

Measurement And Control ◽

Specific Modeling ◽

Target Platform

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.

Download Full-text

Bare-Metal Kernels for DEVS Model Execution in Embedded Systems

10.22215/etd/2015-11114 ◽

2015 ◽

Author(s):

Daniella Niyonkuru

Keyword(s):

Embedded Systems ◽

Bare Metal ◽

Model Execution

Download Full-text

An executable axiomatization of the REA2 ontology

Journal of Information Systems ◽

10.2308/isys-19-026 ◽

2021 ◽

Author(s):

Wim Paul Remi Laurier ◽

Satoshi Horiuchi ◽

Monique Snoeck

Keyword(s):

Sharing Economy ◽

Economic Resources ◽

State Machines ◽

Semantic Model ◽

Economic Activities ◽

Minimal Set ◽

Fast Prototyping ◽

Finite State ◽

Model Execution ◽

Stock Flow

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.

Download Full-text