Underspecification, inherent nondeterminism and probability in sequence diagrams

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

Volumn 4037 LNCS, Issue , 2006, Pages 138-155

  Refsdal, Atle ^a,b   Runde, Ragnhild Kobro ^a   Stølen, Ketil ^a,b  

^a UNIVERSITY OF OSLO   (Norway)

^b SINTEF ICT   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; DATA PROCESSING; FORMAL LOGIC; GRAPHIC METHODS; PROBABILITY;

PROBABILISTIC STAIRS; SEQUENCE DIAGRAMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33746216413     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11768869_12     Document Type: Conference Paper

References (18)

1. [DH01] W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
2. [Dij76] E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
3. [Heh04] E. C. R. Hehner. Probabilistic predicative programming. In Dexter Kozen and Carron Shankland, editors, Mathematics of Program Construction, 7th International Conference, number 3125 in Lecture Notes in Computer Science, pages 169-185. Springer, 2004.
4. [HHRS0Sa] Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. Why timed sequence diagrams require three-event semantics. Technical Report 309, Department of Informatics, University of Oslo, 2005.
5. [HHRS0Sb] Ø. Haugen, K.E. Husa, R.K. Runde, and K. Stølen. STAIRS towards formal design with sequence diagrams. Software and System Modeling, 4(4):349-458, 2005.
6. [HM03] D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine. Springer, 2003.
7. [Hoa85] C. A. R. Hoare. Communicating Sequential Processes Prentice-Hall, 1985.
8. [ISO89] International Standards Organization. Information Processing Systems - Open Systems Interconnection - Lotos - a Formal Description Technique Based on the Temporal Ordering of Observational Behaviour - ISO 8807, 1989.
9. [ITU99] International Telecommunication Union. Recommendation Z.120 - Message Sequence Chart (MSC), 1999.
10. [MM99] C. Morgan and A. Mclver. pGCL: Formal reasoning for random algorithms. South African Computer Journal, 22:14-27, 1999.
11. [OMG04] Object Management Group. UML 2.0 Superstructure Specification, ptc/04-10-02 edition, 2004.
12. [RHS05a] A. Refsdal, K. E. Husa, and K. Stølen. Specification and refinement of soft real-time requirements using sequence diagrams. In P. Pettersson and W. Yi, editors, Proc. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS, 2005, number 3829 in Lecture Notes in Computer Science, pages 32-48. Springer, 2005.
13. [RHS0Sb] A. Refsdal, K. E. Husa, and K. Stølen. Specification and refinement of soft real-time requirements using sequence diagrams. Technical Report 323, Department of Informatics, University of Oslo, 2005.
14. [RHS0Sc] R.K. Runde, Ø. Haugen, and K. Stølen. Refining UML interactions with underspecification and nondeterminism. Nordic Journal of Computing, 12(2):157-188, 2005.
15. [Ros95] A. W. Roscoe. CSP and determinism in security modelling. In Proc. IEEE Symposium on Security and Privacy, pages 114-127. IEEE Press, 1995.
16. [RRS06] A. Refsdal, R. K. Runde, and K. Stølen. Underspecification, inherent nondeterminism and probability in sequence diagrams. Technical Report 335, Department of Informatics, University of Oslo, 2006.
17. [SBDB97] M.W.A. Steen, H. Bowman, J. Derrick, and E.A. Boiten. Disjunction of LOTOS specifications. In T. Mizuno, N. Shiratori, T. Higashino, and A. Togashi, editors, Formal Description Techniques and Protocol Specification, Testing and Verification; FORTE X / PSTV XVII '97, pages 177-192. Chapman & Hall, 1997.
18. [Seg95] R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology, 1995.