Toward a semantic anchoring infrastructure for domain-specific modeling languages

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 35-43

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

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Abstract syntax; Domain specific modeling language; Model Integrated Computing; Semantic anchoring

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SIMULATION; COMPUTER SOFTWARE; INDUSTRIAL APPLICATIONS; SEMANTICS; SYNTACTICS;

ABSTRACT SYNTAX; DOMAIN-SPECIFIC MODELING LANGUAGE; MODEL-INTEGRATED COMPUTING; SEMANTIC ANCHORING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 29244492304     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086236     Document Type: Conference Paper

References (30)

1. The abstract state machine language. www.research.microsoft.com/fse/asml.
2. Graph rewriting and transformation. www.isis.vanderbilt.edu/Projects/ mobies.
3. Link for semantic anchoring tool suite. www.isis.vanderbilt.edu/SAT.
4. The Generic Modeling Environment: GME. www.isis.vanderbilt.edu/Projects/ gme.
5. The MathWorks Simulink. www.mathworks.com/products/simulink.
6. The Ptolemy Project. www.ptolemy.eecs.berkeley.edu.
7. ITU-T recommendation Z.100 annex F: SDL formal semantics definition. International Telecommunication Union, Geneva, 2000.
8. OMG unified modeling language specification version 1.5. Object Management Group document, 2003. formal/03-03-01.
9. UML 2.0 OCL final adopted specification. Object Management Group document, 2003. ptc/03-10-14.
10. R. Alur and T. A. Henzinger. Reactive modules. Form. Methods Syst. Des., 15(1):7-48, 1999.
11. E. Boerger and R. Staerk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003.
12. E. Borger, U. Glasser, and W. Muller. Formal Semantics for VHDL, chapter Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines, pages 107-139. Kluwer Academic Publishers, 1995.
13. E. Borger and W. Schulte. A programmer friendly modular definition of the semantics of Java. In Formal Syntax and Semantics of Java, LNCS, volume 1523, pages 353-404. Springer-Verlag, 1999.
14. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis. Tools and applications II: The IF toolset. In Proceedings of SFM'04, LNCS, volume 3185. Springer-Verlag, 2004.
15. A. Girault, B. Lee, and E. A. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems, 18(6):742-760, June 1999.
16. U. Glasser and R. Karges. Abstract state machines semantics of SDL. Journal of University Computer Science, 3(12):1382-1414, 1997.
17. Y. Gurevich. Asm guide 97. CSE Technical Report CSE-TR-336-97.
18. Y. Gurevich. Specification and Validation Methods, chapter Evolving Algebras 1993: Lipari Guide, pages 9-36. Oxford University Press.
19. Y. Gurevich and J. Huggins. The semantics of the C programming languages. In Computer Science Logic'92, pages 274-308. Springer-Verlag, 1993.
20. G. Hamon and J. Rushby. An operational semantics for stateflow. In Fundamental Approaches to Software Engineering: 7th International Conference, pages 229-243. Springer-Verlag, 2004.
21. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
22. G. Karsai, A. Agrawal, and F. Shi. On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science, 9(11):1296-1321, 2003.
23. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. In Proceedings of the IEEE, volume 91, pages 145-164, 2003.
24. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
25. A. Ledeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai. Composing domain-specific design environments. IEEE Computer, 34(11):44-51, 2001.
26. B. Lee. Specification and Design of Reactive Systems. PhD thesis, University of California, Berkeley, 2000.
27. E. Lee and A. Sangiovanni-Vincentelli. A denotational framework for comparing models of computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, 17(12), 1998.
28. MoBIES Group. HSIF semantics. Internal document, The University of Pennsylvania, 2002.
29. A. Sangiovanni-Vincentelli and G. Martin. Platform-based design and software design methodology for embedded systems. IEEE Des. Test, 18(6):23-33, 2001.
30. J. Sztipanovits and G. Karsai. Model-integrated computing. IEEE Computer, 30(4):110-111, 1997.