26 search results - page 2 / 6 » Finite Model Reasoning on UML Class Diagrams Via Constraint ... |
99
Voted
DLOG
2010
14 years 11 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
124
Voted
JUCS
2010
14 years 8 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
176
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
96
Voted
GI
2001
Springer
15 years 5 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
113
Voted
ICECCS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...