Article

Compositional specification of behavioral semantics

Authors:

Kai Chen,

Janos Sztipanovits,

Sandeep NeemaAuthors Info & Claims

DATE '07: Proceedings of the conference on Design, automation and test in Europe

Pages 906 - 911

Published: 16 April 2007 Publication History

Get Access

Abstract

An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSMLs. Semantic anchoring introduces a set of reusable "semantic units" that provide reference semantics for basic behavioral categories using the Abstract State Machine (ASM) framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by developing a method for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study.

References

[1]

Object Management Group. UML#8482; Profile for Modeling and Analysis of Real-Time and Embedded systems. realtime/05-02-06.

Google Scholar

[2]

Susan Graph, Ileana Ober. How Useful is the UML profile SPT Without Semantics? In Workshop on the usage of the UML profile for Scheduling, Performance and Time (SIVOES '04), Toronto Canada, 2004.

Google Scholar

[3]

E. Boerger and R. Staerk. Abstract State Machines: A Method for HighLevel System Design and Analysis. Springer, 2003.

Digital Library

Google Scholar

[4]

G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Modelintegrated development of embedded software. Proceedings of the IEEE, volume 91, 2003.

Google Scholar

[5]

Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia Sachs, Yuhong Xiong. Taming Heterogeneity The Ptolemy Approach. Proceedings of the IEEE, volume 91, pages 127--144, 2003.

Google Scholar

[6]

The MIC Tool Suite. http://www.escherinstitute.org/Plone/tools/suites/mic.

Google Scholar

[7]

Chen K., Sztipanovits J., Neema S., Emerson M., 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), pages 35--44, September 2005.

Digital Library

Google Scholar

[8]

Chen K., Sztipanovits J., Abdelwahed S., Jackson E. Semantic Anchoring with Model Transformations. In Proceedings of European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), November 2005. LNCS, vol. 3748. pages 115--129, Springer-Verlag, 2005.

Digital Library

Google Scholar

[9]

The Abstract State Machine Language. www.research.microsoft.com/fse/asml.

Google Scholar

[10]

The Semantic Anchoring Tool Suite. www.isis.vanderbilt.edu/SAT.

Google Scholar

[11]

Gossler, G., Sifakis, J. Composition for Component-Based Modeling. Science of Computer Programming, vol. 55, 2005.

Digital Library

Google Scholar

[12]

S. Birla, S. Wang, S. Neema, and T. Saxena. Addressing cross-tool semantic ambiguities in behavior modeling for vehicle motion control. In Automotive Software Workshop 2006, April 2006.

Google Scholar

Cited By

View all

Fürst LMernik MMahnič V(2015)Converting metamodels to graph grammarsSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0380-214:3(1297-1317)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1007/s10270-013-0380-2
Nadas ALevendovszky TJackson EMadari ISztipanovits J(2014)A model-integrated authoring environment for privacy policiesScience of Computer Programming10.1016/j.scico.2013.05.00489:PB(105-125)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1016/j.scico.2013.05.004
Simko GLindecker DLevendovszky TNeema SSztipanovits J(2013)Specification of Cyber-Physical Components with Formal Semantics --- Integration and CompositionProceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 810710.1007/978-3-642-41533-3_29(471-487)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-41533-3_29
Show More Cited By

Compositional specification of behavioral semantics
1. Software and its engineering
  1. Software creation and management
2. Theory of computation
  1. Semantics and reasoning

Recommendations

Foundational UML Behavioral Specification with Java
Abstract
An executable UML model has a detailed behavioural specification that enables it to run as a program. The detailed specification enables to test and validate the model independent of any implementation platform. The foundational UML (fUML) ...
A compositional approach to statecharts semantics

Statecharts is a visual language for specifying reactive system behavior. The formalism extends traditional finite-state machines with notions of hierarchy and concurrency, and it is used in many popular software design notations. A large part of the ...
Specifying behavioral semantics of UML diagrams through graph transformations

The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '07: Proceedings of the conference on Design, automation and test in Europe

April 2007

1741 pages

ISBN:9783981080124

General Chair:
Rudy Lauwereins
IMEC and KULeuven, Belgium
,
Program Chair:
Jan Madsen
DTU, Denmark

Publisher

EDA Consortium

San Jose, CA, United States

Publication History

Published: 16 April 2007

Check for updates

Qualifiers

Article

Conference

DATE07

Sponsor:

EDAA
SIGDA
The Russian Academy of Sciences

DATE07: Design, Automation and Test in Europe

April 16 - 20, 2007

Nice, France

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
200
Total Downloads

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

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Fürst LMernik MMahnič V(2015)Converting metamodels to graph grammarsSoftware and Systems Modeling (SoSyM)10.1007/s10270-013-0380-214:3(1297-1317)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1007/s10270-013-0380-2
Nadas ALevendovszky TJackson EMadari ISztipanovits J(2014)A model-integrated authoring environment for privacy policiesScience of Computer Programming10.1016/j.scico.2013.05.00489:PB(105-125)Online publication date: 1-Sep-2014
https://dl.acm.org/doi/10.1016/j.scico.2013.05.004
Simko GLindecker DLevendovszky TNeema SSztipanovits J(2013)Specification of Cyber-Physical Components with Formal Semantics --- Integration and CompositionProceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 810710.1007/978-3-642-41533-3_29(471-487)Online publication date: 29-Sep-2013
https://dl.acm.org/doi/10.1007/978-3-642-41533-3_29
Li XLei YVangheluwe HWang WLi QKropf P(2011)Towards a DSM-based framework for the development of complex simulation systemsProceedings of the 2011 Summer Computer Simulation Conference10.5555/2348196.2348225(210-215)Online publication date: 27-Jun-2011
https://dl.acm.org/doi/10.5555/2348196.2348225
Riccobene EScandurra PAksit MKindler ERoubtsova EMcNeile A(2009)Weaving executability into UML class models at PIM levelProceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture10.1145/1555852.1555853(1-9)Online publication date: 23-Jun-2009
https://dl.acm.org/doi/10.1145/1555852.1555853
Grönniger HRingert JRumpe B(2009)System Model-Based Definition of Modeling Language SemanticsProceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems10.1007/978-3-642-02138-1_10(152-166)Online publication date: 15-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02138-1_10
Sztipanovits JKarsai GNeema SBapty T(2007)The model-integrated computing tool suiteProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927583(369-376)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927583
Chen KSztipanovits JNeema S(2007)A Case Study on Semantic Unit CompositionProceedings of the International Workshop on Modeling in Software Engineering10.1109/MISE.2007.1Online publication date: 20-May-2007
https://dl.acm.org/doi/10.1109/MISE.2007.1

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

Recommendations

Foundational UML Behavioral Specification with Java

A compositional approach to statecharts semantics

Specifying behavioral semantics of UML diagrams through graph transformations