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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG Unified Modelling Specification, ver. 1.3, June 1999.
Rumbaugh, J., Bllaha, M., Premerlani, W., Eddy, F., and Lorenson, W.: Object-Oriented Modelling and Design, Prentice-Hall, Englewood Cliffs, 1991
Jacobson, I., Christerson, M., Jonsson, P., and Övergaard, G.: Object-Oriented Software Engineering. A Use Case Driven Approach, Addison-Wesley, Workingham, 1992
Booch, G.: Object-Oriented Design with Applications, Benjamin/Cummings, Redwood City, 1991
Fengler, W.: A coloured Petri Net Interpretation for Modelling and Control in Textile Processing. CSCW & Petri Net Workshop, 14th International Conference Application and Theory of Petri Nets 1993, Chicago, USA
Mühlpfordt, A.: Object-Oriented Business Process Modelling on the Basis of UML, Ph.D. thesis, Ilmenau, 1998. (In German)
Riabov, Y.: Design and Testing of Coloured Time Interval Activity Diagrams, Diploma thesis, Ilmenau, 2001. (In German)
Slavianov, A.: Design and Testing of Coloured State Diagrams, Diploma thesis, Ilmenau, 2001.(In German)
Amberg, C.: Design and Testing of Coloured Time Interval Sequence Diagrams, Diploma thesis, Ilmenau, 2001. (In German)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fengler, O., Fengler, W., Duridanova, V. (2002). Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems. In: Unger, H., Böhme, T., Mikler, A. (eds) Innovative Internet Computing Systems. IICS 2002. Lecture Notes in Computer Science, vol 2346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48080-3_5
Download citation
DOI: https://doi.org/10.1007/3-540-48080-3_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43790-1
Online ISBN: 978-3-540-48080-8
eBook Packages: Springer Book Archive