Article

Towards a formal foundation for domain specific modeling languages

Authors:

Ethan K. Jackson,

Janos SztipanovitsAuthors Info & Claims

EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded software

Pages 53 - 62

https://doi.org/10.1145/1176887.1176896

Published: 22 October 2006 Publication History

Abstract

Embedded system design is inherently domain specific and typically model driven.As a result, design methodologies like OMG's model driven architecture (MDA)and model integrated computing (MIC)evolved to support domain specific modeling language(DSMLs). The success of the DSML approach has encouraged work on the heterogeneous composition of DSMLs, model transformations between DSMLs, approximations of formal properties within DSMLs, and reuse of DSML semantics. However, in the effort to produce a mature design approach that can handle both the structural and behavioral semantics of embedded system design,many foundational issues concerning DSMLs have been overlooked. In this paper we present a formal foundation for DSMLs and for their construction within metamodeling frameworks. This foundation allows us to algorithmically decide if two DSMLs or metamodels are equivalent, if model transformations preserve properties, and if metamodeling frameworks have metametamodels. These results are key to building correct embedded systems with DSMLs.

References

[1]

http://www.isis.vanderbilt.edu/projects/4ml.

[2]

A. Ledeczi, M. Maroti, A. B. G. K. J. G. C. T. I.-G.N.J.S.P.V. generic modeling environment. Workshop on Intelligent Signal Processing (May 2001).

[3]

AÏT-KACI, H. Warren's Abstract Machine: A Tutorial Reconstruction MIT Press, 1991.

Digital Library

[4]

Chan, D. An extension of constructive negation and its application in coroutining. In Proceedings of NACLP, The MIT Press (1989), 447--493.

[5]

E. Lee, A. S.-V. A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17, 12 (December 1998), 1217--1229.

Digital Library

[6]

F. Balarin, Y. Watanabe, H. H. L. L. C. P. A. L. S.-V. Metropolis: an integrated electronic system design environment. IEEE Computer 36 4 (April 2003).

Digital Library

[7]

G. Karsai, J. Sztipanovits, A. L. T. B. Model-integrated development of embedded software. Proceedings of the IEEE 91 1 (January 2003), 145--164.

[8]

G. Karsai, A. Agrawal, F. S. On the use of graph transformations for the formal specification of model interpreters.Journal of Universal Computer Science 9, 11 (November 2003), 1296--1321.

[9]

Gupta, G. Horn logic denotations and their applications. The Logic Programming Paradigm: A 25 year perspective 127--160.

[10]

Gurevich, Y. Evolving algebra: An attempt to discover semantics.EATCS 43 (1991), 264--284.

[11]

Herbrand, J. Logical Writings Harvard University Press,Cambridge, MA, 1971. Edited by Warren D. Goldfarb.

[12]

Horn, A. On sentences which are true on direct unions of algebras. Journal of Symbolic Logic 16 (1951),14--21.

[13]

Institute For Software Integrated Systems Gme 5 user's guide. Tech. rep., Vanderbilt University, 2005.

[14]

Jackson, E. K., and Sztipanovits, J. Using separation of concerns for embedded systems design. Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05) (September 2005),25--34.

Digital Library

[15]

K. Chen, J. Sztipanovits, S. N. M. E., and Abdelwahed, S. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05) (September 2005).

Digital Library

[16]

Lee, E. A., and Neuendorffer, S. Actor-oriented models for codesign: Balancing re-use and performance. Formal Methods and Models for Systems, Kluwer (2004).

Digital Library

[17]

M. Emerson, J. Sztipanovits, T. B. A mof-based metamodeling environment.Journal of Universal Computer Science 10 10 (October 2004), 1357--1382.

[18]

Mal'cev, A. I. The metamathematics of algebraic systems. Studies in Logic and The Foundations of Mathematics 66 (1971).

[19]

Object Management Group Meta object facility specification v1. 4. Tech. rep., 2002.

[20]

Object Management Group Unified modeling language: Superstructure version 2. 0, 3rd revised submission to omg rfp. Tech. rep., 2003.

[21]

T. A. Henzinger, C. M. Kirsch, M. A. S., and Pree, W. From control models to real-time code using giotto. Control Systems Magazine 2 1 (2003), 50--64.

Cited By

Tsiakas KMurray-Rust D(2024)Unpacking Human-AI interactions: From Interaction Primitives to a Design SpaceACM Transactions on Interactive Intelligent Systems10.1145/366452214:3(1-51)Online publication date: 8-Jun-2024
https://dl.acm.org/doi/10.1145/3664522
Marussy KSemerath OVarro D(2022)Automated Generation of Consistent Graph Models With Multiplicity ReasoningIEEE Transactions on Software Engineering10.1109/TSE.2020.302573248:5(1610-1629)Online publication date: 1-May-2022
https://doi.org/10.1109/TSE.2020.3025732
Loubach DBonna RUngureanu GSander ISoderquist I(2021)Classification and Mapping of Model Elements for Designing Runtime Reconfigurable SystemsIEEE Access10.1109/ACCESS.2021.31298999(156337-156360)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3129899
Show More Cited By

Index Terms

Towards a formal foundation for domain specific modeling languages
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
  2. Software notations and tools
    1. Formal language definitions
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

A Formal Foundation for Metamodeling
Ada-Europe '09: Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies

The concept of formal metamodel will contribute significantly to the core principles of the OMG Model Driven Architecture (MDA). The OMG standard for metamodeling is the Meta Object Facility (MOF) meta-metamodel that defines a common way for capturing ...
Model-driven engineering with domain-specific meta-modelling languages

Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development. In this paper, a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages. From a GEBNF syntax definition, a formal predicate ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EMSOFT '06: Proceedings of the 6th ACM & IEEE International conference on Embedded software

October 2006

346 pages

ISBN:1595935428

DOI:10.1145/1176887

General Chairs:
Sang Lyul Min
Seoul National University
,
Wang Yi
Uppsala University

Copyright © 2006 ACM.

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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ESWEEK06

Sponsor:

ESWEEK06: Second Embedded Systems Week 2006

October 22 - 25, 2006

Seoul, Korea

Acceptance Rates

Overall Acceptance Rate 60 of 203 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
693
Total Downloads

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

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tsiakas KMurray-Rust D(2024)Unpacking Human-AI interactions: From Interaction Primitives to a Design SpaceACM Transactions on Interactive Intelligent Systems10.1145/366452214:3(1-51)Online publication date: 8-Jun-2024
https://dl.acm.org/doi/10.1145/3664522
Marussy KSemerath OVarro D(2022)Automated Generation of Consistent Graph Models With Multiplicity ReasoningIEEE Transactions on Software Engineering10.1109/TSE.2020.302573248:5(1610-1629)Online publication date: 1-May-2022
https://doi.org/10.1109/TSE.2020.3025732
Loubach DBonna RUngureanu GSander ISoderquist I(2021)Classification and Mapping of Model Elements for Designing Runtime Reconfigurable SystemsIEEE Access10.1109/ACCESS.2021.31298999(156337-156360)Online publication date: 2021
https://doi.org/10.1109/ACCESS.2021.3129899
Babikian ASemeráth OLi AMarussy KVarró D(2021)Automated generation of consistent models using qualitative abstractions and exploration strategiesSoftware and Systems Modeling10.1007/s10270-021-00918-621:5(1763-1787)Online publication date: 17-Sep-2021
https://doi.org/10.1007/s10270-021-00918-6
Semeráth OBabikian AChen BLi CMarussy KSzárnyas GVarró D(2021)Automated generation of consistent, diverse and structurally realistic graph modelsSoftware and Systems Modeling10.1007/s10270-021-00884-zOnline publication date: 29-May-2021
https://doi.org/10.1007/s10270-021-00884-z
Döller VKaragiannis D(2021)Formalizing Conceptual Modeling Methods with MetaMorphEnterprise, Business-Process and Information Systems Modeling10.1007/978-3-030-79186-5_16(245-261)Online publication date: 17-Jun-2021
https://doi.org/10.1007/978-3-030-79186-5_16
Döller V(2020)M2FOL: A Formal Modeling Language for MetamodelsThe Practice of Enterprise Modeling10.1007/978-3-030-63479-7_8(109-123)Online publication date: 18-Nov-2020
https://doi.org/10.1007/978-3-030-63479-7_8
Babikian ASemeráth OVarró D(2020)Automated Generation of Consistent Graph Models with First-Order Logic Theorem ProversFundamental Approaches to Software Engineering10.1007/978-3-030-45234-6_22(441-461)Online publication date: 17-Apr-2020
https://doi.org/10.1007/978-3-030-45234-6_22
Majzik ISemerath OHajdu CMarussy KSzatmari ZMicskei ZVoros ABabikian AVarro D(2019)Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)10.1109/MODELS.2019.00-12(89-94)Online publication date: Sep-2019
https://doi.org/10.1109/MODELS.2019.00-12
El-Hassany ATsankov PVanbever LVechev M(2017)Network-Wide Configuration SynthesisComputer Aided Verification10.1007/978-3-319-63390-9_14(261-281)Online publication date: 13-Jul-2017
https://doi.org/10.1007/978-3-319-63390-9_14
Show More Cited By

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents