Abstract
UML sequence diagrams partially describe a system. We show how the description may be augmented with exceptions triggered by the violation of timing constraints and compare our approach to those of the UML 2.1 simple time model, the UML Testing Profile and the UML profile for Schedulability, Performance and Time. We give a formal definition of time exceptions in sequence diagrams and show that the concepts are compositional. An ATM example is used to explain and motivate the concepts. © Springer-Verlag Berlin Heidelberg 2007.
Author supplied keywords
Cite
CITATION STYLE
Halvorsen, O., Runde, R. K., & Haugen, Ø. (2007). Time exceptions in sequence diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4364 LNCS, pp. 131–142). Springer Verlag. https://doi.org/10.1007/978-3-540-69489-2_17
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
