Retrenchment, refinement, and simulation

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

Volumn 1878, Issue , 2000, Pages 304-323

  Banach, R ^a   Poppleton, M ^a,b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

B Method; Refinement; Retrenchment; Simulation

Indexed keywords

MIXING; SEMANTICS;

ABSTRACT MODELS; B METHOD; GENERAL SITUATION; LEVELS OF ABSTRACTION; LIBERALISATION; REFINEMENT; RETRENCHMENT; SIMULATION;

CONCRETE MIXING;

EID: 23044520249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44525-0_18     Document Type: Conference Paper

References (28)

1. Banach R., Poppleton M. Retrenchment: An Engineering Variation on Refinement. in: Proc. B-98, Bert (ed.), Springer, 1998, 129-147, LNCS 1393. See also: UMCS Technical Report UMCS-99-3-2, http://www.cs.man.ac.uk/cstechrep
2. Abrial J. R. The B-Book. Cambridge University Press, 1996.
3. Wordsworth J. B. Software Engineering with B. Addison-Wesley, 1996.
4. Lano K., Haughton H. Specification in B: An Introduction Using the B-Toolkit. Imperial College Press, 1996.
5. Sekerinski E., Sere K. Program Development by Refinement: Case Studies Using the B Method. Springer, 1998.
6. Hayes I. J., Sanders J. W. Specification by Interface Separation. Form. Asp. Comp. 7, 430-439, 1995.
7. Mikhajlova A, Sekerinski E. Class Refinement and Interface Refinement in Object-Oriented Programs. in: Proc. FME-97, Fitzgerald, Jones, Lucas (eds.), Springer, 1997, 82-101, LNCS 1313.
8. Boiten E., Derrick J. IO-Refinement in Z. in: Proc. Third BCS-FACS Northern Formal Methods Workshop. Ilkley, U.K., BCS, 1998, http://www.ewic.org.uk/ewic/workshop/view.cfm/NFM-98
9. Stepney S., Cooper D., Woodcock J. More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. in: Proc. ZUM-98, Bowen, Fett, Hinchey (eds.), Springer, 1998, 284-307, LNCS 1493.
10. Back R. J. R., Kurki-Suonio R. Decentralisation of Process Nets with Centralised Control. in: Proc. 2nd ACM SIGACT-SIGOPS Symp. on Princ. Dist. Comp., 131-142, ACM, 1983.
11. Back R. J. R. Refinement Calculus Part II: Parallel and Reactive Systems. in: Proc. REX Workshop, Stepwise Refinement of Distributed Systems, de Roever, Rozenberg (eds.), Springer, 1989, 67-93, LNCS 430.
12. Back R. J. R., von Wright J. Trace Refinement of Action Systems. in: Proc. CONCUR-94, Jonsson, Parrow (eds.), Springer, 1994, 367-384, LNCS 836.
13. Francez N., Forman I. R. Superimposition for Interactive Processes. in: Proc. CONCUR-90, Baeten, Klop (eds.), Springer, 1990, 230-245, LNCS 458.
14. Katz S. A Superimposition Control Construct for Distributed Systems. ACM Trans. Prog. Lang. Sys. 15, 337-356, 1993.
15. Back R. J. R., Sere K. Superposition Refinement of Reactive Systems. Form. Asp. Comp. 8, 324-346, 1996.
16. Blikle A. The Clean Termination of Iterative Programs. Acta Inf. 16, 199-217, 1981.
17. Coleman D., Hughes J.W. The Clean Termination of Pascal Programs. Acta Inf. 11, 195-210, 1979.
18. Neilson D. S. From Z to C: Illustration of a Rigorous Development Method. PhD. Thesis, Oxford University Computing Laboratory Programming Research Group, Technical Monograph PRG-101, 1990.
19. Owe O. An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. University of Oslo Institute of Informatics Research Report No. 89. ISBN 82-90230-88-5, 1985.
20. Owe O. Partial Logics Reconsidered: A Conservative Approach. Form. Asp. Comp. 3, 1-16, 1993.
21. Jonsson B. Simulations between Specifications of Distributed Systems. in: Proc. CONCUR-91, Baeten, Groote (eds.), Springer, 1991, 346-360, LNCS 527.
22. Abadi M., Lamport L. The Existence of Refinement Mappings. Theor. Comp. Sci. 82, 253-284, 1991.
23. Jonsson B. On Decomposing and Refining Specifications of Distributed Systems. in: Proc. REX Workshop, Stepwise Refinement of Distributed Systems, de Roever, Rozenberg (eds.), Springer, 1989, 361-385, LNCS 430.
24. Lynch N. Multivalued Possibilities Mappings. in: Proc. REX Workshop, Stepwise Refinement of Distributed Systems, de Roever, Rozenberg (eds.), Springer, 1989, 519-543, LNCS 430.
25. Merritt M. Completeness Theorems for Automata. in: Proc. REX Workshop, Stepwise Refinement of Distributed Systems, de Roever, Rozenberg (eds.), Springer, 1989, 544-560, LNCS 430.
26. Banach R., Poppleton M. Retrenchment and Punctured Simulation. in: Proc. IFM-99, Taguchi, Galloway (eds.), 457-476, Springer, 1999.
27. Derrick J., Bowman H., Boiten E., Steen M. Comparing LOTOS and Z Refinement Relations. in: Proc. FORTE/PSTV-9, 501-516, Chapman and Hall, 1996.
28. Bolton C., Davies J., Woodcock J. On the Refinement and Simulation of Data Types and Processes. in: Proc. IFM-99, Taguchi, Galloway (eds.), 273-292, Springer, 1999.