Sciweavers

1009 search results - page 21 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
UML
2005
Springer
14 years 1 months ago
Transformation-Based Structure Model Evolution
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner
MODELS
2009
Springer
14 years 5 days ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
DEXAW
2004
IEEE
167views Database» more  DEXAW 2004»
13 years 11 months ago
BioMap: Gene Family based Integration of Heterogeneous Biological Databases Using AutoMed Metadata
This paper presents an extensible architecture that can be used to support the integration of biological data sets. Biological research frequently requires this kind of synthesis....
Michael Maibaum, Galia Rimon, Christine A. Orengo,...
COMPSAC
2003
IEEE
14 years 28 days ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
CAISE
2008
Springer
13 years 9 months ago
Model Transformations powered by Rewriting Logic
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
Francisco J. Lucas, José Ambrosio Toval &Aa...