An Action Language for UML: Proposal for a Precise Execution Semantics

Mellor, Stephen J.; Tockey, Stephen R.; Arthaud, Rodolphe; Leblanc, Philippe

doi:10.1007/978-3-540-48480-6_24

Cited by 12 publications

(7 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Overall, the expected trend is that both structural and behavioral models are used when defining executable models. Used action languages To make UML models executable, in addition to well-defined execution semantics, further languages (i.e., action languages) may be needed for specifying fine-grained data and behaviors [36]. This parameter specifies which action languages were used by the analyzed solutions.…”

Section: Required Uml Diagramsmentioning

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: Required Uml Diagramsmentioning

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

“…Executable UML models include the specification of an action language [32] that can be used for many purposes, such as expressing actions and guards in a state machine model. In this example, let us suppose that we already have an implementation of a suitable language for this purpose, that is a simple, imperative programming language with support for variables and assignment statements.…”

Section: Action Languagementioning

confidence: 99%

Language components for modular DSLs using traits

Cazzola

Vacchi

2016

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

Recent advances in tooling and modern programming languages have progressively brought back the practice of developing domain-specific languages as a means to improve software development. Consequently, the problem of making composition between languages easier by emphasizing code reuse and componentized programming is a topic of increasing interest in research. In fact, it is not uncommon for different languages to share common features, and, because in the same project different DSLs may coexist to model concepts from different problem areas, it is interesting to study ways to develop modular, extensible languages. Earlier work has shown that traits can be used to modularize the semantics of a language implementation; a lot of attention is often spent on embedded DSLs; even when external DSLs are discussed, the main focus is on modularizing the semantics. In this paper we will show a complete trait-based approach to modularize not only the semantics but also the syntax of external DSLs, thereby simplifying extension and therefore evolution of a language implementation. We show the benefits of implementing these techniques using the Scala programming language.

show abstract

“…Nevertheless, and this was already pointed out by S. Mellor and al. [8], there is often a need to include some level of algorithmic specifications to ensure efficient implementation. This could be done by extending OCL with constructions such as assignment or object creation to support an imperative style for writing complex algorithms.…”

Section: "Returns True If the Element Is An Instance Of This Type Or mentioning

confidence: 99%

Weaving Executability into Object-Oriented Meta-languages

Müller

Fleurey

Jézéquel

2005

Model Driven Engineering Languages and Systems

277

245

View full text Add to dashboard Cite

Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspectoriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.

show abstract

An Action Language for UML: Proposal for a Precise Execution Semantics

Cited by 12 publications

References 1 publication

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

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

Language components for modular DSLs using traits

Weaving Executability into Object-Oriented Meta-languages

Contact Info

Product

Resources

About