Advertisement
Promo

Application development Toolkit

Download now

A UML Profile for Real-Time Constraints With the OCL

PublisherUniversity of Paderborn
Format175.5KB PDF, requires Acrobat Rdr 5Date added08 Jul 2002
Topics UML
Downloads52

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.

Download now

Did you find this white paper useful?
25 out of 50 users found this white paper useful


  • Trackback
  • Clip Link

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)...


Broadband Deals? Powered by Top 10 Broadband

150+ broadband packages

Compare 30+ mobile broadband deals

Mobile Broadband »
White Paper

Featured White Paper

Centrinet case study

Centrinet launched an innovative business service - Smartbunker - based on renewable energy and energy-efficient technology(efficient IBM BladeCenter servers and Cisco networking hardware), It's the UK's first managed data centre service committed to zero carbon energy. This unique proposition drastically reduces power consumption by around 60%.

Download Now

Other White Papers

Contact Centres: Optimum service at optimum cost

Getting the balance right between meeting the inbound call expectations of busy customers and...

Fact Sheet : IBMXIV Storage System

The IBM XIV® Storage System is a ground-breaking, high-end disk system, designed to support...

See All White Papers


Skip Sub Navigation Links to CNET Brand Links

Help

Become part of the ZDNet community.

Newsletters