White Papers

CmUML - A UML Based Framework for Formal Specification of Concurrent, Reactive Systems

Overview Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurrency aspects. Though UML includes action semantics, its higher level constructs and object semantics are inconsistent. Motivated by Lamport's approach, this paper proposes a UML based specification framework 'cmUML' ('cm' for concurrent modules) for formal specification of concurrent, reactive systems without object level diagrams and OCL. The framework integrates higher level diagrams of UML and addresses various concurrency issues including exception handling.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
Journal of Object Technology (JOT)
File Format
PDF
Date Published
Nov 30, 2008
Format
White Papers
Topics
Programming Languages, UML

Similiar White Papers

UML, RUP, and the Zachman Framework: Better Together

UML, RUP, and the Zachman Framework: Better Together

As leaders in their respective disciplines, UML, RUP, and the Zachman Framework can be used together in any organization

Publisher: IBM

UML Basics: The Class Diagram

UML Basics: The Class Diagram

Structure diagrams show the static structure of the system being modeled focusing on the elements of a system, irrespect

Publisher: IBM

UML for C#

UML for C#

C# is a modern object-oriented language for application development. In addition to object-oriented constructs, C# suppo

Publisher: Excel Software  |  Tags: object-oriented, software

How to Use IBM Rational Rose Model Importer: Part 1. How to Migrate UML Models to Rational Software Architect

How to Use IBM Rational Rose Model Importer: Part 1. How to Migrate UML Models to Rational Software Architect

Learn how to use the IBM Rational Rose Model Importer to migrate UML models from Rational Rose to IBM Rational Software

Publisher: IBM

Learning UML 2.0 - Modeling a System's Logical Structure: Introducing Classes and Class Diagrams

Learning UML 2.0 - Modeling a System's Logical Structure: Introducing Classes and Class Diagrams

Classes are at the heart of any object-oriented system; therefore, it follows that the most popular UML diagram is the c

Publisher: O'Reilly Media  |  Tags: object-oriented

Journal of Object Technology (JOT) White Papers

UML-Based Approach to Specify Secured, Fine-Grained Concurrent Access to Shared Resources

UML-Based Approach to Specify Secured, Fine-Grained Concurrent Access to Shared Resources

In object oriented paradigm, a concurrent system can be regarded as a collection of autonomous active objects which sync

Publisher: Journal of Object Technology (JOT)  |  Tags: data, data integrity

Object-Oriented Design Patterns for Detailed Design

Object-Oriented Design Patterns for Detailed Design

This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented s

Publisher: Journal of Object Technology (JOT)  |  Tags: object-oriented, software

Reflecting on an Existing Programming Language

Reflecting on an Existing Programming Language

Reflection has proven to be a valuable asset for programming languages, especially object-oriented ones, by promoting ad

Publisher: Journal of Object Technology (JOT)  |  Tags: applications, object-oriented