Multi-Paradigm Modelling

  • Collected CAMPaM references (including material presented at Invited Sessions on CAMPaM at workshops, two journal special issues on CAMPaM, and much more).
  • Pieter J. Mosterman and Hans Vangheluwe. Computer Automated Multi-Paradigm Modeling: An Introduction. Simulation: Transactions of the Society for Modeling and Simulation International, 80(9):433-450, 2004. Special Issue: Grand Challenges for Modeling and Simulation. [pdf].
  • Hans L. Vangheluwe, Juan de Lara, and Pieter J. Mosterman. An introduction to multi-paradigm modelling and simulation. In Fernando Barros and Norbert Giambiasi, editors, Proceedings of the AIS'2002 Conference (AI, Simulation and Planning in High Autonomy Systems), pages 9 -- 20, April 2002. Lisboa, Portugal. [pdf].
  • Jonathan Sprinkle's course at UC Berkeley on Model-Integrated Computing.

Model Driven Engineering

  • Planet MDE, a treasure trove of information on MDE.


  • Colin Atkinson and Thomas Kuhne. Rearchitecting the UML infrastructure [pdf]. ACM Transactions on Modeling and Computer Simulation (TOMACS). Volume 12, Issue 4. pp 290 - 321. October 2002.
  • Daniel Varro and Andras Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) [pdf]. Software and Systems Modeling. Volume 2, No. 3 pp. 187 - 210. October 2003.

Model (mostly Graph) Transformation

  • L. Baresi and R. Heckel, Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In Corradini, A.,H. Ehrig, H.-J. Kreowski und G. Rozenberg (Editors): Proc. 1st Int. Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Volume 2505 of Lecture Notes in Comp. Science. Springer-Verlag, Oktober 2002. [ps].
  • L. Baresi and R. Heckel, Foundations and Applications of Graph Transformation: An introduction from a software engineering perspective. [presentation (pdf)].
  • D. Blostein, H. Fahmy and A. Grbavec, Practical Use of Graph Rewriting [pdf].
  • Graph Transformation tools: AGG, PROGRES, GME, AToM3.
  • Model Evolution.

Visual Modelling

Statecharts and beyond

  • David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. Volume 8. 1987. pp. 231 - 274. [pdf].
  • David Harel. On Visual Formalisms. Communications of the ACM. Volume 31, No. 5. 1988. pp. 514 - 530. [pdf].
  • David Harel and Amnon Naamad, The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology (TOSEM) Volume 5 , Issue 4 (October 1996) pp.293 - 333. [pdf].
  • Michael von der Beeck. A structured operational semantics for UML-statecharts. Software and Systems Modeling. Volume 1, No. 2 pp.130 - 141 . December 2002. [pdf].
  • David Harel. Can Behavioral Requirements be Executed ? [ps]. Introduces Play-in/Play-out.
  • David Harel and Hillel Kugler. Synthesizing state-based object systems from LSC specifications. International Journal of Foundations of Computer Science, Vol. 13, No.1. 2002. pp. 5-51. World Scientific Publishing Company. [ps].
  • David Harel and Rami Marelly. Specifying and Executing Behavioral Requirements: The Play-In/Play-Out Approach [pdf]. Software and Systems Modeling. Volume 2, Number 2. July 2003. pp. 82 - 107.

Domain-Specific Modelling

CAMPaM Applications

Miscellaneous interesting links

Maintained by Hans Vangheluwe. Last Modified: 2008/10/30 22:36:20.