Sciweavers

57 search results - page 2 / 12
» Semantic Abstraction Rules for Class Diagrams
Sort
View
RWEB
2005
Springer
13 years 11 months ago
Rule Modeling and Markup
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...
Gerd Wagner
BIRTHDAY
2008
Springer
13 years 8 months ago
A Heterogeneous Approach to UML Semantics
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
María Victoria Cengarle, Alexander Knapp, A...
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
13 years 10 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
AGTIVE
1999
Springer
13 years 10 months ago
Creating Semantic Representations of Diagrams
Abstract. Diagrams that serve as a visual input facility for programming environments have to be translated into some kind of semantic description. This paper describes such a meth...
Mark Minas
ROOM
2000
13 years 7 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...