Abstract
In this paper it is shown how Sequence Diagrams can be used both for monitoring and testing functional and real-time requirements of an executable UML design. We show how this testing approach can be integrated in an UML-based development process. In addition, we will present how a prototype which implements the described monitoring and testing methods is integrated in a well known UML design tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aynur Abdurazik and Jeff Offutt. Using UML Collaboration Diagrams for Static Checking and Test Generation. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proceedings of the UML2000-Advancing the Standard, number 1939 in LNCS. Springer Verlag, 2000.
R. Alur and D. Dill. The Theory of Timed Automata. In de Bakker, Henzinger, and de Roever, editors, Proceedings of Rex 1991: Real Time in Theoryand Practice, number 600 in LNCS. Springer Verlag, 1992.
Paulo J. F. Carreira and Miguel E. F. Costa. Automatically verifying an objectoriented specification of the steam-boiler system. In Stefania Gnesi, Ina Schieferdecker, and Axel Rennoch, editors, 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. GMD, 2000.
W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In FMOODS’99 IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.
W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45–80, July 2001.
Bruce P. Douglass. Doing Hard Time. Addison-Wesley, 1999.
Peter Graubmann and Ekkart Rudolph. HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proceedings of the UML2000-Advancing the Standard, number 1939 in LNCS. Springer Verlag, 2000.
I. Jacobsen, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.
Jochen Klose and Hartmut Wittke. An Automata Based Representation of Live Sequence Charts. In Tiziana Margaria and Wang Yi, editors, Proceedings of TACAS 2001, number 2031 in LNCS. Springer Verlag, 2001.
Diego Latella, Istvan Maijzik, and Mieke Massink. Towards a formal operational semantics of uml statechart diagrams. In 3rd International Conference on Formal Methods for Open Object-Oriented Distributed Systems, Lecture Notes in Computer Science. Kluwer Academic Publishers, 1999.
Johan Lilius and Ivan Porres Paltor. Formalising uml state machines for model checking. In R. France and B. Rumpe, editors, UML’99-The Unified Modeling Language: Beyond the Standard, number 1723 in Lecture Notes in Computer Science. Springer-Verlag, 1999.
OMG. Unified Modeling Language Specification, Version 1.3. OMG, 1999. http://www.rational.com/uml/resources/documentation.
Wolfgang Thomas. Automata on Infinite Objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B. Elsevier, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lettrari, M., Klose, J. (2001). Scenario-Based Monitoring and Testing of Real-Time UML Models. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_24
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive