QuickSearch:   Number of matching entries: 0.

Search Settings

    AuthorTitleYearJournal/ProceedingsReftypeDOI/URL
    Alpert, S.R. Primitive Types Considered Harmful 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 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. 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

    Fax. +358-9-451 3369

    E-mail: lab@tcs.tkk.?

    URL: http://www.tcs.tkk.?} }

    Merks, E. Presentation in Sun's 2004 Worldwide Java Developer Conference: The Eclipse Modeling Framework

    Introducing Modeling to the Java? Technology Mainstream

    2004   techreport URL 
    BibTeX:
    @techreport{,
      author = {Ed Merks,},
      title = {Presentation in Sun's 2004 Worldwide Java Developer Conference: The Eclipse Modeling Framework 

    Introducing Modeling to the Java? Technology Mainstream}, year = {2004}, url = {http://www.eclipse.org/modeling/emf/docs/presentations/JavaOne/JavaOnePresentation.pdf} }

    Erich Gamma, Rechard Helm, R.J.J.V. Design Patters: Elements of Reusable Object Oriented Software 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 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 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 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 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 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 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 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 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

    Domain Specific Language Design}, booktitle = {The 4th OOPSLA Workshop on Domain-Specific Modeling}, year = {2004} }

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

    September 21, 2009. If you are reading this after that date, please download the available

    specification from the OMG Specifications Catalog.}, url = {http://www.omg.org/spec/FUML/1.0/Beta1} }

    MOF 2.0/XMI Mapping, Version 2.1.1 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 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 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 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

    2006 (formal/06-05-01)  standard URL 
    BibTeX:
    @standard{OCL20,,
      title = {Object Constraint Language

    OMG Available Specification

    Version 2.0}, year = {2006}, number = {formal/06-05-01}, url = {http://www.omg.org/spec/OCL/2.0/PDF/} }

    Created by JabRef on 01/12/2009.