Compositional Specification of Behavioral Semantics

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

[1]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[2]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[3]  Alexandre Yakovlev,et al.  Concurrency and Hardware Design, Advances in Petri Nets , 2002 .

[4]  Luciano Lavagno,et al.  Modeling and Designing Heterogeneous Systems , 2002, Concurrency and Hardware Design.

[5]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..

[6]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[7]  E. Börger,et al.  On Formalizing UML State Machines Using ASMs , 2003 .

[8]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[9]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[10]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[11]  Elvinia Riccobene,et al.  On formalizing UML state machines using ASM , 2004, Inf. Softw. Technol..

[12]  Joseph Sifakis,et al.  Tools and Applications II: The IF Toolset , 2004 .

[13]  S. Graf,et al.  How useful is the UML profile SPT without Semantics ? , 2004 .

[14]  Sherif Abdelwahed,et al.  Semantic Anchoring with Model Transformations , 2005, ECMDA-FA.

[15]  Sandeep Neema,et al.  Toward a semantic anchoring infrastructure for domain-specific modeling languages , 2005, EMSOFT.

[16]  Sherif Abdelwahed,et al.  A Semantic Unit for Timed Automata Based Modeling Languages , 2006, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).

[17]  Sandeep Neema,et al.  Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control , 2006, ASWSD.