45 search results - page 3 / 9 » Simplifying Transformations of OCL Constraints |
ENTCS
2006
13 years 5 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...
ECEASST
2008
13 years 5 months ago
2008
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a sta...
UML
2005
Springer
13 years 11 months ago
2005
Springer
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...
ER
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ICDCS
2012
IEEE
11 years 7 months ago
2012
IEEE
Abstract—Modern day enterprises have a large IT infrastructure comprising thousands of applications running on servers housed in tens of data centers geographically spread out. T...