599 search results - page 38 / 120 » Interpreting the Object Constraint Language |
ECEASST
2008
14 years 12 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
107
click to vote
VLDB
1991
ACM
15 years 3 months ago
1991
ACM
: This paper describes a design methodology for an object oriented database,basedon a semantic network. This approach is based on the assumption that Yemanticdata models are more p...
EJIS
2007
14 years 11 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
120
click to vote
ECOOP
1993
Springer
15 years 3 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
TOSEM
2002
14 years 11 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...