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

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


Broadband Deals? Powered by Top 10 Broadband

150+ broadband packages

Compare 30+ mobile broadband deals

Mobile Broadband »
White Paper

Featured White Paper

Technical Description: IBMXIV Storage System

The IBMXIV® Storage System offers a new level of high-end disk system performance and reliability. It is a core component of theIBMInformation Infrastructure which helps clients address their needs for availability, security, compliance and retention of information. The XIVsystem provides consistency under all conditions, immunity to hotspots, ...

Download Now

Other White Papers

Best Practices for Translating Customer Satisfaction into Revenue

Today's support organisations are focused on two top-level metrics: financial results and customer...

Data Quality Considerations for a Master Data Management Structure

Companies acquiring companies. Human Resources sharing information with Finance. Businesses...

See All White Papers


Skip Sub Navigation Links to CNET Brand Links

Help

Become part of the ZDNet community.

Newsletters