Abstract
The behavior of real-time systems is specified by a number of interaction scenarios between tasks or active objects. Each scenario may be illustrated by a UML sequence diagram. We use the newly developed, textual language UMLscript-RT as input language for our tool AVUS, mainly a compiler, that automatically generates standard UML sequence diagrams. UMLscript-RT extends UML sequence diagrams in two aspects. Firstly, we introduce loops and suggest a graphical notation very similar to that used in Message Sequence Charts. Secondly we give a precise grammar for timing constraints which are mandatory for real-time applications. AVUS generates a directed graph whose vertices are the events and associates the constraints as weights to the arrows. Consistency of the timing constraints is then checked by examining the cycles of that graph.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chodrow, S., Jahanian, F., Donner, M.: Run Time Monitoring of Real-Time Systems. In: Proc. Real Time Systems Symposium, pp. 74–83 (1991)
Gergeleit, M., Kaiser, J., Streich, H.: Checking Timing Constraints in Distributed Object-Oriented Programs. OOPS Messenger 7(1), 51–58 (1996)
Jahanian, F., Mok, A.: Safety Analysis of Timing Properties in Real-Time Systems. IEEE Trans. Software Eng. SE-12(9), 890–904 (1986)
Z.120, Message Sequence Chart (MSC), ITU-T, Geneva, (1996)
Seemann, J., Von Gudenberg, J.H.: UMLscript, A Programming Language for Object-Oriented Design. In: Schader, M., Korthaus, A. (eds.) The Unified Modeling Language, Technical Aspects and Applications, pp. 160–169. Physica-Verlag, Heidelberg (1998)
Tsai, J., Weigert, T.: A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems. In: Proc. 2nd Workshop on OO Real-Time Dependable Systems, pp. 8–16. IEEE, Los Alamitos (1996)
Booch, G., Jacobson, I., Rumbaugh, J.: The Unified Modeling Language, http://www.rational.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Seemann, J., von Gudenberg, J.W. (1999). Extension of UML Sequence Diagrams for Real-Time Systems. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive