1009 search results - page 30 / 202 » transML: A Family of Languages to Model Model Transformation... |
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
UN/CEFACT’s Modeling Methodology (UMM) has been developed to analyze and design B2B business processes independent of the underlying exchange technology. It became the methodolog...
ENTCS
2006
13 years 7 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
UML
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
GI
2009
Springer
14 years 8 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...