Sciweavers

1792 search results - page 61 / 359
» Ontology Modeling Using UML
Sort
View
SEMWEB
2007
Springer
14 years 2 months ago
Ontology Mapping: An Information Retrieval and Interactive Activation Network Based Approach
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper pr...
Ming Mao
ROOM
2000
13 years 10 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 ...
SAC
2004
ACM
14 years 2 months ago
Translating the Object Constraint Language into the Java Modelling Language
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
Ali Hamie
FASE
2001
Springer
14 years 1 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
CAISE
2006
Springer
14 years 14 days ago
Aligning Business Processes and Software Connecting the UML 2 Profile for Event Driven Process Chains with Use Cases and Compone
The alignment between business processes and software is inadequately supported in conceptual modelling, although business processes are often the starting point for software devel...
Birgit Korherr, Beate List