| Publisher | University of Paderborn | ||
|---|---|---|---|
| Format | 175.5KB PDF, requires Acrobat Rdr 5 | Date added | 08 Jul 2002 |
| Topics | UML | ||
| Downloads | 52 | ||
This paper presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, the paper takes the latest OCL2.0 metamodel proposal by Warmer et al as a basis. A formal semantics of our temporal OCL extension is given by a mapping to time-annotated temporal logics formulae.
Did you find this white paper useful?
25 out of 50 users found this white paper useful
Related white papers
Introducing Xomega for XML Object Modeling and Code Generation
XML-based Model Driven Development can be a simple, but very powerful alternative to the UML-based MDA and can result in significantly increased productivity, clean and robust designs and improved system...
Improving IT service delivery through an integrated approach to software asset management white paper
This white paper describes the challenges of managing software rights in increasingly complex environments and discusses how SAM can make the entire process more efficient. Specifically, it addresses how SAM...
Download a Free Trial of SmartDraw: Learn why SmartDraw is the ideal alternative to Visio
SmartDraw's fundamentally different approach makes it the superior choice for the vast majority of users. SmartDraw is: Automatic—drawing for you, ensuring a professional result every time. Comprehensive—includes hundreds of templates and examples for...
The Pursuit of a Standardized Solution for Secure Enterprise RBAC
Each RBAC implementation varies in its capabilities and method of management. In a multi-platform environment, these differences introduce higher administration hours and costs because the various RBAC models are not...
Combining the Power of Rhapsody Model-Driven Development, UML and Hitex Tools to Streamline the Development of 8, 16, and 32 Bit Applications
Studies have shown that software is now the main bottleneck for most embedded systems projects. According to Embedded Market Forecasters, 56% of all embedded designs are behind schedule, and software...
Towards an Extension of UML2.0 to Model Mobile Agent-Based Systems
The technology of mobile agents obtained recently more importance not only because of its capacity of developing and building a distributed, heterogeneous, and interoperable systems, but also because of its...
Leveraging the Model Driven Development and Software Product Line Engineering Synergy for Success
This report focuses on one of these integrations, the Rational Rhapsody/BigLever Software Gears Bridge. The Rational Rhapsody/Gears Bridge extends the abstraction, comprehension and communication benefits provided by model-driven development (MDD)...
