UML model refactoring: a systematic literature review
Abstract Model-driven engineering, an emerging trend in software engineering, has enabled
the use of refactoring to UML models. Numerous approaches to model refactoring, problem …
the use of refactoring to UML models. Numerous approaches to model refactoring, problem …
Different models for model matching: An analysis of approaches to support model differencing
Calculating differences between models is an important and challenging task in Model
Driven Engineering. Model differencing involves a number of steps starting with identifying …
Driven Engineering. Model differencing involves a number of steps starting with identifying …
Model synchronization at work: kee** SysML and AUTOSAR models consistent
H Giese, S Hildebrandt, S Neumann - … Dedicated to Manfred Nagl on the …, 2010 - Springer
During the overall development of complex engineering systems different modeling
notations are employed. For example, in the domain of automotive systems system …
notations are employed. For example, in the domain of automotive systems system …
A visual token-based formalization of BPMN 2.0 based on in-place transformations
CONTEXT: The Business Process Model and Notation (BPMN) standard informally defines a
precise execution semantics. It defines how process instances should be updated in a …
precise execution semantics. It defines how process instances should be updated in a …
Bridging the gap between formal semantics and implementation of triple graph grammars: Ensuring conformance of relational model transformation specifications and …
The correctness of model transformations is a crucial element for model-driven engineering
of high-quality software. A prerequisite to verify model transformations at the level of the …
of high-quality software. A prerequisite to verify model transformations at the level of the …
Applying a model transformation taxonomy to graph transformation technology
A taxonomy of model transformations was introduced in [T. Mens, PV Gorp, A taxonomy of
model transformation, in: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT …
model transformation, in: Proc. Int'l Workshop on Graph and Model Transformation (GraMoT …
Answering conceptual queries with ferret
Programmers seek to answer questions as they investigate the functioning of a software
system, such as" which execution path is being taken in this case?" Programmers attempt to …
system, such as" which execution path is being taken in this case?" Programmers attempt to …
Design patterns for open tool integration
Abstract Design tool integration is a highly relevant area of software engineering that can
greatly improve the efficiency of development processes. Design patterns have been widely …
greatly improve the efficiency of development processes. Design patterns have been widely …
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems
More and more complex functionality is today realized with complex, networked, real-time
systems. The majority of the costs and time in development is required to design and verify …
systems. The majority of the costs and time in development is required to design and verify …
A domain-specific language for modeling and analyzing solution spaces for technology roadmap**
The introduction of major innovations in industry requires a collaboration across the whole
value chain. A common way to organize such a collaboration is the use of technology …
value chain. A common way to organize such a collaboration is the use of technology …