Modelling and Simulation Based Design
Winter Term 2008 COMP 763B (CRN 3365)

Resources

Lectures about Petri Nets, Statecharts, and DEVS

Modelling Languages, Formalisms, Syntax, Semantics, ...

• David Harel, Bernhard Rumpe. Meaningful Modeling: What's the Semantics of "Semantics"?, Computer, vol. 37, no. 10, pp. 64-72, October, 2004. [pdf].
• David Harel, Bernhard Rumpe. Syntax, Semantics, and all that stuff.

Meta-modelling and Mega-modelling

• Juha-Pekka Tolvanen's course on Metamodeling and Method Engineering.
• Greg Nordstrom. Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. Ph.D. dissertation at Vanderbilt University. 1999. [pdf].
• Jean-Marie Favre. Megamodelling and Etymology. Proceedings of Dagstuhl Seminar 05161 - Transformation Techniques in Software Engineering. 2006.
• Thomas Kühne. Matters of (Meta-) Modeling. Software and Systems Modeling (SoSyM). pp 1- 17. Online First. 2006.
• Colin Atkinson and Thomas Kühne. 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.
• www.metamodel.com

Domain-Specific Modelling (DSM)

• Wikipedia on DSM.
• Juha-Pekka Tolvanen's article on DevX.com. Domain-specific Modeling: Welcome to the Next Generation of Software Modeling.
• Domain-Specific Modeling Forum.
• Steven Kelly. Comparison of Eclipse EMF/GEF and MetaEdit+ for DSM [pdf]. OOPSLA & GPCE Workshop Best Practices for Model Driven Software Development. OOPSLA 2004.

Model Transformation, Graph Transformation

• K. Czarnecki and S. Helsen. Classification of model transformation approaches. In J. Bettin, G. van Emde Boas, A. Agrawal, E. Willink, and J. Bezivin, editors, Second Workshop on Generative Techniques in the context of Model Driven Architecture, October 2003. [pdf].
• 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].
• Handbook on Graph Grammars and Computing by Graph Transformation:
  1. Volume 1. Foundations. G Rozenberg, editor. 1997.
  2. Volume 2. Applications, Languages and Tools. H Ehrig, G Engels, H J Kreowski, editors. 1999.
  3. Volume 3. Concurrency, Parallelism, and Distribution. H Ehrig, H J Kreowski, U Montanari, editors. 1999.
  World Scientific Publishing.

Concrete Syntax: Visual Languages

• G. Costagliola, A. Delucia, S. Orefice and G. Polese, A Classification Framework to Support the Design of Visual Languages, Journal of Visual Languages & Computing, Volume 13, Issue 6, , December 2002, Pages 573-600.
• Mark Minas and Berthold Hoffmann, Specifying and Implementing Visual Process Modeling Languages with DiaGen, Electronic Notes in Theoretical Computer Science, Volume 44, Issue 4, UNIGRA 2001, Uniform Approaches to Graphical Process Specification Techniques (a Satellite Event of ETAPS 2001), July 2001, Pages 1-13.

Multi-Paradigm Modelling

• Hans L. Vangheluwe, Juan de Lara, and Ghislain C. Vansteenkiste. A software architecture for multi-paradigm modelling. 4th Middle East Symposium on Simulation and Modelling. Society for Computer Simulation International, September 2002. Sharjah, United Arab Emirates. [keynote presentation (pdf)].
• ACM Transactions on Modeling and Computer Simulation (TOMACS). Special Issue on Computer Automated Multi-paradigm Modeling.
• Jonathan Sprinkle's course at UC Berkeley on Model-Integrated Computing.

Meta-modelling and Graph Transformation in AToM³

• AToM³, A Tool for Multi-formalism and Meta-Modelling.
• Juan de Lara and Hans Vangheluwe. AToM³: A tool for multi-formalism and meta-modelling. In European Joint Conference on Theory And Practice of Software (ETAPS, Grenoble, France), Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science 2306, pages 174 - 188. Springer-Verlag, April 2002. [pdf]

Formalisms for the description of reactive systems

• Rajeev Alur and David L. Dill. A theory of timed automata. Theor. Comput. Sci. Volume 126, Issue 2 (April 1994). pp. 183 - 235. [pdf]
• UPPAAL is an integrated tool environment for modelling, validation and verification of real-time systems modelled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
  Eugene Syriani's COMP 763 presentation of UPPAAL [pdf]

• Gérard Berry and Georges Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program., Volume 19, No 2 (1992). pp. 87-152. [pdf]
• Lustre is a synchronous declarative language for programming reactive systems.
  Alexandre Denault's COMP 763 presentation of Lustre [pdf]

• 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].
• David Harel and Hillel Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Lecture Notes in Computer Science, Volume 3147, Jan 2004, Pages 325 - 354. [pdf]. In Integration of Software Specification Techniques for Application in Engineering 2004.
• Michelle L. Crane, Juergen Dingel, UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. Lecture Notes in Computer Science, Volume 3713, Nov 2005, Page 97 - 112. pdf].
• Jianwei Niu, Joanne M. Atlee, Nancy A. Day, Template Semantics for Model-Based Notations. IEEE Transactions on Software Engineering, Vol. 29, No. 10, October 2003, pp. 866-882. [pdf].
• Bran Selic's presentation (Montreal, 7 March 2003)
  Preview of UML 2.0 and MDA. [pdf] demonstrates the introduction of connectors and ports in UML 2.0 to enhance modularity.
• A report on "Executable UML" (with a chat program example, using UML 2.0 constructs in Telelogic's Tau tool) by Geir Melby of Agder University College. [pdf].
• DCharts introduced in Thomas Feng's M.Sc. thesis: Modelling and Simulation with DCharts, a Modular and Expressive Formalism.
• 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].

From behaviour requirements to execution

• 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.

The Unified Modeling Language UML (and its consistency problems)

• Perdita Stevens. The Unified Modelling Language. ETAPS 2000 tutorial [pdf].
• <<UML 2002>> workshop on Consistency Problems in UML-based Software Development.
• <<UML 2003>> workshop on Consistency Problems in UML-based Software Development.
• Karsten Hoelscher and Bjoern Cordes. UML Interaction Diagrams: Correct translation of Sequence Diagrams into Collaboration Diagrams" thesis. University of Bremen, Department of Computer Science. 2003.

Model Driven Architecture

• The OMG's MDA pages.
• Anneke Kleppe, Jos Warmer, Wim Bast. MDA Explained: The Model Driven Architecture--Practice and Promise. (a high-level introduction). [Amazon].
• Bran Selic's presentation (Montreal, 7 March 2003)
  "Preview of UML 2.0 and MDA". [pdf]
• U2 partners' April 2003 "UML 2.0 Superstructure" [pdf] [xmi] [petal(rose)].
• Mapping a UML Platform Independent Model onto an ASP.NET web application. Presentation (McGill, 9 April 2003) by Michel Brassard from Codagen. [pdf]

Model Based Design of User Interfaces

• Hallvard Trætteberg. Model-based User Interface Design. Ph.D. thesis. Department of Computer and Information Sciences. Faculty of Information Technology, Mathematics and Electrical Engineering. Norwegian University of Science and Technology. 2002. [pdf].
• Jeffrey Nichols, Brad A. Myers, Brandon Rothrock. "UNIFORM: Automatically Generating Consistent Remote Control User Interfaces," In Proceedings of CHI'2006. April 22-26. Montreal, Canada. pp. 611-620. [pdf].
• Karsten Ehrig, Claudia Ermel, Stefan Hansgen, Gabriele Taentzer. Generation of visual editors as eclipse plug-ins. Proceedings of the 20th IEEE/ACM international Conference on Automated Software Engineering (ASE). Long Beach, CA, USA. 2005. pp. 134 - 143.
  For a slightly more elaborate version of this paper, see Towards Graph Transformation Based Generation of Visual Editors using Eclipse [pdf] by the same authors.

Refactoring

• The refactoring home page.
• The refactoring catalog.

Miscellaneous interesting links

• The Software and Systems Modeling journal.
• student project reports from Agder University College.