Integrating action systems and Z in a medical system specification

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

Volumn 1051, Issue , 1996, Pages 105-119

  Kasurinen, V ^a   Sere, K ^a  

^a UNIVERSITY OF EASTERN FINLAND   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; REAL TIME SYSTEMS; SPECIFICATION LANGUAGES;

ACTION SYSTEMS; MEDICAL SYSTEMS; REAL TIME ASPECTS; SYSTEMS SPECIFICATION;

SPECIFICATIONS;

EID: 0039017286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_83     Document Type: Conference Paper

References (11)

1. R. J. R. Back. Refinement calculus, part II: Parallel and reactive programs. In 3. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. Proceedings. 1989, volume 430 of Lecture Notes in Computer Science. Springer-Verlag, 1990.
2. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd A CM SIGA CT-SIGOPS Symp. on Principles of Distributed Computing, pages 131-142, 1983.
3. R. J. R. Back and K. Sere. From modular systems to action systems. Proc. of Formal Methods Europe'94, Spain, October 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994.
4. K. M. Chandy, J. Misra. Parallel Program Design: A Foundation. Addision- Wesley, 1988.
5. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.
6. C. Fidge, A. Wellings. An action-based formal model for concurrent, real-time systems. Software Verification Research Center, Technical report 95-1, January 1995.
7. V. Kasurinen. Informal and Formal Requirements Specification. Manuscript, University of Kuopio, Department of Computer Science and Applied Mathematics, 1995.
8. V Kasurinen, K. Sere. Data Modelling in ZIM. To appear in Proc. of Methods Integration Workshop, Leeds Metropolitan University, 1-2 April 1996.
9. L. Lamport. A Temporal Logic of Actions. Research Report No. 57, DEC System Research Center, 1990.
10. B. Potter, J. Sinclair and D. Till. An Introduction to formal specification and Z. Prentice Hail, Englewood Cliffs N J, 1991.
11. J. B. Wordsworth. Software Development with Z. Addison-Wesley, Wokingham, England, 1992.