Bibliography

1

Juan de Lara and Hans Vangheluwe.
Atom$^3$: A tool for multi-formalism and meta-modelling.
In European Joint Conference on Theory And Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE), pages 174-188, April 2002.
Grenoble, France.

2

Juan de Lara and Hans Vangheluwe.
Using atom$^3$ as a meta-case tool.
In 4th International Conference on Enterprise Information Systems (ICEIS), pages 642-649, 2002.
Ciudad Real, Spain.

3

Pieter J. Mosterman and Hans Vangheluwe.
Computer automated multi-paradigm modeling.
ACM Transactions on Modeling and Computer Simulation, 12(4):1-7, 2002.
Special Issue Guest Editorial.

4

David Harel.
Statecharts: A visual formalism for complex systems.
Science of Computer Programming, 8(3):231-274, June 1987.

5

David Harel and Amnon Naamad.
The STATEMATE semantics of statecharts.
ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.

6

Jim Rumbaugh, Ivar Jacobson, and Grady Booch.
The Unified Modeling Language Reference Manual.
Addison-Wesley, 1998.

7

Bernard P. Zeigler.
Multifacetted modelling and discrete event simulation.
Academic Press Professional, Inc., 1984.

8

Bernard P. Zeigler.
Theory of Modelling and Simulation.
Krieger Publishing Co., Inc., 1984.

9

Spencer Borland.
Transforming statechart models to DEVS.
Master's thesis, School of Computer Science, McGill University, Montréal, Canada, August 2003.

10

A. Geist, A. Beguelin, Jack Dongarra, W. Jiang, R. Manchek, and V. Sunderam.
PVM Parallel Virtual Machine, A User's Guide and Tutorial for Networked Parallel Computing.
MIT Press, Cambridge, Mass., 1994.

11

Jean-Sébastien Bolduc and Hans Vangheluwe.
The modelling and simulation package PythonDEVS for classical hierarchical DEVS.
Technical report, MSDL, McGill University, June 2001.
technical report MSDL-TR-2001-01.

12

Ernesto Posse and Bolduc Jean-Sébastien.
Generation of DEVS simulators by graph-transformation.
In Summer Computer Simulation Conference (Student Workshop), pages S139-S146. Society for Computer Simulation International (SCS), July 2003.
Montréal, Canada.

13

Spencer Borland and Hans Vangheluwe.
Transforming statecharts to DEVS.
In Summer Computer Simulation Conference (Student Workshop), pages S154-S159. Society for Computer Simulation International (SCS), July 2003.
Montréal, Canada.

14

Alison Stewart.
Modelling and simulation based design of GUI behaviour.
Technical report, MSDL, McGill University, December 2003.
http://msdl.cs.mcgill.ca/people/astewa5/report.dtml.

15

C. Hylands, E. A. Lee, and et al.
Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii).
Technical report, University of California, Berkeley, CA USA 94720, July 2003.
Technical Memorandum UCB/ERL M03/27.

16

C. Hylands, E. A. Lee, and et al.
Heterogeneous concurrent modeling and design in java (volume 2: Ptolemy ii software architecture).
Technical report, University of California, Berkeley, CA USA 94720, July 2003.
Technical Memorandum UCB/ERL M03/27.

17

C. Hylands, E. A. Lee, and et al.
Heterogeneous concurrent modeling and design in java (volume 3: Ptolemy ii domains).
Technical report, University of California, Berkeley, CA USA 94720, July 2003.
Technical Memorandum UCB/ERL M03/27.

18

E. M. Clarke and E. A. Emerson.
Synthesis of synchronization skeletons for branching time temporal logic.
In Logic of Programs: Workshop, Yorktown Heights, volume 131. Springer-Verlag, May 1981.

19

E. M. Clarke, E. A. Emerson, and A. P. Sistla.
Automatic verification of finite-state concurrent systems using temporal logic specifications.
ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.

20

Joanne M. Atlee and John Gannon.
State-based model checking of event-driven systems requirements.
IEEE Transactions on Software Engineering, 19(1):24-40, January 1993.

21

Jianwei Niu, Joanne M. Atlee, and Nancy A. Day.
Understanding and comparing model-based specification notations.
In IEEE International Requirements Engineering Conference (RE 2003), September 2003.

22

Jianwei Niu, Joanne M. Atlee, and Nancy A. Day.
Composable semantics for model-based notations.
In Proceedings of the 10th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2002), 2002.

23

Jianwei Niu, Joanne M. Atlee, and Nancy A. Day.
Template semantics for model-based notations.
IEEE Transactions on Software Engineering, pages 866-882, October 2002.

24

Ivan Porres.
Model refactorings as rule-based update transformations.
In Proceedings of the $<<$UML$>>$ 2003 Conference. LNCS 2863, Springer, October 2003.
San Francisco, California, USA.

25

Ivan Porres.
A toolkit for model manipulation.
Journal on Software and System Modeling, 2, 2003.

26

Thomas Huining Feng.
An extended semantics for a Statechart Virtual Machine.
In A. Bruzzone and Mhamed Itmi, editors, Summer Computer Simulation Conference. Student Workshop, pages S147-S166. The Society for Computer Modelling and Simulation, July 2003.
Montréal, Canada.

27

Dániel Varró.
A formal semantics of UML Statecharts by model transition systems.
In Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. ICGT 2002: 1st International Conference on Graph Transformation, volume 2505 of LNCS, pages 378-392, Barcelona, Spain, October 2002. Springer-Verlag.

28

Foldoc (free on-line dictionary of computing), November 1997.
http://wombat.doc.ic.ac.uk/foldoc/.

29

Webopedia, 2004.
http://www.pcwebopedia.com/.

30

Msn encarta (online encyclopedia, dictionary, atlas, and homework), 2004.
http://encarta.msn.com/.

31

Richard M. Fujimoto.
Parallel and Distributed Simulation Systems.
Wiley-Interscience, 2000.

32

Stanley B. Lippman and Josée Lajoie.
C++ Primer.
EPUBCN.COM, 1998.

33

Juan de Lara, Hans Vangheluwe, and Manuel Alfonseca.
Meta-modelling and graph grammars for multi-paradigm modelling in atom$^3$.
Software and Systems Modeling (SoSyM), 2003.

34

David M. Beazley.
Python Essential Reference (2nd Edition).
New Riders Publishing, 2001.

35

Mark Lutz.
Programming Python.
nh. O'Reilly & Associates, Inc., 1996.

36

Mark Lutz and David Ascher.
Learning Python.
nh. O'Reilly & Associates, Inc., 1999.

37

Fredirk Lundh.
The Standard Python Library.
PythonWare, 2000.

38

Erich Gamma, Richard Helm, and John Vlissides.
Design Patterns - Elements of Reusable Object-Oriented Software.
Addison-Wesley, 1995.

39

Thomas Huining Feng.
SVM and SCC tutorial, March 2004.
http://msdl.cs.mcgill.ca/people/tfeng/svmsccdoc/.

40

Thomas Huining Feng and Hans Vangheluwe.
Case study: Consistency problems in a UML model of a chat room.
In Sixth International Conference on the Unified Modelling Language (UML 2003), Workshop on Consistency Problems in UML-based Software Development II, October 2003.
San Francisco, USA. http://msdl.cs.mcgill.ca/people/tfeng/docs/con03.pdf.

41

Python 2.2.3 documentation, May 2003.
http://www.python.org/doc/2.2.3/.

42

Juan de Lara and Hans Vangheluwe.
Computer aided multi-paradigm modelling to process petri-nets and statecharts.
In International Conference on Graph Transformations (ICGT), volume 2505, pages 239-253. Springer-Verlag, October 2002.
Barcelona, Spain.

43

Juan de Lara Jaramillo, Hans Vangheluwe, and Manuel Alfonseca Moreno.
Using meta-modelling and graph grammars to create modelling environments.
In Paolo Bottoni and Mark Minas, editors, Electronic Notes in Theoretical Computer Science, volume 72, February 2003.

44

Juan de Lara and Hans Vangheluwe.
Using meta-modelling and graph grammars to process gpss models.
In Hermann Meuth, editor, 16th European Simulation Multi-conference (ESM), pages 100-107, June 2002.
Darmstadt, Germany.

45

Ernesto Posse, Juan de Lara, and Hans Vangheluw.
Processing causal block diagrams with graph-grammars in atom$^3$.
In European Joint Conference on Theory and Practice of Software (ETAPS), Workshop on Applied Graph Transformation (AGT), pages 23-34, April 2002.
Grenoble, France.

46

Peter D. Mosses.
Theory and practice of action semantics".
In MFCS '96, Proc. 21st Int. Symp. on Mathematical Foundations of Computer Science (Cracow, Poland, Sept. 1996), volume 1113, pages 37-61. Springer-Verlag, 1996.

47

Peter D. Mosses.
Action semantics and asf+sdf.
In Electronic Notes in Theoretical Computer Science, volume 65. Elsevier, 2002.

48

Peter Fritzson and Vadim Engelson.
Modelica -- A unified object-oriented language for system modeling and simulation.
Lecture Notes in Computer Science, 1445, 1998.

49

Hilding Elmqvist et. al.
Modelica - A unified object-oriented language for physical systems modeling: Tutorial and rationale.
Technical report, The Modelica Design Group, December 1999.
http://www.modelica.org/.

50

Watts S. Humphrey and Marc I. Kellner.
Software process modeling: principles of entity process models.
In Proceedings of the 11th international conference on Software engineering, pages 331-342. ACM Press, 1989.