Compositional specification of behavioral semantics

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2007, Pages 906-911

  Chen, Kai ^a   Sztipanovits, Janos ^b   Neema, Sandeep ^b  

^a MOTOROLA INC   (United States)

^b VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS;

BEHAVIORAL SEMANTICS; COMPOSITIONAL SPECIFICATION; DOMAIN-SPECIFIC MODELING LANGUAGES (DSML); EMBEDDED SOFTWARE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548295249     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2007.364408     Document Type: Conference Paper

References (12)

1. Object Management Group. UML™ 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. Boerger and R. Staerk. Abstract State Machines: A Method for HighLevel System Design and Analysis. Springer, 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. 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.
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. Gossler, G., Sifakis, J. Composition for Component-Based Modeling. Science of Computer Programming, vol. 55, 2005.
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.