Skip to main content
SpringerLink
Log in

Metamodeling live sequence charts for code generation

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

This article presents a metamodeling study for Live Sequence Charts (LSCs) and Message Sequence Charts (MSCs) with an emphasis on code generation. The article discusses specifically the following points: the approach to building a metamodel for MSCs and LSCs, a metamodel extension from MSC to LSC, support for model-based code generation, and finally action model and domain-specific data model integration. The metamodel is formulated in metaGME, the metamodel language for the Generic Modeling Environment.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. ITU-T Recommendation Z.120: Formal Description Techniques (FDT)—Message Sequence Charts. Pre-published Recommendation Telecommunication Standardization Sector of International Telecommunication Union (ITU-T) (2004)

  2. ITU-T Recommendation Z.120—Annex B: Formal Semantics of Message Sequence Charts. Telecommunication Standardization Sector of International Telecommunication Union (ITU-T) (1998)

  3. Damm W., Harel D.: LSCs: breathing life into message sequence charts. Formal Meth. Syst. Des. 19, 45–80 (2001)

    Article  MATH  Google Scholar 

  4. Brill, M., Damm, W., Klose, J., Westphal, B., Wittke, H.: Live sequence charts: an introduction to lines, arrows, and strange boxes in the context of formal verification. In: Integration of Software Specification Techniques for Applications in Engineering (ISSN: 0302-9743), Springer Berlin Lecture Notes in Computer Science (LNCS) book series, vol. 3147, pp. 374–399 (2004)

  5. Haugen Ø.: MSC-2000 Interaction diagrams for the new millennium. Comput. Netw. 35(6), 721–732 (2001). doi:10.1016/S1389-1286(00)00201-2

    Article  Google Scholar 

  6. Wang, T., Roychoudhury, A., Yap, R.H.C., Choudhary, S.C.: Symbolic execution of behavioral requirements. In: Book Chapter of Practical Aspects of Declarative Languages. Lecture Notes in Computer Science, vol. 3057, pp. 178–192 (2004)

  7. Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer (2003)

  8. Schmidt D.C.: Model-driven engineering. IEEE Comput. 39(2), 25–32 (2006)

    Google Scholar 

  9. Bezivin J.: On the unification power of models. J. Softw. Syst. Model. 4(2), 171–188 (2005)

    Article  Google Scholar 

  10. Ledezci A., Bakay A., Maroti M., Volgvesi P., Nordstorm G., Sprinkle J., Karsai G.: Composing domain-specific design environments. IEEE Comput. 34(11), 44–51 (2001)

    Google Scholar 

  11. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin J.: Aspect-oriented Programming. In: Aksit, M., Matsuoka, S (eds.) In: Proc. European Conf. on Object-Oriented Programming, vol. 1241 of LNCS. Springer, Berlin, pp. 220–242 (1997)

  12. ISIS: A Generic Modeling Environment GME 7 User’s Manual v7.0. Institute for Software Integrated Systems (ISIS) Vanderbilt University (2007)

  13. Homme, T., Ramsland, J.E.: From Live Sequence Charts to Implementation. Masters thesis in Information and Communication Technology, Grimstad (2003)

  14. Maoz, S., Harel, D.: From multi-modal scenarios to code: compiling LSCs into AspectJ. In: Procedings of the 14th ACM SIGSOFT International Symposium on Foundations of the Software Engineering, Portland, pp. 219–230 (2006)

  15. Bontemps Y., Heymans P., Schobbens P.Y.: From live sequence charts to state machines and back: a guided tour. IEEE Trans. Softw. Eng. 31(12), 999–1014 (2005)

    Article  Google Scholar 

  16. Kruger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proceedings of the IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems, pp. 61–71 (1998)

  17. Topçu O., Oğuztüzün H.: Developing an HLA based naval maneuvering simulation. ASNE Nav. Eng. J. (NEJ) 117(1), 23–40 (2005)

    Article  Google Scholar 

  18. Molla, A., Sarıoğlu, K., Topçu, O., Adak, M., Oğuztüzün H.: Federation architecture modeling: a case study with NSTMSS. In: Proceedings of 2007 Fall Simulation Interoperability Workshop (SIW) (2007)

  19. Topçu, O., Oğuztüzün, H.: A metamodel for live sequence charts and message sequence charts. Technical Report (METU-CENG-TR-2007-03), Middle East Technical University (2007)

  20. Madsen, C.K.: Integration of specification techniques. Master of Science Thesis, Computer Science and Engineering Division of Department of Informatics and Mathmetical Modeling (IMM) at the Technical University of Denmark (DTU) (2003)

  21. OMG: Object Constraint Language (OCL). Object Management Group (OMG) (2006)

  22. Topçu, O., Adak, M., Oğuztüzün, H.: A metamodel for federation architectures. ACM Trans. Model. Comput. Simul. (TOMACS) 18(3) (2008)

  23. Adak, M., Oğuztüzün, H.: A code generator for LSC and MSC. Technical Report (METU-CENG-TR-2007-04), Middle East Technical University (2007)

  24. OMG: OMG Unified Modeling Language (OMG UML), Infrastructure, V2.1.2. Object Management Group (2007)

  25. Eclipse Project. http://www.eclipse.org/. Accessed 2 Feb 2009

  26. AspectJ Project. http://www.eclipse.org/aspectj. Accessed 2 Feb 2009

  27. Deniz, O.: Animation of behavioral specification for a payment system through code generation. MSc Project Report, Department of Computer Engineering, METU, Ankara (2009)

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Middle East Technical University, 06531, Ankara, Turkey

    Okan Topçu, Mehmet Adak & Halit Oğuztüzün

Authors
  1. Okan Topçu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehmet Adak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Halit Oğuztüzün
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Okan Topçu.

Additional information

Communicated by Prof. Robert France.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Topçu, O., Adak, M. & Oğuztüzün, H. Metamodeling live sequence charts for code generation. Softw Syst Model 8, 567–583 (2009). https://doi.org/10.1007/s10270-009-0113-8

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-009-0113-8

Keywords

Search

Navigation