Producing Z Specifications From Object-Oriented Analysis
作者： Jonathan Hammond
DOI: 10.1007/978-1-4471-3452-7_19
关键词: Data flow diagram 、 Active object 、 Structure (category theory) 、 Railway signalling 、 Event queue 、 Control engineering 、 Object-oriented analysis and design 、 Computer science 、 State (computer science)
摘要: This paper presents an approach for producing Z specifications from ShlaerMellor object-oriented analysis. The information and state modelling phases of the Shlaer-Mellor method define specification structure. provides precise detailed system functionality. was developed at instigation Westinghouse Signals Ltd. has been successfully used on analysis a real-time railway signalling being by Westinghouse.
springer.com
sci-hub.st 参考文章(10)
Z User Workshop, London 1992 Springer London. ,(1993) , 10.1007/978-1-4471-3556-2
Fiona Polack, Mark Whiston, Keith Mander, The SAZ Project: Integrating SSADM and Z. formal methods. pp. 541- 557 ,(1993) , 10.1007/BFB0024666
Christine Draper, Practical Experiences of Z and SSADM Proceedings of the Z User Workshop. pp. 240- 251 ,(1992) , 10.1007/978-1-4471-3556-2_16
Anthony Hall, Specifying and Interpreting Class Hierarchies in Z Z User Workshop, Cambridge 1994. pp. 120- 138 ,(1994) , 10.1007/978-1-4471-3452-7_8
Lesley Semmens, Pat Allen, Using Yourdon and Z: an Approach to Formal Specification Proceedings of the Fifth Annual Z User Meeting on Z User Workshop. pp. 228- 253 ,(1990) , 10.1007/978-1-4471-3540-1_15
L. T. Semmens, R. B. France, T. W. G. Docker, Integrated Structured Analysis and Formal Specification Techniques The Computer Journal. ,vol. 35, pp. 600- 610 ,(1992) , 10.1093/COMJNL/35.6.600
J. M. Spivey, The Z notation: a reference manual Prentice Hall International (UK) Ltd.. ,(1992)
J. P. Bowen, J. A. Hall, Z User Workshop, Cambridge 1994 ,(1994)
FME '93: Industrial-Strength Formal Methods Springer Berlin Heidelberg. ,(1993) , 10.1007/BFB0024633
J. E. Nicholls, Z User Workshop, Oxford, 1990 ,(1990)