Model checking timed UML state machines and collaborations

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

Volumn 2469, Issue , 2002, Pages 395-414

  Knapp, Alexander ^a   Merz, Stephan ^a   Rauh, Christopher ^b  

^a UNIVERSITY OF MUNICH   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; FAULT TOLERANCE; REAL TIME SYSTEMS; UNIFIED MODELING LANGUAGE;

MODEL CHECKER; PROTOTYPE TOOLS; STATE MACHINE; TIME CONSTRAINTS; TIMED AUTOMATA; UML COLLABORATIONS; UML MODEL; UML STATE MACHINE;

MODEL CHECKING;

EID: 84974687484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45739-9_23     Document Type: Conference Paper

References (20)

1. Rajeev Alur and David L. Dill. A Theory of Timed Automata. Theo. Comp. Sci., 126: 183-235, 1994.
2. Rodolphe Arthaud, Udo Brockmeyer, Werner Damm, Bruce P. Douglass, Francois Terrier, andWang Yi, editors. Proc. Wsh. Formal Design Techniques for Real-Time UML, York, 2000. http://wooddes.intranet.gr/workshop.htm.
3. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., &c., 1998.
4. Werner Damm and David Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1): 45-80, 2001.
5. Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli. A Compositional Real-Time Semantics of STATEMATE Designs. In Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli, editors, Proc. Int. Symp. Compositionality (Revised Lectures), volume 1536 of Lect. Notes Comp. Sci., pages 186-238. Springer, Berlin, 1998.
6. Alexandre David and M. Oliver Möller. From HUppaal to Uppaal - A Translation from Hierarchical Timed Automata to Flat Timed Automata. Technical Report BRICS RS-01-11, Department of Computer Science, Aarhus Universitet, 2001.
7. Bruce P. Douglass. Real-Time UML. Addison-Wesley, Reading, Mass., &c., 1998.
8. Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, and Ursula Goltz. Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. In France and Rumpe [9], pages 645-660.
9. Robert B. France and Bernhard Rumpe, editors. Proc. 2nd Int. Conf. UML, volume 1723 of Lect. Notes Comp. Sci. Springer, Berlin, 1999.
10. David Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. Comp. Program., 8(3): 231-274, 1987.
11. David Harel and Eran Grey. Executable Object Modeling with Statecharts. Computer, July: 31-42, 1997.
12. Constance L. Heitmeyer, Ralph D. Jeffords, and Bruce G. Labaw. Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In Proc. 10th IEEE Wsh. Real-Time Operating Systems and Software, pages 122-129, New York, 1993.
13. Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. Int. J. Softw. Tools for Techn. Transfer, 1(1-2): 134-152, 1997.
14. Diego Latella, Istvan Majzik, and Mieke Massink. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-Checker. Formal Aspects Comp., 11(6): 637-664, 1999.
15. Luigi Lavazza, Gabriele Quaroni, and Matteo Venturelli. Combining UML and Formal Notations for Modelling Real-Time Systems. In 8th Europ. Conf. Software Engineering, Wien, 2001.
16. Johan Lilius and Iván Porres Paltor. Formalising UML State Machines for Model Checking. In France and Rumpe [9], pages 430-445.
17. Darmalingum Muthiayen. Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. PhD thesis, Concordia University, Montreal, Canada, 2000.
18. Object Management Group. Unified Modeling Language Specification, Version 1.4. Specification, OMG, 2001. http://cgi.omg.org/cgi-bin/doc?formal/01-09-67.
19. Timm Schäfer, Alexander Knapp, and Stephan Merz. Model Checking UML State Machines and Collaborations. In Scott Stoller and Willem Visser, editors, Proc. Wsh. Software Model Checking, volume 55(3) of Elect. Notes Theo. Comp. Sci., Paris, 2001. 13 pages.
20. Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, New York, 1994.