Semantic anchoring with model transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3748 LNCS, Issue , 2005, Pages 115-129

  Chen, Kai ^a   Sztipanovits, Janos ^a   Abdelwalhed, Sherif ^a   Jackson, Ethan ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

ABSTRACT STATE MACHINE (ASM); DOMAIN-SPECIFIC MODELING LANGUAGES (DSML); GENERIC MODELING ENVIRONMENT (GME); MODEL TRANSFORMATIONS; MODEL-DRIVEN ARCHITECTURE (MDA); MODEL-INTEGRATED COMPUTING (MIC); SEMANTIC ANCHORING;

COMPUTER ARCHITECTURE;

EID: 33646499415     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11581741_10     Document Type: Conference Paper

References (29)

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 Ptolemy II. www.ptolemy.eecs.berkeley.edu/ptolemyII.
6. ITU-T recommendation Z.100 annex F: SDL formal semantics definition. International Telecommunication Union, Geneva, 2000.
7. OMG unified modeling language specification version 1.5. Object Management Group document, 2003. formal/03-03-01.
8. UML 2.0 OCL final adopted specification. Object Management Group document, 2003. ptc/03-10-14.
9. A. Maggiolo-Schettini and A. Peron. Semantics of full statecharts based on graph rewriting. In LNCS, pages 265-279. Springer-Verlag, 1994.
10. Alain GiraltB, Billing Lee and E. Lee. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems, 18(6), 1999.
11. R. Alur and T. A. Henzinger. Reactive modules. Form. Methods Syst. Des., 15(1):7-48, 1999.
12. E. Boerger and R. Staerk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003.
13. E. Borger, U. Classer, and W. Muller. Format Semantics for VHDL, chapter Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines, pages 107-139. Kluwer Academic Publishers, 1995.
14. 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.
15. M. Bozga, S. Graf, I. Ober, and J. Sifakis. Tools and applications II: The IF toolset. In Proceedings of SFM'04, LNCS, volume 3185. Springer-Verlag, 2004.
16. A. Diller. Z: an Introduction to Formal Methods. John Wiley & Sons Ltd., second edition, 1994.
17. U. Classer and R. Karges. Abstract state machines semantics of SDL. Journal of University Computer Science, 3(12):1382-1414, 1997.
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 and B. Rumpe. Meaningful modeling: What's the semantics of "semantics"? IEEE Computer, 37(10), 2004.
22. Kai Chen, J. Sztipanovits, S. Neema, M. Emerson and S. Abdelwahed. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In 5th ACM International Conference on Embedded Software (EMSOPT'05), 2005.
23. 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.
24. 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.
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. 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.
27. J. Sztipanovits and G. Karsai. Model-integrated computing. IEEE Computer, 30(4):110-111, 1997.
28. T. Clark, A. Evans, S. Kent and P. Sammut. The MMF approach to engineering object-oriented design languages. In Workshop on Language Descriptions, Tools and Applications, 2001.
29. Yuri Gurevich, Benjamin Rossman and W. Schulte. Semantics essence of AsmL, March 2004. MSR-TR-2004-27.