×

zbMATH — the first resource for mathematics

Timing analysis of UML activity diagrams. (English) Zbl 1024.68887
Gogolla, Martin (ed.) et al., “UML” 2001 - The unified modeling language. Modeling languages, concepts, and tools. 4th international conference, Toronto, Canada, October 1-5, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2185, 62-75 (2001).
Summary: UML activity diagrams can be used for modeling the dynamic aspects of systems and for constructing executable systems through forward and reverse engineering. They are very suitable for describing the model of program behaviour. In this paper, we extend UML activity diagrams by introducing timing constraints so that they can be used to model real-time software systems, and give the solution for timing analysis of UML activity diagrams. We give the solution for timing analysis of simple UML activity diagrams (containing no loop) by linear programming, and present an algorithm for checking UML activity diagrams using integer time verification techniques. This work forms a base for verification of real-time software systems.
For the entire collection see [Zbl 0977.68864].
MSC:
68U99 Computing methodologies and applications
68N15 Theory of programming languages
Software:
Java PathFinder
PDF BibTeX XML Cite
Full Text: Link