STAIRS - Steps to analyze interactions with refinement semantics

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

Volumn 2863, Issue , 2003, Pages 388-402

  Haugen, Øystein ^a   Stølen, Ketil ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; MODELING LANGUAGES; SEMANTICS; SPECIFICATIONS; STAIRS;

COMPOSITIONAL ANALYSIS; COMPOSITIONAL DEVELOPMENT; DESIGN DECISIONS; OBSERVABLE BEHAVIOR; SYSTEM DEVELOPMENT; TEST EXECUTION; TEST SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 0242339578     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_33     Document Type: Article

References (17)

1. Abadi, M., Lamport, L. Conjoining specifications. ACM Transactions on Programming Languages and Systems 17, pages 507-533, (1995).
2. Broy, M., Stølen, K. Specification and development of interactive systems: Focus on streams, interfaces and refinement. Springer, (2001).
3. Combes, P., Pickin, S., Renard, B., Olsen, F. MSCs to express service requirements as properties on an SDL model: application to service interaction detection. In Proc. 7th SDL Forum (SDL'95), pages 243-256. North-Holland, (1995).
4. Damm, W., Harel, D. LSCs: Breathing life into message sequence charts. In Proc. Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pages 293-311. Kluwer, (1999).
5. Harel, D., Marelly, R. Specifying and executing behavioral requirements: the play in/playout approach. To appear in Software and System Modeling, (2003).
6. Haugen, Ø. Using MSC-92 effectively. In Proc. 7th SDL Forum (SDL'95), pages 37-49. North-Holland, (1995).
7. Haugen, Ø. MSC-2000 interaction diagrams for the new millennium. Computer Networks 35. pages 721-732, (2001).
8. Haugen, Ø., Møller-Pedersen, B., Weigert, T. Structural Modeling with UML 2.0. In UML for Real. Lavagno, L., Martin, G. and Selic, B. (eds.). Kluwer, (2003).
9. Hoare, C. A. R. Proof of correctness of data representations. Acta Informatica 1, pages 271-282, (1972).
10. Jacobson, I., Booch, G., Rumbaugh, J. The Unified Software Development Process. Addison Wesley, (1999).
11. Jones, C. B. Systematic software development using VDM. Prentice-Hall, (1986).
12. Milner, R. An algebraic definition of simulation between programs. In Proc. International Joint Conference on Artificial Intelligence, pages 481-489. Kaufmann, (1971).
13. OMG, Unified Modeling Language: Superstructure. OMG ad/03-04-01, (2003).
14. Reniers, M. A. Message Sequence Chart: Syntax and Semantics. PhD thesis, Departement of Computer Science, Eindhoven University of Technology, (1998).
15. Z.120, Message Sequence Charts (MSC). Rudolph, E. (ed.). ITU, (1993).
16. Z.120 Annex B, Algebraic Semantics of Message Sequence Charts. Mauw, S. (ed.). ITU, (1994).
17. Z.120 Annex B, Formal Semantics of Message Sequence Charts. Mauw, S. et al. (eds.). ITU, (1998).