19 search results - page 1 / 4 » Reasoning on UML Class Diagrams is EXPTIME-hard |
LPNMR
2009
Springer
13 years 11 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
RWEB
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
AIIA
2007
Springer
13 years 11 months ago
2007
Springer
ER
2010
Springer
13 years 2 months ago
2010
Springer
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 constraints expr...
DLOG
2003
13 years 6 months ago
2003
