| Author | Title | Year | Journal/Proceedings | Reftype | DOI/URL |
|---|---|---|---|---|---|
| Alpert, S.R. | Primitive Types Considered Harmful [BibTeX] |
1998 | (RC 21157 (94569) 14APR98) | techreport | URL |
BibTeX:
@techreport{Alpert1998,
author = {Sherman R. Alpert},
title = {Primitive Types Considered Harmful},
year = {1998},
number = {RC 21157 (94569) 14APR98},
url = {http://domino.watson.ibm.com/library/cyberdig.nsf/0/31f5d8dad5983328852565fa004dc78d?OpenDocument}
}
|
|||||
| Arend Rensink, J.-H.K. | Repotting the Geraniums: On Nested Graph Transformation Rules | 2009 | Electronic Communications of the EASST Pre-proceedings | inproceedings | |
| Abstract: Abstract: We propose a scheme for rule amalgamation based on nested graph pred- icates. Essentially, we extend all the graphs in such a predicate with right hand sides. Whenever such an enriched nested predicate matches (i.e., is satis?ed by) a given host graph, this results in many individual match morphisms, and thus many ?small? rule applications. The total effect is described by the amalgamated rule. This makes for a smooth, uniform and very powerful amalgamation scheme, which we demon- strate on a number of examples. Among the examples is the following, which we believe to be inexpressible in very few other parallel rule formalism proposed in the literature: repot all ?owering geraniums whose pots have cracked. |
|||||
BibTeX:
@inproceedings{Rensink2009,
author = {Arend Rensink, Jan-Hendrik Kuperus,},
title = {Repotting the Geraniums: On Nested Graph Transformation Rules},
booktitle = {Electronic Communications of the EASST Pre-proceedings},
year = {2009}
}
|
|||||
| Colin Atkinson, T.K. | Rearchitecting the UML Infrastructure [BibTeX] |
2002 | ACM Transaction on Modeling and Computer Science Vol. 12(4), pp. 290-321 |
article | |
BibTeX:
@article{Atkinson2002,
author = {Colin Atkinson, Thomas Kuhne},
title = {Rearchitecting the UML Infrastructure},
journal = {ACM Transaction on Modeling and Computer Science},
year = {2002},
volume = {12},
number = {4},
pages = {290-321}
}
|
|||||
| Colin Atkinson, T.K. | The essence of multilevel metamodeling. [BibTeX] |
2001 | (2185)Proceedings of the UML Conference, pp. 19-33 | inproceedings | URL |
BibTeX:
@inproceedings{Atkinson2001,
author = {Colin Atkinson, Thomas Kuehne,},
title = {The essence of multilevel metamodeling.},
booktitle = {Proceedings of the UML Conference},
year = {2001},
number = {2185},
pages = {19-33},
url = {http://homepages.mcs.vuw.ac.nz/~tk/publications/papers/essence.pdf}
}
|
|||||
| Dae-Kyoo Kim, Robert France, S.G.E.S. | A UML-Based Metamodeling Language to Specify Design Patterns | 2003 | WiSME | conference | |
| Abstract: A design pattern describes a generic solution for prob- lems that occur repeatedly. Current descriptions of de- sign patterns describe solutions with graphical notation and complementing text. To encourage the use of design pat- terns, the development of pattern supporting tools is imper- ative. This requires design patterns to be speci?ed precisely. There has been considerable work done on pattern speci- ?cations. They suffer from either complication or lack of formality and features. In this paper, we describe a meta- modeling technique to specify design patterns that is formal and easy to understand and use. The technique uses the Role-Based Metamodeling Language (RBML) based on the UML. The RBML is able to capture various design perspec- tives of patterns such as static structure, interactions, and state-based behavior. We give an overview of the RBML and demonstrate the technique using the Iterator design pattern. We show how pattern speci?cations can be used for check- ing pattern conformance using the model of a television re- mote control application. |
|||||
BibTeX:
@conference{Dae-KyooKim2003,
author = {Dae-Kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song},
title = {A UML-Based Metamodeling Language to Specify Design Patterns},
booktitle = {WiSME},
year = {2003}
}
|
|||||
| Dubrovin, J. | JUMBALA ? AN ACTION LANGUAGE FOR UML STATE MACHINES | 2006 | (HUT-TCS-A101) | techreport | |
| Abstract: ABSTRACT: UML 2.0 is a language for modeling complex software systems. A UML model may describe the dynamic aspects of software as well as the static structure. We concentrate on models of reactive systems, such as em- bedded controllers or telecommunications switches. The behavior of such systems is modeled using UML state machines. Although UML de?nes the structure of state machines, it leaves open the choice of an action language, which is the language used to specify how the transitions of a state machine affect the con?guration of the underlying model. A UML action language named Jumbala is introduced. The language has been designed as part of a project where the goal is to formally analyze be- havioral UML models. Jumbala is based on the Java programming language. It has nearly the same syntax and semantics for statements and expressions as Java. Some new programming constructs have been added to facilitate state machine modeling. Jumbala also supports object-oriented program- ming with classes and inheritance. An interpreter that parses and executes Jumbala programs has been devel- oped. The interpreter will be part of a prototype tool set for analyzing the behavior of reactive computer systems modeled in UML. |
|||||
BibTeX:
@techreport{Dubrovin2006,
author = {Jori Dubrovin},
title = {JUMBALA ? AN ACTION LANGUAGE FOR UML STATE MACHINES},
year = {2006},
number = {HUT-TCS-A101},
note = {Tel. +358-9-451 1 |
|||||
| Merks, E. | Presentation in Sun's 2004 Worldwide Java Developer Conference: The Eclipse Modeling Framework Introducing Modeling to the Java? Technology Mainstream [BibTeX] |
2004 | techreport | URL | |
BibTeX:
@techreport{,
author = {Ed Merks,},
title = {Presentation in Sun's 2004 Worldwide Java Developer Conference: The Eclipse Modeling Framework |
|||||
| Erich Gamma, Rechard Helm, R.J.J.V. | Design Patters: Elements of Reusable Object Oriented Software [BibTeX] |
1995 | book | ||
BibTeX:
@book{ErichGamma1995,
author = {Erich Gamma, Rechard Helm, Ralph Johnson, John Vilssides},
title = {Design Patters: Elements of Reusable Object Oriented Software},
publisher = {Pearson Education},
year = {1995}
}
|
|||||
| Frank Budinsky, Dave Steinberg, E.M.R.E. | Eclipse modeling framework: a developer's guide [BibTeX] |
2003 | , pp. 11-40 | inbook | |
BibTeX:
@inbook{EMF2003,
author = {Frank Budinsky, Dave Steinberg, Ed Merks, Ray Ellersick,},
title = {Eclipse modeling framework: a developer's guide},
year = {2003},
pages = {11-40}
}
|
|||||
| Frederic Jouault, J.B. | KM3: A DSL for Metamodel Specification [BibTeX] |
2006 | Vol. LNCS 4037FMOODS 2006, pp. 171?185, |
conference | |
BibTeX:
@conference{Jouault2006,
author = {Frederic Jouault, Jean Bezivin},
title = {KM3: A DSL for Metamodel Specification},
booktitle = {FMOODS 2006},
year = {2006},
volume = {LNCS 4037},
pages = {171?185,}
}
|
|||||
| Karsai, G. | Structured Specification of Model Interpreters [BibTeX] |
1999 | IEEE Conference and Workshop on Engineering of Computer Based Systems, pp. 84 | conference | |
BibTeX:
@conference{Karsai1999,
author = {Gabor Karsai,},
title = {Structured Specification of Model Interpreters},
booktitle = {IEEE Conference and Workshop on Engineering of Computer Based Systems},
year = {1999},
pages = {84}
}
|
|||||
| Juan de Lara, H.V. | AToM3 A Tool for Multi-formalism Meta-Modelling | 2002 | Fundamental Approaches to Software Engineering, pp. 174-188 | inproceedings | URL |
| Abstract: This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system using different formalisms. Models can be automatically converted between formalisms thanks to information found in a Formalism Transformation Graph (FTG), proposed by the authors. To aid in the automatic generation of multi-formalism modelling tools, formalisms are modelled in their own right (at a meta-level) within an appropriate formalism. This has been implemented in the interactive tool AToM3. This tool is used to describe formalisms commonly used in the simulation of dynamical systems, as well as to generate custom tools to process (create, edit, transform, simulate, optimise, ...) models expressed in the corresponding formalism. AToM3 relies on graph rewriting techniques and graph grammars to perform the transformations between formalisms as well as for other tasks, such as code generation and operational semantics specification. | |||||
BibTeX:
@inproceedings{AToM32002,
author = {Juan de Lara, Hans Vangheluwe},
title = {AToM3 A Tool for Multi-formalism Meta-Modelling},
booktitle = {Fundamental Approaches to Software Engineering},
publisher = {Springer Berlin / Heidelberg},
year = {2002},
pages = {174-188},
url = {http://www.springerlink.com/content/wr3dhxug8jmlgxyh/}
}
|
|||||
| Krzysztof Czarnecki, S.H. | Classification of Model Transformation Approaches | 2003 | OOPSLA?03 Workshop on Generative Techniques in the Context of Model-Driven Architecture | inproceedings | URL |
| Abstract: The Model-Driven Architecture is an initiative by the Object Management Group to automate the generation of platform-specific models from platformindependent models. While there exist some well-established standards for modeling platform models, there is currently no matured foundation for specifying transformations between such models. In this paper, we propose a possible taxonomy for the classification of several existing and proposed model transformation approaches. The taxonomy is described with a feature model that makes the different design choices for model transformations explicit. Based on our analysis, we propose a few major categories in which most model transformation approaches fit |
|||||
| Review: an old survey of Model Transformation. May not be useful to the thesis, but well, worth a brief reading. | |||||
BibTeX:
@inproceedings{Czarnecki2003,
author = {Krzysztof Czarnecki, Simon Helsen},
title = {Classification of Model Transformation Approaches},
booktitle = {OOPSLA?03 Workshop on Generative Techniques in the Context of Model-Driven Architecture},
year = {2003},
url = {http://www.swen.uwaterloo.ca/~kczarnec/ECE750T7/czarnecki_helsen.pdf}
}
|
|||||
| M. Ajmone Marsan, G. Balbo, G.C.S.D. & Franceschinis, G. | Modelling With Generalised Stochastic Petri Nets [BibTeX] |
2004 | book | URL | |
BibTeX:
@book{petrinet2004,
author = {M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis},
title = {Modelling With Generalised Stochastic Petri Nets},
publisher = {John Wiley and Sons},
year = {2004},
url = {http://www.di.unito.it/~greatspn/GSPN-Wiley/}
}
|
|||||
| Provost, M. | Himesis: A Hierarchical Subgraph Matching Kernel for Model Driven Development [BibTeX] |
2005 | School: School of Computer Science McGill University, Montr?eal, Canada | mastersthesis | |
BibTeX:
@mastersthesis{Provost2005,
author = {Marc Provost,},
title = {Himesis: A Hierarchical Subgraph Matching Kernel for Model Driven Development},
school = {School of Computer Science McGill University, Montr?eal, Canada},
year = {2005}
}
|
|||||
| Martin Gogolla, Mirco Kuhlmann, F.B. | A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency [BibTeX] |
2008 | Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems Vol. Vol. 5301 |
article | URL |
BibTeX:
@article{MartinGogolla2008,
author = {Martin Gogolla, Mirco Kuhlmann, Fabian B黷tner},
title = {A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency},
journal = {Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems},
year = {2008},
volume = {Vol. 5301},
url = {http://books.google.ca/books?id=vEEQJJKDnW8C&dq=models+2008+proceedings&printsec=frontcover&source=bl&ots=RfOq5NC9D6&sig=A8WUk5EkQpI2y2zjbdXAbmKk2C0&hl=en&ei=zg2QSsTDIozTlAe_soykDA&sa=X&oi=book_result&ct=result&resnum=2#v=onepage&q=&f=true}
}
|
|||||
| P Muller, F Fleurey, J.J. | Weaving Executability into Object-Oriented Meta-Languages [BibTeX] |
2005 | Proceedings of MODELS/UML'2005, pp. 264-278 | inproceedings | URL |
BibTeX:
@inproceedings{PMuller2005,
author = {P Muller, F Fleurey, J Jezequel,},
title = {Weaving Executability into Object-Oriented Meta-Languages},
booktitle = {Proceedings of MODELS/UML'2005},
publisher = {S. Kent. Springer},
year = {2005},
pages = {264-278},
url = {http://www.irisa.fr/triskell/publis/2005/Muller05a.pdf}
}
|
|||||
| Pierre Kelsen, Elke Pulvermueller, C.G. | A Declarative Executable Language based on OCL for Specifying the Behavior of Platform-Independent Models | 2007 | Ocl4All 2007 Workshop, Nashville | conference | URL |
| Abstract: Model-driven architecture aims at describing a systemusing a platform- independent model in suf?cient detail so that the full implementation of the sys- tem can be generated from this model and a platform model. This implies that the platform-independent model must describe the static structure as well as the dy- namic behavior of the system. We propose a declarative language for describing the behavior of platform-independent models based on a hybrid notation that uses graphical elements as well as textual elements in the form of OCL code snippets. Compared to existing approaches based on action languages it is situated at a higher level of abstraction and, through a clean separation of modi?er operations and query operations, simpli?es the comprehension of the behavioral aspects of the platform-independent system. |
|||||
BibTeX:
@conference{,
author = {Pierre Kelsen, Elke Pulvermueller, Christian Glodt,},
title = {A Declarative Executable Language based on OCL for Specifying the Behavior of Platform-Independent Models},
booktitle = {Ocl4All 2007 Workshop, Nashville},
year = {2007},
url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.83.3513&rep=rep1&type=pdf}
}
|
|||||
| Pierre-Alain Muller, Philippe Studer, F.F.J.B. | Platform independent Web application modeling and development with Netsilon | 2004 | Software and Systems Modeling Vol. Volume 4, Number 4 / November, 2005, pp. 424-442 |
article | URL |
| Abstract: This paper discusses platform independent Web application modeling and development in the context of model-driven engineering. A specific metamodel (and associated notation) is introduced and motivated for the modeling of dynamic Web specific concerns. Web applications are represented via three independent but related models (business, hypertext and presentation). A kind of action language (based on OCL and Java) is used all over these models to write methods and actions, specify constraints and express conditions. The concepts described in the paper have been implemented in the Netsilon tool and operational model-driven Web information systems have been successfully deployed by translation from abstract models to platform specific models. | |||||
BibTeX:
@article{Pierre-AlainMuller2004,
author = {Pierre-Alain Muller, Philippe Studer, Frederic Fondement, Jean Bezivin,},
title = {Platform independent Web application modeling and development with Netsilon},
journal = {Software and Systems Modeling},
year = {2004},
volume = {Volume 4, Number 4 / November, 2005},
pages = {424-442},
note = {Xion},
url = {http://www.springerlink.com/content/u6m2rmj2632q856u/}
}
|
|||||
| Raul Silaghi, Frederic Fondement, A.S. | "Weaving" MTL Model Transformations | 2005 | MDAFA 2003/2004, pp. 123 - 138, | conference | |
| Abstract: Abstract. Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamodel, which implies the possible ?reflective? use of model transformations, i.e., model transformations acting on model transformations. However, this requires transformation developers to be familiar with the metamodel of the transformation language itself, which is not always the case. In order to overcome such a frustrating impediment for the MTL language, and inspired by AOP approaches, we have designed and implemented an MTL weaver that modifies MTL transformations according to some weaving behavior, which is specified as special MTL transformations, called MTL-aspects, using an AOP-like extension to the MTL language. Both the weaver and the language extension are presented in this paper, and an example is used to show how transformation developers can take advantage of the proposed language extension constructs in order to write ?reflective? model transformations in MTL without requiring any previous knowledge of the MTL metamodel itself. |
|||||
BibTeX:
@conference{RaulSilaghi2005,
author = {Raul Silaghi, Frederic Fondement, Alfred Strohmeier,},
title = {"Weaving" MTL Model Transformations},
booktitle = {MDAFA 2003/2004},
publisher = {Springer-Verlag},
year = {2005},
pages = {123 - 138,}
}
|
|||||
| Shaikh, R. | A Modelica Statecharts Compiler | 2007 | techreport | URL | |
| Abstract: We present a method in which statecharts, which are commonly described visually, can be textually described using Modelica syntax. We also provide a compiler used to compile these Modelica state- charts to DES specification files. These DES specification files are then used by the Statechart Compiler (SCC) to produce executable code in some target language such as Java, C++, etc. . . ; Python will be our language of choice. |
|||||
BibTeX:
@techreport{Shaikh2007,
author = {Reehan Shaikh,},
title = {A Modelica Statecharts Compiler},
year = {2007},
url = {http://msdl.cs.mcgill.ca/people/reehan/files/cs763/cs763.pdf}
}
|
|||||
| Richard F. Paige, Phillip J. Brooke, J.S.O. | Specification-Driven Development of an Executable Metamodel in Eiffel | 2004 | Proc. Workshop in Software Model Engineering 2004, co-located with UML | inproceedings | URL |
| Abstract: Metamodels precisely define the constructs and underlying well-formedness rules for modelling languages. They are vital for tool vendors, who aim to provide support so that concrete models can be checked formally and automatically against a metamodel for conformance. This paper describes how an executable metamodel ? which supports fully automated conformance checking ? was developed using a model-driven extension of test-driven development. The advantages and disadvantages of this approach to building metamodels are discussed. |
|||||
BibTeX:
@inproceedings{RichardF.Paige2004,
author = {Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff,},
title = {Specification-Driven Development of an Executable Metamodel in Eiffel},
booktitle = {Proc. Workshop in Software Model Engineering 2004, co-located with UML},
year = {2004},
url = {http://www.metamodel.com/wisme-2004/present/6.pdf}
}
|
|||||
| Stephen J. Mellor, Steve Tockey, R.A.P.L. | Software-platform-independent, precise action specifications for UML [BibTeX] |
1998 | UML '98 | conference | |
BibTeX:
@conference{Mellor1998,
author = {Stephen J. Mellor, Steve Tockey, Rodolphe Arthaud, Philippe Leblanc},
title = {Software-platform-independent, precise action specifications for UML},
booktitle = {UML '98},
year = {1998}
}
|
|||||
| St磂phane Ducasse, T.G. | Using Smalltalk as a Reflective Executable Meta-Language | 2006 | MODELS2006 | conference | URL |
| Abstract: Object-oriented meta-languages such as MOF or EMOF are often used to specify domain specific languages. However, these meta-languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages. In this paper, we report our experience of using Smalltalk as an executable metalanguage. We validated this approach in incrementally building over the last decade, Moose, a meta-described reengineering environment. The reflective capabilities of Smalltalk support a uniform way of letting the developer focus on his tasks while at the same time allowing him to meta-describe his domain model. The advantage of our approach is that the developer uses the same tools and environment he uses for his regular tasks. | |||||
BibTeX:
@conference{Ducasse2006,
author = {St磂phane Ducasse, Tudor Girba},
title = {Using Smalltalk as a Reflective Executable Meta-Language},
booktitle = {MODELS2006},
year = {2006},
url = {http://www.iam.unibe.ch/~scg/Archive/Papers/Duca06dMOOSEMODELS2006.pdf}
}
|
|||||
| Kuhne, T. | Matters of (meta-) modeling | 2006 | Software and Systems Modeling Vol. 5(4), pp. 369-385 |
article | URL |
| Abstract: Abstract With the recent trend to model driven engi- neering a common understanding of basic notions such as ?model? and ?metamodel? becomes a pivotal issue. Even though these notions have been in widespread use for quite awhile, there is still little consensus aboutwhen exactly it is appropriate to use them. The aimof this arti- cle is to start establishing a consensus about generally acceptable terminology. Its main contributions are the distinction between two fundamentally different kinds of model roles, i.e. ?token model? versus ?type model? (The terms ?type? and ?token? have been introduced by C.S. Peirce, 1839?1914.), a formal notion of ?meta- ness?, and the consideration of ?generalization? as yet another basic relationship between models. In particu- lar, the recognition of the fundamental difference be- tween the above mentioned two kinds of model roles is crucial in order to enable communication among the model driven engineering community that is free of both unnoticedmisunderstandings and unnecessary disagree- ment. |
|||||
BibTeX:
@article{Kuehne2006,
author = {Thomas Kuhne,},
title = {Matters of (meta-) modeling},
journal = {Software and Systems Modeling},
year = {2006},
volume = {5},
number = {4},
pages = {369-385},
url = {http://homepages.mcs.vuw.ac.nz/~tk/publications/papers/kuehne-matters.pdf}
}
|
|||||
| Tom Mens, P.V.G. | A Taxonomy of Model Transformation | 2005 | GraMoT 2005 Preliminary Versionin Electronic Notes in Theoretical Computer Science | electronic | URL |
| Abstract: This article proposes a taxonomy of model transformation, based on the discussions of a working group on model transformation of the Dagstuhl seminar on Language Engineering for Model-Driven Software Development. This taxonomy can be used, among others, to help developers in deciding which model transformation language or tool is best suited to carry out a particular model transformation activity. |
|||||
BibTeX:
@electronic{TomMens2005,
author = {Tom Mens, Pieter Van Gorp},
title = {A Taxonomy of Model Transformation},
booktitle = {GraMoT 2005 Preliminary Version},
year = {2005},
url = {www.elsevier.nl/locate/entcs}
}
|
|||||
| Tony Clark, Andy Evans, P.S.J.W. | An eXecutable Metamodelling Facility for Domain Specific Language Design |
2004 | The 4th OOPSLA Workshop on Domain-Specific Modeling | conference | |
| Review: this artical is after the book in 2004. When being used in the thesis, use the book instead of this one. | |||||
BibTeX:
@conference{TonyClark2004,
author = {Tony Clark, Andy Evans, Paul Sammut, James Willans,},
title = {An eXecutable Metamodelling Facility for |
|||||
| Tony Clark, Paul Sammut, J.W. | APPLIED METAMODELLING: A FOUNDATION FOR LANGUAGE DRIVEN DEVELOPMENT | 2008 | book | URL | |
| Abstract: Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They have to manage a huge di- versity of implementation technologies, design techniques and development processes: everything from scripting languages to web-services to the latest ?silver bullet? design abstraction. To add to that, nothing stays still: today?s ?must have? technology rapidly becomes tomorrow?s legacy problem that must be managed along with everything else. How can these problems be dealt with? In this book we propose that there is a com- mon foundation to their resolution: languages. Languages are the primary way in which system developers communicate, design and implement systems. Languages provide abstractions that can encapsulate complexity, embrace the diversity of technologies and design abstractions, and unite modern and legacy systems. The aim of this book is to advance the state of the art in metamodelling to the point at which it can realise the Language-Driven Development vision. Traditionally, metamod- elling has focused on the design of data centric models of language concepts. In this book, we go way beyond that, showing how they can capture all aspects of languages, including concrete syntax, abstract syntax and semantics in a sound and pragmatic way. This book also aims to ?ll a large gap in the metamodelling literature, providing a technically rich book on an a subject that is mentioned often, but for which there is little concrete material available. Metamodels are increasingly being used across wider application domains, and it is the intention that this book will provide good advice to metamodellers irrespective of the languages and tools they are using. |
|||||
| Review: XMF | |||||
BibTeX:
@book{TonyClark2008,
author = {Tony Clark, Paul Sammut, James Willans},
title = {APPLIED METAMODELLING: A FOUNDATION FOR LANGUAGE DRIVEN DEVELOPMENT},
publisher = {Ceteva},
year = {2008},
edition = {SECOND EDITION},
url = {http://www.uio.no/studier/emner/matnat/ifi/INF5120/v06/undervisningsmateriale/AppliedMetamodelling.pdf (1stEdition)}
}
|
|||||
| Vangheluwe, H. | Modelling and Simulation: Petri Nets | 2008 | unpublished | URL | |
| Review: Petri Net is in page 14 and after. | |||||
BibTeX:
@unpublished{petrinethv,
author = {Hans Vangheluwe},
title = {Modelling and Simulation: Petri Nets},
year = {2008},
note = {McGill University COMP522 Lecture Note},
url = {http://msdl.cs.mcgill.ca/people/hv/teaching/MS/lectures/lecture.Petri/presentation.pdf}
}
|
|||||
| Xu, W. | The Design and Implementation of the 礛odelica Compiler [BibTeX] |
2005 | School: School of Computer Science, McGill University, Montr?eal, Canada | mastersthesis | |
BibTeX:
@mastersthesis{Xu2005,
author = {Weigao Xu},
title = {The Design and Implementation of the 礛odelica Compiler},
school = {School of Computer Science, McGill University, Montr?eal, Canada},
year = {2005}
}
|
|||||
| Z. Drey, F. Fleurey, D.V.C.F.V.M. | Kermeta Language, Reference Manual [BibTeX] |
2009 | manual | URL | |
BibTeX:
@manual{F.Fleurey2009,
author = {Z. Drey, F. Fleurey, D. Vojtisek, C. Faucher, Vincent Mah?},
title = {Kermeta Language, Reference Manual},
year = {2009},
url = {http://www.kermeta.org/docs/KerMeta-Manual.pdf}
}
|
|||||
| OMG Unified Modeling LanguageTM (OMG UML), Superstructure Version2.2 [BibTeX] |
2009 | (formal/2009-02-02) | standard | URL | |
BibTeX:
@standard{uml22,,
title = {OMG Unified Modeling LanguageTM (OMG UML), Superstructure Version2.2},
year = {2009},
number = {formal/2009-02-02},
note = {Version 2.2 is a minor revision to the UML 2.1.2 specification. It supersedes formal/2007-11-02.},
url = {http://www.omg.org/spec/UML/2.2/Superstructure}
}
|
|||||
| Semantics of a Foundational Subset for Executable UML Models (FUML) Version 1.0 - Beta 1 | 2008 | (ptc/2008-11-03) | standard | URL | |
| Abstract: The Foundational UML Subset (fUML) is an executable subset of standard UML that can be used to define, in an operational style, the structural and behavioral semantics of systems. It may also be used to define MOF-based modeling languages such as standard UML or its subsets and extensions. For example, the semantics of UML state machines can be specified as a program written in fUML. | |||||
BibTeX:
@standard{FUML10B,,
title = {Semantics of a Foundational Subset for Executable UML Models (FUML) Version 1.0 - Beta 1},
year = {2008},
number = {ptc/2008-11-03},
note = {The FTF Recommendation and Report for this specification is scheduled to be published on |
|||||
| MOF 2.0/XMI Mapping, Version 2.1.1 [BibTeX] |
2007 | (formal/2007-12-02) | standard | URL | |
BibTeX:
@standard{MOFXMI2112007,,
title = {MOF 2.0/XMI Mapping, Version 2.1.1},
year = {2007},
number = {formal/2007-12-02},
url = {http://www.omg.org/spec/XMI/2.1/PDF}
}
|
|||||
| OMG Unified Modeling LanguageTM (OMG UML), Superstructure Version2.1.2 [BibTeX] |
2007 | (formal/2007-11-02) | standard | URL | |
BibTeX:
@standard{uml21,,
title = {OMG Unified Modeling LanguageTM (OMG UML), Superstructure Version2.1.2},
year = {2007},
number = {formal/2007-11-02},
note = {Version 2.1.2 is a minor revision to the UML 2.1.1 specification. It supersedes formal/2007-02-05},
url = {http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF}
}
|
|||||
| OMG Unified Modeling Language (UML) Infrastructure, Version 2.1.2 [BibTeX] |
2007 | (formal/2007-11-04) | standard | URL | |
BibTeX:
@standard{UML212,,
title = {OMG Unified Modeling Language (UML) Infrastructure, Version 2.1.2},
year = {2007},
number = {formal/2007-11-04},
url = {http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF}
}
|
|||||
| Meta Object Facility (MOF) Core Specification Version 2.0 [BibTeX] |
2006 | (formal/06-01-01) | standard | URL | |
BibTeX:
@standard{MOF20,,
title = {Meta Object Facility (MOF) Core Specification Version 2.0},
year = {2006},
number = {formal/06-01-01},
url = {http://www.omg.org/docs/formal/06-01-01.pdf}
}
|
|||||
| Object Constraint Language OMG Available Specification Version 2.0 [BibTeX] |
2006 | (formal/06-05-01) | standard | URL | |
BibTeX:
@standard{OCL20,,
title = {Object Constraint Language |
|||||
Created by JabRef on 01/12/2009.