Sciweavers

7 search results - page 2 / 2
» KM3: A DSL for Metamodel Specification
Sort
View
UML
2005
Springer
15 years 4 months ago
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Progr
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...
Hiroshi Wada, Junichi Suzuki
ENTCS
2006
115views more  ENTCS 2006»
14 years 11 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...