White Papers

Some Preliminary Hints on Formalizing UML With Object Petri Nets

Overview Petri nets have already been used to formalize UML and they have already shown - at least partially - what can be done in terms of analysis and simulation. Nevertheless "Conventional" Petri nets, like P/T nets and color nets, are not always enough to efficiently formalize the behavior associated with UML models when specifications heavily rely on typical object-oriented features, like inheritance, polymorphism and late binding. Rendering these peculiar aspects by means of ad-hoc subnets oftentimes lead to awkward subnets and impacts the complexity of resulting formalizations. This paper presents some preliminary hints on formalizing the dynamic aspects of UML - more precisely Interaction and Statechart diagrams - with Object Petri Nets (OPNs) to find a more natural solution to the formalization of object-oriented features.

Download White Paper

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

Publisher
Society for Design and Process Science
File Format
PDF
Date Published
Dec 4, 2008
Format
White Papers
Topics
Object-Oriented, UML

Similiar White Papers

Designing the Software Architecture of an Embedded System With UML 2.0

Designing the Software Architecture of an Embedded System With UML 2.0

A model-driven development methodology was elaborated and implemented, based on existing tools, where UML is used for bo

Publisher: FZI Karlsruhe  |  Tags: software

User Experience Storyboards: Building Better UIs With RUP, UML, and Use Cases

User Experience Storyboards: Building Better UIs With RUP, UML, and Use Cases

The Unified Modeling Language, or UML, is the de facto standard for software modeling. It is used for creating models in

Publisher: IBM  |  Tags: software

A UML Class Diagram Analyzer

A UML Class Diagram Analyzer

Automatic analysis of UML models constrained by OCL invariants is still an open research topic. Especially for critical

Publisher: Federal University of Pernambuco  |  Tags: object-oriented

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