Sciweavers

561 search results - page 2 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
14 years 1 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
CAISE
2005
Springer
14 years 29 days ago
A General Approach to the Generation of Conceptual Model Transformations
In data integration, a Merge operator takes as input a pair of schemas in some conceptual modelling language, together with a set of correspondences between their constructs, and p...
Nikolaos Rizopoulos, Peter McBrien
CAISE
1999
Springer
13 years 11 months ago
A Uniform Approach to Inter-model Transformations
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
Peter McBrien, Alexandra Poulovassilis
ADAEUROPE
2007
Springer
14 years 1 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ICMT
2009
Springer
14 years 2 months ago
A Collection Operator for Graph Transformation
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
Roy Grønmo, Stein Krogdahl, Birger Mø...