Metamodeling live sequence charts for code generation

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.

[1]  Sinan Si Alhir.  The Object Constraint Language (OCL) , 2002 .

[2]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[3]  Halit Oguztüzün,et al.  Animation of Behavioral Specifications through Code Generation for a Payment System , 2009, 2009 Fourth Balkan Conference in Informatics.

[4]  David Harel,et al.  From multi-modal scenarios to code: compiling LSCs into aspectJ , 2006, SIGSOFT '06/FSE-14.

[5]  Sjouke Mauw,et al.  Formal semantics of Message Sequence Charts , 1998 .

[6]  Douglas C. Schmidt,et al.  Model-Driven Engineering , 2006 .

[7]  Pierre-Yves Schobbens,et al.  From live sequence charts to state machines and back: a guided tour , 2005, IEEE Transactions on Software Engineering.

[8]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[9]  Manfred Broy,et al.  From MSCs to Statecharts , 1998, DIPES.

[10]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[11]  Tao Wang,et al.  Symbolic Execution of Behavioral Requirements , 2004, PADL.

[12]  Okan Topçu,et al.  A metamodel for federation architectures , 2008, TOMC.

[13]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[14]  Øystein Haugen,et al.  MSC-2000 interaction diagrams for the new millennium , 2001, Comput. Networks.

[15]  Okan Topçu,et al.  Developing an HLA-based naval maneuvering simulation , 2005 .

[16]  Christian Krog Madsen,et al.  Integration of Specification Techniques , 2003 .

[17]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[18]  Bernd Westphal,et al.  Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification , 2004, SoftSpez Final Report.

[19]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[20]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[21]  Qing Li,et al.  Unified Modeling Language , 2009 .

[22]  Thomas Homme,et al.  From Live Sequence Charts to implementation : a study of the LSC specification, the execution of behavioral requirements and exploring the possibilities to use an LSC model to generate Java code , 2003 .

[23]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[24]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .