UML White Papers
Formalizing UML Models and OCL Constraints in PVS
Overview The Object Constraint Language (OCL) is the established language for the specification of properties of objects and object structures in UML models. One reason that it is not yet widely adopted in industry is the lack of proper and integrated tool support for OCL. Therefore, this paper presents a prototype tool, which analyzes the syntax and semantics of OCL constraints together with a UML model and translates them into the language of the theorem prover PVS. This defines a formal semantics for both UML and OCL, and enables the formal verification of systems modeled in UML.
| Publisher | Radboud University Nijmegen | File Format | PDF, requires Acrobat Rdr 5 |
|---|---|---|---|
| Date Published | February 2004 | Downloads | 10 |
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 1 out of 2 users found this white paper useful
White Paper RSSAn Introduction to Gathering Requirements, Creating Use Cases and the UML
DownloadThis whitepaper introduces software requirements and how to collect them. In addition, this whitepaper offers a detailed presentation of the theory and use of the Unified Modeling Language (UML). The...
ARIS UML Designer
This white paper describes ARIS UML Designer, its features, its benefits and other related benefits. ARIS UML Designer optimizes the UML capabilities of ARIS. In conjunction with the ARIS methods...
Designing the Software Architecture of an Embedded System With UML 2.0
A model-driven development methodology was elaborated and implemented, based on existing tools, where UML is used for both software design and implementation (code generation from executable UML models). For validation...
Computing Model Complexity
Metrics have been applied - and misapplied - to software systems for a number of decades now. In a perfect world, metrics provide both a measure of quality, an estimate...
UML 2.0 Action Semantics and Telelogic TAU/Architect and TAU/Developer Action Language
What do action semantics and executable model mean? How are these concepts implemented in the new version of UML 2.0? What are the benefits of UML 2.0 in UML based...
