Semantic Anchoring with Model Transformations

  • Kai Chen
  • Janos Sztipanovits
  • Sherif Abdelwalhed
  • Ethan Jackson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3748)

Abstract

Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use of domain-specific modeling languages (DSML-s) and model transformations. A metamodeling process facilitated by the Generic Modeling Environment (GME) tool suite enables the rapid and inexpensive development of DSML-s. However, the specification of semantics for DSML-s is still a hard problem. In order to simplify the DSML semantics, this paper discusses semantic anchoring, which is based on the transformational specification of semantics. Using a mathematical model, Abstract State Machine (ASM), as a common semantic framework, we have developed formal operational semantics for a set of basic models of computations, called semantic units. Semantic anchoring of DSML-s means the specification of model transformations between DSML-s (or aspects of complex DSML-s) and selected semantic units. The paper describes the semantic anchoring process using the meta-programmable MIC tool suite.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    The Abstract State Machine Language, http://www.research.microsoft.com/fse/asml
  2. 2.
    Graph Rewriting and Transformation, http://www.isis.vanderbilt.edu/Projects/mobies
  3. 3.
    Link for semantic anchoring tool suite, http://www.isis.vanderbilt.edu/SAT
  4. 4.
    The Generic Modeling Environment: GME, http://www.isis.vanderbilt.edu/Projects/gme
  5. 5.
  6. 6.
    ITU-T recommendation Z.100 annex F: SDL formal semantics definition. In: International Telecommunication Union, Geneva (2000)Google Scholar
  7. 7.
    OMG unified modeling language specification version 1.5. Object Management Group document, (2003) formal/03-03-01Google Scholar
  8. 8.
    UML 2.0 OCL final adopted specification. Object Management Group document, (2003) ptc/03-10-14.Google Scholar
  9. 9.
    Maggiolo-Schettini, A., Peron, A.: Semantics of full statecharts based on graph rewriting. LNCS, pp. 265–279. Springer, Heidelberg (1994)Google Scholar
  10. 10.
    Giralt, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Transactions On Computer-aided Design Of Integrated Circuits And Systems 18(6) (1999)Google Scholar
  11. 11.
    Alur, R., Henzinger, T.A.: Reactive modules. Form. Methods Syst. Des. 15(1), 7–48 (1999)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Boerger, E., Staerk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)MATHGoogle Scholar
  13. 13.
    Borger, E., Glasser, U., Muller, W.: Formal Definition of an Abstract VHDL 1993 Simulator by EA-Machines. In: Formal Semantics for VHDL, pp. 107–139. Kluwer Academic Publishers, Dordrecht (1995)Google Scholar
  14. 14.
    Borger, E., Schulte, W.: A programmer friendly modular definition of the semantics of java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol. 1523, pp. 353–404. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  15. 15.
    Bozga, M., Graf, S., Ober, I., Sifakis, J.: Tools and applications II: The IF toolset. In: Proceedings of SFM 2004. LNCS, vol. 3185, Springer, Heidelberg (2004)Google Scholar
  16. 16.
    Diller, A.: Z: an Introduction to Formal Methods, 2nd edn. John Wiley & Sons Ltd., Chichester (1994)MATHGoogle Scholar
  17. 17.
    Glasser, U., Karges, R.: Abstract state machines semantics of SDL. Journal of University Computer Science 3(12), 1382–1414 (1997)Google Scholar
  18. 18.
    Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1993)Google Scholar
  19. 19.
    Gurevich, Y., Huggins, J.: The semantics of the C programming languages. In: Martini, S., Börger, E., Kleine Büning, H., Jäger, G., Richter, M.M. (eds.) CSL 1992. LNCS, vol. 702, pp. 274–308. Springer, Heidelberg (1993)Google Scholar
  20. 20.
    Hamon, G., Rushby, J.: An operational semantics for stateflow. In: Fundamental Approaches to Software Engineering: 7th International Conference, pp. 229–243. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  21. 21.
    Harel, D., Rumpe, B.: Meaningful modeling: What’s the semantics of semantics IEEE Computer 37(10) (2004)Google Scholar
  22. 22.
    Chen, K., Sztipanovits, J., Neema, S., Emerson, M., Abdelwahed, S.: Toward a semantic anchoring infrastructure for domain-specific modeling languages. In: 5th ACM International Conference on Embedded Software, EMSOFT 2005 (2005)Google Scholar
  23. 23.
    Karsai, G., Agrawal, A., Shi, F.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)Google Scholar
  24. 24.
    Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE, 91, 145–164 (2003)Google Scholar
  25. 25.
    Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. IEEE Computer 34(11), 44–51 (2001)Google Scholar
  26. 26.
    Lee, E., Sangiovanni-Vincentelli, A.: A denotational framework for comparing models of computation. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 17(12) (1998)Google Scholar
  27. 27.
    Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer 30(4), 110–111 (1997)Google Scholar
  28. 28.
    Clark, T., Evans, A., Kent, S., Sammut, P.: The MMF approach to engineering object-oriented design languages. In: Workshop on Language Descriptions, Tools and Applications (2001)Google Scholar
  29. 29.
    Gurevich, Y., Rossman, B., Schulte, W.: Semantics essence of AsmL (March 2004) MSR-TR-2004-27Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Kai Chen
    • 1
  • Janos Sztipanovits
    • 1
  • Sherif Abdelwalhed
    • 1
  • Ethan Jackson
    • 1
  1. 1.Institute for Software Integrated SystemsVanderbilt UniversityNashvilleUSA

Personalised recommendations