Timed sequence diagrams and tool-based analysis— A case study

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

Volumn 1723, Issue , 1999, Pages 645-660

  Firley, Thomas ^a   Huhn, Michaela ^a   Diethers, Karsten ^a   Gehrke, Thomas ^a   Goltz, Ursula ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; GRAPHIC METHODS; SPECIFICATIONS;

REAL TIME; REQUIREMENTS SPECIFICATIONS; SEQUENCE DIAGRAMS; TIMED AUTOMATA; TIMING CONSTRAINTS; UML SEQUENCE DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 84947730930     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_45     Document Type: Conference Paper

References (14)

1. Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. Rajeev Alur, Gerard J. Holzmann, and Doron Peled. An analyzer for Message Sequence Charts. In Tiziana Margaria and Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS'96), volume 1055 of LNCS, pages 35-48. Springer-Verlag, 1996.
3. Grady Booch, james Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
4. Werner Damm and David Harel. LSCs: Breathing life into Message Sequence Charts. In 3rd IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS'99), pages 293-312. Kluwer Academic Publishers, 1999.
5. Bruce P. Douglass. Real-Time UML. Addison-Wesley, 1998.
6. Vincent Encontre. Modeling and implementing correct, scalable and efficient real-time applications with ObjectGEODE. 1rst Quarter Edition of Real-Time Magazine, 1996.
7. Gerard J. Holzmann and Doron Peled. The state of SPIN. In 8th Interna-tional Conference on Computer Aided Verification, volume 1102 of LNCS, pages 385-389, New Brunswick, NJ, USA, 1996. Springer Verlag.
8. Klaus Havelund, Arne Skou, Kim G. Larsen, and Kristian Lund. Formal modelling and analysis of an audio/video protocol: An industrial case study using UPPAAL. In Proceedings of the 18th IEEE Real-Time Systems Sym-posium, pages 2-13, 1997.
9. Agnès Lanusse, Sébastian Gérard, and Francois Terrier. Real-time modelling with UML: The ACCORD approach. In UML '98, volume 1618 of LNCS, pages 287-296. Springer-Verlag, 1998.
10. Stefan Leue and Gerard Holzmann. v-Promela: A visual, object-oriented language for SPIN. In Proc. of the 2nd IEEE Intern. Symp. on Object-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, 1999.
11. Kim G. Larsen, Paul Pettersson, andWang Yi. Diagnostic model-checking for real-time systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, volume 1066 of LNCS, pages 575-586. Springer-Verlag, 1995.
12. Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a nutshell. Intern. Journal on Software Tools for Technology Transfer, 1(1+2), 1997.
13. Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994.
14. J. Seemann and J. Wolff von Gudenberg. Extension of UML Sequence Diagrams for real-time systems. In UML '98, volume 1618 of LNCS, pages 225-233. Springer-Verlag, 1998.