research-article

Towards xMOF: executable DSMLs based on fUML

Authors:

Tanja Mayerhofer,

Philip Langer,

Manuel WimmerAuthors Info & Claims

DSM '12: Proceedings of the 2012 workshop on Domain-specific modeling

Pages 1 - 6

https://doi.org/10.1145/2420918.2420920

Published: 22 October 2012 Publication History

Get Access

Abstract

When defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and semantics. For specifying a modeling language's abstract syntax, metamodels are the standard means. MOF provides a standardized, well established, and widely accepted metamodeling language enabling the definition of metamodels and the generation of accompanying modeling facilities. However, no such standard means exist for specifying the behavioral semantics of a DSML. This hampers the efficient development of model execution facilities, such as debugging, simulation, and verification. To overcome this limitation, we propose to integrate fUML with MOF to enable the specification of the behavioral semantics for DSMLs in terms of fUML activities. We discuss alternatives how this integration can be achieved and show by-example how to specify the semantics of a DSML using fUML. To reuse existing runtime infrastructures, we further demonstrate the usage of external libraries in fUML-based specifications.

References

[1]

J. Bezivin. On the unification power of models. Software and System Modeling, 4(2):171--188, 2005.

Digital Library

Google Scholar

[2]

B. R. Bryant, J. Gray, M. Mernik, P. J. Clarke, R. B. France, and G. Karsai. Challenges and directions in formalizing the semantics of modeling languages. Computer Science and Information Systems, 8(2):225--253, 2011.

Crossref

Google Scholar

[3]

K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson. Semantic anchoring with model transformations. In Proc. of ECMDA-FA'05, pages 115--129, 2005.

Digital Library

Google Scholar

[4]

T. Clark, A. Evans, P. Sammut, and J. Willans. Applied Metamodelling: A Foundation for Language Driven Development. Ceteva, Sheffield, 2004.

Google Scholar

[5]

S. Ducasse and T. G1rba. Using Smalltalk as a reflective executable meta-language. In Proc. of MODELS'06, pages 604--618, 2006.

Digital Library

Google Scholar

[6]

G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Proc. of UML'00, pages 323--337, 2000.

Digital Library

Google Scholar

[7]

D. S. Kolovos, R. F. Paige, and F. Polack. The Epsilon Object Language (EOL). In Proc. of ECMDA-FA'06, pages 128--142, 2006.

Digital Library

Google Scholar

[8]

T. Kuhne. Matters of (meta-)modeling. Software and System Modeling, 5(4):369--385, 2006.

Crossref

Google Scholar

[9]

Q. Lai and A. Carpenter. Defining and verifying behaviour of domain specific language with fUML. In Workshop Proc. of BM-FA'12 @ ECMFA'12, pages 1--7, 2012.

Digital Library

Google Scholar

[10]

T. Mayerhofer, P. Langer, and G. Kappel. A runtime model for fUML. In Workshop Proc. of MRT'12 @ MODELS'12, 2012.

Digital Library

Google Scholar

[11]

P.-A. Muller, F. Fleurey, and J.-M. Jezequel. Weaving executability into object-oriented meta-languages. In Proc. of MODELS'05, pages 264--278, 2005.

Digital Library

Google Scholar

[12]

J. E. Rivera, F. Duran, and A. Vallecillo. On the behavioral semantics of real-time domain specific visual languages. In Workshop Proc. of WRLA'10 @ ETAPS'10, pages 174--190, 2010.

Digital Library

Google Scholar

[13]

M. Scheidgen and J. Fischer. Human comprehensible and machine processable specifications of operational semantics. In Proc. of ECMDA-FA'2007, pages 157--171, 2007.

Digital Library

Google Scholar

Cited By

View all

Lúcio LAmrani MDingel JLambers LSalay RSelim GSyriani EWimmer M(2016)Model transformation intents and their propertiesSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0429-x15:3(647-684)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0429-x
Szvetits MZdun U(2016)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Jouault FTisi MDelatour JAtlee JKulkarni VClark TFrance RRumpe B(2014)fUML as an assembly language for MDAProceedings of the 6th International Workshop on Modeling in Software Engineering10.1145/2593770.2593778(61-64)Online publication date: 2-Jun-2014
https://dl.acm.org/doi/10.1145/2593770.2593778
Show More Cited By

Index Terms

Towards xMOF: executable DSMLs based on fUML
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

A development environment for the Alf language within the MagicDraw UML tool (tool demo)
SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

Alf is an action language designed as a textual notation for specifying detailed behaviors within an executable UML model. The Alf implementation in MagicDraw, a leading commercial tool for modeling using the Unified Modeling Language (UML) from No ...
Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML
APSEC '12: Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01

Domain-specific modeling languages (DSMLs) are designed to model particular domains of interest using graphical, textual, or mixed syntax. Although most met modeling tools offer an environment that automates several language development tasks, there is ...
Towards a model execution framework for Eclipse
BM-MDA '09: Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture

The Eclipse Modeling Project (EMP) is one of the most striking foundation for model driven development. With its core frameworks for metamodeling, textual and graphical editors, validation & constraints, transformations, etc. it provides broad support ...

Comments

Information & Contributors

Information

Published In

DSM '12: Proceedings of the 2012 workshop on Domain-specific modeling

October 2012

70 pages

ISBN:9781450316347

DOI:10.1145/2420918

General Chairs:
Juha-Pekka Tolvanen
MetaCase
,
Jonathan Sprinkle
University of Arizona
,
Matti Rossi
Aalto University School of Business
,
Jeff Gray
University of Alabama

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '12

Sponsor:

SIGPLAN

SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity

October 22, 2012

Arizona, Tucson, USA

Acceptance Rates

DSM '12 Paper Acceptance Rate 12 of 18 submissions, 67%;

Overall Acceptance Rate 31 of 50 submissions, 62%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
122
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lúcio LAmrani MDingel JLambers LSalay RSelim GSyriani EWimmer M(2016)Model transformation intents and their propertiesSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0429-x15:3(647-684)Online publication date: 1-Jul-2016
https://dl.acm.org/doi/10.1007/s10270-014-0429-x
Szvetits MZdun U(2016)Systematic literature review of the objectives, techniques, kinds, and architectures of models at runtimeSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0394-915:1(31-69)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10270-013-0394-9
Jouault FTisi MDelatour JAtlee JKulkarni VClark TFrance RRumpe B(2014)fUML as an assembly language for MDAProceedings of the 6th International Workshop on Modeling in Software Engineering10.1145/2593770.2593778(61-64)Online publication date: 2-Jun-2014
https://dl.acm.org/doi/10.1145/2593770.2593778
Tatibouët JCuccuru AGérard STerrier F(2014)Formalizing Execution Semantics of UML Profiles with fUML ModelsModel-Driven Engineering Languages and Systems10.1007/978-3-319-11653-2_9(133-148)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11653-2_9
Tisi MJouault FDelatour JSaidi ZChoura H(2014)fUML as an Assembly Language for Model TransformationSoftware Language Engineering10.1007/978-3-319-11245-9_10(171-190)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11245-9_10
Mayerhofer TLanger PWimmer MKappel G(2013)xMOF: Executable DSMLs Based on fUMLSoftware Language Engineering10.1007/978-3-319-02654-1_4(56-75)Online publication date: 2013
https://doi.org/10.1007/978-3-319-02654-1_4

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A development environment for the Alf language within the MagicDraw UML tool (tool demo)

Syntax Map: A Modeling Language for Capturing Requirements of Graphical DSML

Towards a model execution framework for Eclipse