Paper Info
Title
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems
Abstract
The design of complex distributed embedded systems often presents great challenges because of the large number and dimensions of their components. This research paper discusses some of the problems of designing such systems. The use of Colored Dynamic Activity Diagrams for modeling complex real-time systems is suggested as a possible solution. The Colored Activity Diagrams bridge a gap between modeling technique and description power of High Level Petri nets. By coloring Activity Diagrams the behavior of several objects or processes can be modeled in a single diagram. They also have additional mechanisms for mapping dependences and relationships between individual objects. The color is a property which supports the intended transformation into the High Level Petri Nets allowing further the formal verification of the whole system. The usability of the method is shown in a modeled reference example.
Year
DOI
Venue
2002
10.1007/3-540-48080-3_5
IICS
Keywords
Field
DocType
colored activity diagrams bridge,additional mechanism,complex real-time system,colored dynamic activity diagrams,modeling efficiency,uml activity diagram,high level petri,description power,coloring activity,high level petri net,formal verification,embedded system,distributed system,real time systems,activity diagram
Petri net,Unified Modeling Language,Computer science,Activity diagram,Diagram,Story-driven modeling,Systems Modeling Language,Distributed computing,Formal verification,Interaction overview diagram
Conference
Volume
ISSN
ISBN
2346
0302-9743
3-540-43790-8
Citations 
PageRank 
References 
2
0.53
2
Authors
3
Name
Order
Citations
PageRank
Olga Fengler132.31
Wolfgang Fengler2119.42
Veselka Duridanova320.53