An Overview of a New Multi-formalism Modeling Framework

  • Hamid Mohammad Gholizadeh
  • Mohammad Abdollahi Azgomi
Part of the Communications in Computer and Information Science book series (CCIS, volume 31)


Despite the fact that several techniques are proposed for adding compositionality to formalisms have appeared in the literature [1, 2], composition of models of different formalisms is still a concern. A very recent trend in multi-formalism is to take advantage of meta-modeling approaches [3, 4]. We have exploited this technique in our framework and blended it with object-orientation to add flexibility and compositionality to our framework.


  1. 1.
    Peccoud, J., Courtney, T., Sanders, W.H.: Möbius: An Integrated Discrete-Event Modeling Environment. Bioinformatics 23(24), 3412–3414 (2007)CrossRefGoogle Scholar
  2. 2.
    CPN Tools (Visited: 15-04-2008),
  3. 3.
    de Lara, J., Vangheluwe, H.: AToM3: A Tool for Multi-Formalism and Metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, p. 174. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Vittorini, V., et al.: The OsMoSys Approach to Multi-formalism Modeling of Systems. J. Software and Systems Modeling (SoSyM) 3(1), 68–81 (2004)CrossRefGoogle Scholar
  5. 5.
    The Object Management Group (OMG): OCL 2.0 Specification. Version 2 (2005) Google Scholar
  6. 6.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Getting your Models Ready for MDA, 2nd edn. Addison-Wesley, Reading (2003)Google Scholar
  7. 7.
    Burbeck, S.: Applications Programming in Smalltalk-80 (TM): How to Use Model-View-Controller (MVC)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Hamid Mohammad Gholizadeh
    • 1
  • Mohammad Abdollahi Azgomi
    • 1
  1. 1.Performance and Dependability Engineering Lab., Department of Computer EngineeringIran University of Science and TechnologyTehranIran

Personalised recommendations