| 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
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...
Lean Communications - Enabling manufacturing processes through visual technologies
In every organization there are wasteful activities, both in operations and in communications. Seldom, however, are these activities conveniently labeled as wasteful, nor do these activities standout and beg for...
Model-Driven Development for the C Developer
C replaced assembler as the preferred language for embedded programming over ten years ago and with it came a huge increase in productivity. Today, Model Driven Development and UML offer...
Practical Examples of Developing DoDAF Architectures Webcast
Thie webcast explains experiences harvested from work with four government agencies in the development of systems that support command, intelligence, surveillance and reconnaissance architectural frameworks. DoDAF should lead to improved...
