Compositional specification of behavioral semantics

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.
• 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.
• 3: E. Borger , Robert F. Stark, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag New York, Inc., Secaucus, NJ, 2003
• 4: G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Modelintegrated development of embedded software. Proceedings of the IEEE, volume 91, 2003.
• 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.
• 6: The MIC Tool Suite. http://www.escherinstitute.org/Plone/tools/suites/mic.
• 7: Kai Chen , Janos Sztipanovits , Sandeep Neema, Toward a semantic anchoring infrastructure for domain-specific modeling languages, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA [doi>10.1145/1086228.1086236]
• 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.
• 9: The Abstract State Machine Language. www.research.microsoft.com/fse/asml.
• 10: The Semantic Anchoring Tool Suite. www.isis.vanderbilt.edu/SAT.
• 11: Gregor Gössler , Joseph Sifakis, Composition for component-based modeling, Science of Computer Programming, v.55 n.1-3, p.161-183, March 2005 [doi>10.1016/j.scico.2004.05.014]
• 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.