Towards an understanding of model executability

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 70-80

  Breton, Erwan ^a   Bézivin, Jean ^b  

^a Soft Maint Company   (France)

^b UNIVERSITÉ DE NANTES   (France)

Author keywords

Action semantics; Meta models; Model execution; Models; MOF; Process meta models

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; PETRI NETS; SEMANTICS;

META-MODELS;

INFORMATION THEORY;

EID: 0035789783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/505168.505176     Document Type: Conference Paper

References (16)

1. Alcaltel, I-Logix, Kennedy-Carter, Kabira Technologies, Inc., Project Technology, Inc., Rational Software Corporation, Telelogic AB Action Semantics for the UML. OMG Document ad/2001-03-01, March 2001, http://cgi.omg.org/cgi-bin/doc?ad/01-03-01.
2. Bézivin J. Who's Afraid of Ontologies? OOPSLA'98 Workshop: Model Engineering, Methods and Tools Integration with CDIF, Vancouver, October 1998, http://www.metamodel.com/oopsla98-cdif-workshop/bezivinl/.
3. Bézivin J., Gerbé O. New Trends in Applied Model Engineering. submitted for publication, 2001.
4. BPMI.org Business Process Modeling Language (BPML). March 2001, http://www.bpmi.org.
5. Greenwood R.M., Robertson I., Snowdon R.A. & Warboys B.C. Active Models in Business, in Proceedings of Business IT Conference, Manchester, 1995, ftp://ftp.cs.man.ac.uk/pub/IPG/grsw95.ps.
6. Jackson M. System Development. Prentice-Hall International, 1983.
7. Mellor S., Tockey S., Artaud R., Leblanc P. Software-platform-independent, Precise Action Specifications for UML UML'98: Beyond the Notation First International Workshop, Mulhouse, France, June 1998, http://www.kc.com/as_site/download/UML_AS_paper.pdf.
8. OMG Meta Object Facility (MOF) Specification. OMG Document formal/2000-04-03, March 2000, http://www.omg.org/technology/documents/formal/mof.htm.
9. OMG OMG Unified Modeling Language Specification version 1.3. OMG Document formal/2000-03-01, March 2000, http://www.omg.org/technology/documents/formal/uml.htm.
10. OMG UML 2.0 Diagram Interchange RFP. OMG Document ad/2001-02-39, March 2001, http://cgi.omg.org/cgi-bin/doc?ad/01-02-39.
11. 11] OMG UML Extensions for Workflow Process Definition Request For Proposal. OMG Document bom/2000-12-11, Dec. 2000, http://cgi.omg.org/cgi-bin/doc?bom/00-12-11.
12. OMG XML Metadata Interchange (XMI) Specification v1.1. OMG Document formal/2000-11-02, Nov. 2000, http://www.omg.org/cgi-bin/doc?formal/2000-11-02.
13. Pease A. Core Plan Representation version 4. November 1998 http://reliant.teknowledge.com/CPR2.
14. Pennaneach F., Sunye G. Towards an execution engine for the UML UML'2000, York, October 2000, http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/Pennaneach.pdf.
15. nd International Conference on Engineering Design and Automation, Maui, Hawaii, August 7-14, 1998, http://www.mel.nist.gov/msidlibrary/doc/craig-eda.ps.
16. Soley R. and the OMG Staff Strategy Group Model Driven Architecture. November 2000, ftp://ftp.omg.org/pub/docs/omg/00-11-05.pdf.