The pragmatics of STAIRS

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

Volumn 4111 LNCS, Issue , 2006, Pages 88-114

  Runde, Ragnhild Kobro ^a   Haugen, Øystein ^a   Stølen, Ketil ^a,b  

^a UNIVERSITY OF OSLO   (Norway)

^b SINTEF ICT   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; SEMANTICS;

COMPOSITIONAL DEVELOPMENT; PRAGMATICS; SUCCESSIVE REFINEMENT;

SOFTWARE ENGINEERING;

EID: 33749598799     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11804192_5     Document Type: Conference Paper

References (14)

1. [CK04] Mara Victoria Cengarle and Alexander Knapp. UML 2.0 interactions: Semantics and refinement. In Proc. 3rd Int. Wsh. Critical Systems Development with UML (CSDUML'04), Technical report TUM-10415, pages 85-99. Institut für Informatik, Technische Universität München, 2004.
2. [DH99] Werner Damm and David Harel. LSC's: Breathing life into message sequence charts. In Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), 1999.
3. [GS05] Radu Grosu and Scott A. Smolka. Safety-liveness semantics for UML sequence diagrams. In Proc. 5th Int. Conf. on Applications of Concurrency to System Design (ACSD'05), pages 6-14, 2005.
4. [HHRS05a] Øystein Haugen. Knut Eilif Husa, Ragnhild Kobro Runde, and Ketil Stølen. STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling, 22(4):349-458, 2005.
5. [HHRS05b] Øystein Haugen, Knut Eilif Husa, Ragnhild Kobro Runde, and Ketil Stølen. Why timed sequence diagrams require three-event semantics. In Scenarios: Models, Transformations and Tools, volume 3466 of LNCS, pages 1-25. Springer, 2005.
6. [HM03] David Harel and Rami Marelly. Come, Let's Play.: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
7. [HS03] Øystein Haugen and Ketil Stølen. STAIRS - Steps to analyze interactions with refinement semantics. In Proc. International Conference on UML (UML '2003), volume 2863 of LNCS, pages 388-402. Springer, 2003.
8. [ITU99] International Telecommunication Union. Recommendation Z.120 - Message Sequence Chart (MSC), 1999.
9. [Krü00] Ingolf Heiko Krüger. Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universität München, 2000.
10. [Kru04] Philippe Kruchten. The Rational Unified Process. Addison-Wesley, third edition. 2004.
11. [OMG05] Object Management Group. UML Superstructure Specification, v. 2.0, document: formal/05-07-04 edition, 2005.
12. [RHS05a] Ragnhild Kobro Runde, Øystein Haugen, and Ketil Stølen. How to transform UML neg into a useful construct. In Norsk Informatikkonferanse NIK'2005, pages 55-66. Tapir, 2005.
13. [RHS0Sb] Ragnhild Kobro Runde, Øystein Haugen, and Ketil Stølen. Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing, 12(2):157-188, 2005.
14. [RRS06] Atle Refsdal, Ragnhild Kobro Runde, and Ketil Stølen. Underspecification, inherent nondeterminism and probability in sequence diagrams. In Proc. 8th IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), volume 4037 of LNCS, pages 138-155. Springer, 2006.