Bibliography

ÁCES01

José M. Álvarez, Tony Clark, Andy Evans, and Paul Sammut.
An action semantics for MML.
In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference, Toronto, Canada, October 2001, Proceedings, volume 2185 of LNCS, pages 2-18. Springer, 2001.

AILKC⁺00

Alcatel, I-Logix, Kennedy-Carter, Inc. Kabira Technologies, Inc. Project Technology, Rational Software Corporation, and Telelogic AB.
Action Semantics for the UML.
Document ad/2001-03-01. OMG, 2000.
Available from World Wide Web: http://cgi.omg.org/cgi-bin/doc?ad/01-03-01.

BB01

Erwan Breton and Jean Bézivin.
Towards an understanding of model executability.
In Proceedings of the international conference on Formal Ontology in Information Systems, pages 70-80. ACM Press, 2001.
Available from World Wide Web: http://www.sciences.univ-nantes.fr/info/lrsg/Pages_perso/Publications/fois.pdf.

Fen02

Thomas Feng.
Statechart virtual machine, 2002.
Available from World Wide Web: http://moncs.cs.mcgill.ca/people/tfeng/?research=svm.
MSDL, McGill.

GHJV95

Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides.
Design patterns: elements of reusable object-oriented software.
Addison-Wesley Longman Publishing Co., Inc., 1995.

Mos96

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.
Available from World Wide Web: http://www.brics.dk/RS/96/53/BRICS-RS-96-53.pdf.

Mos02

Peter D. Mosses.
Action semantics and ASF+SDF - system demonstration, 2002.
Available from World Wide Web: http://www.cwi.nl/ftp/markvdb/entcs65.3/65.3.003.pdf.

MTAL98

Stephen J. Mellor, Steve Tockey, Rodolphe Arthaud, and Philippe LeBlanc.
Software-platform-independent, precise action specifications for UML.
In Jean Bézivin and Pierre-Alain Muller, editors, The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 281-286, 1998.
Available from World Wide Web: http://www.kc.com/as_site/download/UML_AS_paper.pdf.

Opd92

William F. Opdyke.
Refactoring Object-Oriented Frameworks.
PhD thesis, UIUC, Urbana-Champaign, IL, USA, 1992.
Available from World Wide Web: http://www.cs.uiuc.edu/Dienst/Repository/2.0/Body/ncstrl.uiuc_cs/UIUCDCS-R-92-1759/postscript.

RFBLO01

Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, and Nosa Omorogbe.
The architecture of a UML virtual machine.
In Conference on Object-Oriented, pages 327-341, 2001.

SGJ02

Gerson Sunyé, Alain Le Guennec, and Jean-Marc Jézéquel.
Using UML action semantics for model execution and transformation.
Information Systems, 27:445-457, 2002.
Available from World Wide Web: http://www.sciencedirect.com/science/article/B6V0G-45J8WV9-1/1/8622e2f14c9a518a5241431af02e27d8.

SPH⁺01

Gerson Sunyé, François Pennaneac'h, Wai-Ming Ho, Alain Le Guennec, and Jean-Marc Jézéquel.
Using UML action semantics for executable modeling and beyond.
In Advanced Information Systems Engineering. 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, volume 2068 of LNCS, pages 433-447. Springer, 2001.
Available from World Wide Web: http://www.irisa.fr/triskell/publis/2001/Sunye01a.pdf.

SPTJ01

Gerson Sunyé, Damien Pollet, Yves Le Traon, and Jean-Marc Jézéquel.
Refactoring UML models.
In Martin Gogolla and Cris Kobryn, editors, UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 4th International Conference, Toronto, Canada, October 2001, Proceedings, volume 2185 of LNCS, pages 134-148. Springer, 2001.