Open AccessBook
Eclipse Modeling Framework
Reads0
Chats0
TLDR
The authoritative guide to the Eclipse Modeling Framework (EMF)--written by the lead EMF designers! shows how EMF unifies three important technologies: Java, XML, and UML.Abstract:
The authoritative guide to the Eclipse Modeling Framework (EMF)--written by the lead EMF designers! Shows how EMF unifies three important technologies: Java, XML, and UML @BULLET= Provides a comprehensive overview of the EMF classes including a complete quick reference for all the classes and methods in the EMF 1.1 API. Includes examples of many common framework customizations and programming techniques.read more
Citations
More filters
Journal ArticleDOI
ATL: A model transformation tool
TL;DR: ATL: a model transformation language and its execution environment based on the Eclipse framework is presented and ATL tools provide support for the major tasks involved in using a language: editing, compiling, executing, and debugging.
Book ChapterDOI
Transforming models with ATL
Frédéric Jouault,Ivan Kurtev +1 more
TL;DR: This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation definitions and describes the language syntax and semantics by using examples.
Book ChapterDOI
Weaving executability into object-oriented meta-languages
TL;DR: This paper explores the idea of using aspect-oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and believes that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels.
Proceedings ArticleDOI
The spoofax language workbench: rules for declarative specification of languages and IDEs
Lennart C. L. Kats,Eelco Visser +1 more
TL;DR: The architecture of Spoofax is described and idioms for high-level specifications of language semantics using rewrite rules are introduced, showing how analyses can be reused for transformations, code generation, and editor services such as error marking, reference resolving, and content completion.
Proceedings ArticleDOI
Henshin: advanced concepts and tools for in-place EMF model transformations
TL;DR: Henshin is a new language and associated tool set for in-place transformations of EMF models using pattern-based rules on the lowest level, which can be structured into nested transformation units with well-defined operational semantics.
References
More filters
Proceedings ArticleDOI
A taxonomy of model abstraction techniques
TL;DR: A taxonomy of abstraction techniques drawn from the artificial intelligence subfield of qualitative simulation and model developers' fields is provided, providing a framework for comparing and contrasting various abstraction techniques.
Book ChapterDOI
The Metamodelling Language Calculus: Foundation Semantics for UML
TL;DR: The MML Calculus is defined which is used to formally define MML and therefore provides a semantic basis for UML 2.0.
Journal ArticleDOI
Consistency checking and visualization of OCL constraints
TL;DR: A graph-based semantics for OCL and a systematic translation of OCL constraints into expressions over graph rules is proposed, which suggests a way to express the constraints in a more intuitive visual form.
Book ChapterDOI
A Formal Semantics for OCL 1.4
TL;DR: A type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations are provided.
Towards the completion of the formal semantics of OCL 2.0
TL;DR: The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model as discussed by the authors.