Scenario-based monitoring and testing of real-time UML models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 317-328

  Lettrari, Marc ^a   Klose, Jochen ^b  

^a OFFIS INSTITUTE FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

WELL TESTING;

EXECUTABLE UML; REAL TIME; REAL TIME REQUIREMENT; SCENARIO-BASED; SEQUENCE DIAGRAMS; TESTING METHOD; UML DESIGN; UML-BASED DEVELOPMENT;

UNIFIED MODELING LANGUAGE;

EID: 84948968996     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_24     Document Type: Conference Paper

References (13)

1. 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
2. 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
3. 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
4. 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
5. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45-80, July 2001
6. Bruce P. Douglass. Doing Hard Time. Addison-Wesley, 1999
7. 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
8. I. Jacobsen, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999
9. 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
10. 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
11. 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
12. OMG. Unified Modeling Language Specification, Version 1.3. OMG, 1999. http://www.rational.com/uml/resources/documentation
13. Wolfgang Thomas. Automata on Infinite Objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B. Elsevier, 1990