Titlebook: Software Language Engineering; 5th International Co Krzysztof Czarnecki,Görel Hedin Conference proceedings 2013 Springer-Verlag Berlin Heid

在驾驶

TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design,odels. The tool gives the designer access to a vast library of reusable design models encoding essential recurring design concerns. It exploits model interfaces and aspect-oriented model weaving techniques as defined by the Reusable Aspect Models (RAM) approach to enable the designer to rapidly appl

小臼

A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling,vide real-world semantics and principled modeling guidelines for conceptual domain modeling languages. In this paper, we demonstrate how a philosophically sound and cognitively-oriented ontological theory of . and . (property-instances) has been used to: (i) (re)design a system of modeling primitive

被告

Declarative Name Binding and Scope Rules,er to establish references between definition and use sites of elements. In this paper, we identify recurring patterns for name bindings in programming languages and introduce a declarative metalanguage for the specification of name bindings in terms of namespaces, definition sites, use sites, and s

MOTTO

Minikin

diabetes

,: Enabling Transformations@run.time,uilt a compiler that generates the corresponding Java bytecode according to the mapping. We present several application scenarios and discuss the mapping between object-oriented meta-modelling and the Java object system. Our proposal has been validated by a prototype implementation which is also contributed.

平淡而无味

A Framework for Bidirectional Model-to-Platform Transformations, (2) a concrete instantiation of this framework using string grammars, tree grammars, and triple graph grammars, (3) a discussion of our framework based on a set of core requirements, and (4) a classification and detailed survey of alternative approaches.

勉励

Model Transformation Co-evolution: A Semi-automatic Approach,ons of this paper include the automatic co-evolution of breaking and resolvable changes and the assistance to the transformation developer to aid in the co-evolution of breaking and unresolvable changes. The presented process is implemented for ATL in the CO-URE prototype.

Graves’-disease

Guided Merging of Sequence Diagrams,. More specifically, we demonstrate how state machines can guide the integration of parallel changes performed on a sequence diagram. We give a concise formal description of this problem and suggest a translation to the satisfiability problem of propositional logic.

reptile

Bridging the Chasm between Executable Metamodeling and Models of Computation,the complete and executable definition of a DSL, (ii) the reuse of a given MoC for different domain-specific metamodels, and (iii) the use of different MoCs for a given metamodel, to account for variants of a DSL.