Compositional specification of behavioral semantics

Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years Date

Volumn , Issue , 2008, Pages 253-265

  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

EID: 80655133992     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-4020-6488-3_19     Document Type: Chapter

References (12)

1. ™ 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, R. Staerk. Abstract State Machines: A Method for HighLevel System Design and Analysis. Springer, 2003.
4. G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty. Modelintegrated Development of Embedded Software. Proceedings of the IEEE, vol. 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, vol. 91, p. 127-144, 2003.
6. The MIC Tool Suite. http://www.escherinstitute.org/Plone/tools/suites/ mic.
7. K. Chen, J. Sztipanovits, S. Neema, M. Emerson, S. Abdelwahed, Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages, In Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT'05), p. 35-44, September 2005.
8. K. Chen, J. Sztipanovits, S. Abdelwahed, E. Jackson, Semantic Anchoring with Model Transformations. In Proceedings of European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), November 2005. LNCS, vol. 3748. p. 115-129, Springer 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. G. Gossler, J. Sifakis, Composition for Component-Based Modeling. Science of Computer Programming, vol. 55, 2005.
12. S. Birla, S. Wang, S. Neema, T. Saxena. Addressing Cross-tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control. In Automotive Software Workshop 2006, April 2006.