White Papers

Semantics and Verification of Data Flow in UML 2.0 Activities

Overview One of the major changes in going from UML 1.5 to UML 2.0 is the reengineering of Activity Diagrams. This paper examines Activities as described in the current version of the UML 2.0 standard by defining a denotational semantics. It covers basic control flow and data flow, but excludes hierarchy, expansion nodes, and exception handling. The paper shows, where the constructs proposed in the standard are not so easily formalized, and how the formalisation may be used for formal analysis.

Download White Paper

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

Publisher
University of Munich
File Format
PDF
Date Published
Dec 4, 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

University of Munich White Papers

On the Reliability of Microsoft Excel XP for Statistical Purposes

On the Reliability of Microsoft Excel XP for Statistical Purposes

The paper deals with the reliability of Microsoft Excel XP for statistical purposes. In this section they show that Exce

Publisher: University of Munich  |  Tags: excel, xp

A Research Note on Virtual Project Management Systems

A Research Note on Virtual Project Management Systems

The objective of this paper is to report intermediate research results on the comparison and benchmarking of two tools t

Publisher: University of Munich  |  Tags: benchmarking, management, project management

Dynamic Duopoly Competition With Switching Costs and Network Externalities

Dynamic Duopoly Competition With Switching Costs and Network Externalities

This paper analyzes competition in a two-period differentiated-products duopoly in the presence of both switching costs

Publisher: University of Munich  |  Tags: network

A Framework for Service Quality Assurance Using Event Correlation Techniques

A Framework for Service Quality Assurance Using Event Correlation Techniques

Due to the increasing use of service level agreements for the provisioning of IT services, providers have to ensure that

Publisher: University of Munich  |  Tags: infrastructure, itil, management, service management

Extending UML to Model Navigation and Presentation in Web Applications

Extending UML to Model Navigation and Presentation in Web Applications

This paper presents a UML Profile for Web applications. It is a UML extension based on the general extension mechanisms

Publisher: University of Munich  |  Tags: applications