xMOF: Executable DSMLs Based on fUML

Mayerhofer, Tanja; Langer, Philip; Wimmer, Manuel; Kappel, Gerti

doi:10.1007/978-3-319-02654-1_4

Cited by 50 publications

(59 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…fUML is intended for the definition of the execution semantics for any DSML based on UML profiles [48]. The work from Mayerhofer et al [35] has made it possible to use fUML for defining execution semantics of any DSML based on the Meta-Object Facility standard…”

Section: Uml As An Executable Modeling Languagementioning

confidence: 99%

Execution of UML models: a systematic review of research and practice

Ciccozzi

Malavolta

Selić³

2018

Softw Syst Model

View full text Add to dashboard Cite

Several research efforts from different areas have focused on the execution of UML models, resulting in a diverse and complex scientific body of knowledge. With this work, we aim at identifying, classifying, and evaluating existing solutions for the execution of UML models. We conducted a systematic review in which we selected 63 research studies and 19 tools among over 5400 entries by applying a systematic search and selection process. We defined a classification framework for characterizing solutions for UML model execution, and we applied it to the 82 selected entries. Finally, we analyzed and discussed the obtained data. From the analyzed data, we drew the following conclusions: (i) There is a growing scientific interest on UML model execution; (ii) solutions providing translational execution clearly outnumber interpretive solutions; (iii) model-level debugging is supported in very few cases; (iv) only a few research studies provide evidence of industrial use, with very limited empirical evaluations; (v) the most common limitation deals with coverage of the UML language. Based on these observations, we discuss potential research challenges and implications for the future of UML model execution. Our results provide a concise overview of states of the art and practice for UML model execution intended for use by both researchers and practitioners.

show abstract

Section: Uml As An Executable Modeling Languagementioning

confidence: 99%

Execution of UML models: a systematic review of research and practice

Ciccozzi

Malavolta

Selić³

2018

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…Experimental support is also provided for specifying the semantics using xMOF [47] and ALE [32] . For the concrete syntax, other tools of the Eclipse ecosystem, such as Xtext or Sirius, are supported.…”

Section: Perspectivesmentioning

confidence: 99%

Concern-oriented language development (COLD): Fostering reuse in language engineering

Combemale

Kienzle

Mussbacher

et al. 2018

Computer Languages, Systems & Structures

Self Cite

View full text Add to dashboard Cite

a b s t r a c t Domain-Specific Languages (DSLs) bridge the gap between the problem space, in which stakeholders work, and the solution space, i.e., the concrete artifacts defining the target system. They are usually small and intuitive languages whose concepts and expressiveness fit a particular domain. DSLs recently found their application in an increasingly broad range of domains, e.g., cyber-physical systems, computational sciences and high performance computing. Despite recent advances, the development of DSLs is error-prone and requires substantial engineering efforts. Techniques to reuse from one DSL to another and to support customization to meet new requirements are thus particularly welcomed. Over the last decade, the Software Language Engineering (SLE) community has proposed various reuse techniques. However, all these techniques remain disparate and complicate the development of real-world DSLs involving different reuse scenarios.In this paper, we introduce the Concern-Oriented Language Development (COLD) approach, a new language development model that promotes modularity and reusability of language concerns . A language concern is a reusable piece of language that consists of usual language artifacts (e.g., abstract syntax, concrete syntax, semantics) and exhibits three specific interfaces that support (1) variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact. The approach is supported by a conceptual model which introduces the required concepts to implement COLD. We also present * Corresponding author. J.-M. Jézéquel et al. / Computer Languages, Systems & Structures 54 (2018) [139][140][141][142][143][144][145][146][147][148][149][150][151][152][153][154][155] concrete examples of some language concerns and the current state of their realization with metamodel-based and grammar-based language workbenches. We expect this work to provide insights into how to foster reuse in language specification and implementation, and how to support it in language workbenches.

show abstract

“…A dedicated trace model is also required for any execution scenario. These flaws limit FUML capabilities for validation of the dynamic aspects of the CESs (Mayerhofer, Langer, Wimmer, & Kappel, 2013;Mijatov, Mayerhofer, Langer, & Kappel, 2015).…”

Section: Modelling Languagesmentioning

confidence: 99%

“…Yet, such a transformer does not completely exist and still evolving (Wang & Dagli, 2008). Hence, these approaches have some shortcomings regarding automatically driving a simulation model from the descriptive model (Alvarez Cabrera et al, 2010;Fleck et al, 2013;Matei & Bock, 2012;Mayerhofer et al, 2013;Mijatov et al, 2015;Moses, 2002).…”

Section: -Modelling the Operational Policies As The Model Invariantsmentioning

confidence: 99%

A Modelling Framework to Design Executable Logical Architecture of Engineering Systems

Abdoli¹,

Kara²

2017

MAS

View full text Add to dashboard Cite

Modern production, logistic and assembly systems comprise of a considerable number of processes which operate by using diverse types of resources. Conceptual design of these systems has become more complicated because of the large scale and multi-disciplinary essence of their design knowledge. This paper proposes a modelling framework to support the conceptual design of such systems. The framework employs the principles of system engineering to fulfil the necessity of having a multi-disciplinary approach for the design of such systems. The framework realizes the essence of holistic design by modelling the structural and behavioral aspects of a system in one design artefact. Object Oriented (OO) method is employed to facilitate the complexity of holistic analysis and yielding proper logics for system architecting. This paper proposes incorporating the OO analyzing semantics into Finite State Machine formalism. Therefore, the logical architecture will be established in an FSM platform. In return, the resultant artefact can stand as an executable Meta-Architecture such that design alternatives are its instances. Moreover, the Meta-Architecture enables simulation of the alternatives which serve their early validation. Accordingly, this approach opens avenues regarding incorporation of the Meta-Architecture with computational and analyzing methods which can significantly support the decision making in the conceptual design stage.

show abstract

xMOF: Executable DSMLs Based on fUML

Cited by 50 publications

References 23 publications

Execution of UML models: a systematic review of research and practice

Execution of UML models: a systematic review of research and practice

Concern-oriented language development (COLD): Fostering reuse in language engineering

A Modelling Framework to Design Executable Logical Architecture of Engineering Systems

Contact Info

Product

Resources

About