Metamodeling live sequence charts for code generation

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