Reasoning about action systems using the B-Method

Formal Methods in System Design

Volumn 13, Issue 1, 1998, Pages 5-35

  Walden M ^a   Sere, K ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Action systems; Distributed systems; Superposition refinement; Tools and techniques

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; PROJECT MANAGEMENT; SOFTWARE ENGINEERING; PARALLEL PROCESSING SYSTEMS;

ACTION SYSTEMS; CALCULUS; SUPERPOSITION REFINEMENT; TOOLS AND TECHNIQUES; ACTION SYSTEM; B METHOD; REFINEMENT CALCULUS;

SYSTEMS ANALYSIS; PARALLEL ALGORITHMS;

EID: 0032072212     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008688421367     Document Type: Article

References (21)

1. J.-R. Abrial. The B Method for large software: Specification, design and coding. In Proc. of VDM'91 Formal Software Development Methods, Vol. 2. LNCS 552, Springer-Verlag, pages 398 - 405, Noordwijkerhout, the Netherlands, October 1991.
2. J.-R. Abrial. The B-Book. Cambridge University Press, Cambridge, Great Britain, 1996.
3. J.-R. Abrial. Extending B without changing it (for developing distributed systems). In Proc. of the First Conference on the B-Method. pages 169 - 190, IRIN, Nantes, France, November 1996.
4. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proc. of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. ACM, pages 131-142, Montreal, Quebec, Canada, August 1983.
5. R. J. R. Back and K. Sere. Superposition refinement of reactive systems. Formal Aspects of Computing, 8(3):324-346, 1996.
6. R. J. R. Back and K. Sere. From action systems to modular systems. In Proc. of Formal Methods Europe (FME'94): Industrial Benefit of Formal Methods. LNCS 873, pages 1-25, Barcelona, Spain, October 1994.
7. R. J. R. Back and J. von Wright. Trace refinement of action systems. In Proc. of CONCUR'94. LNCS 836, pages 367 - 384, Uppsala, Sweden, August 1994. Springer-Verlag.
8. M. J. Butler. An approach to the design of distributed systems with B AMN. In the Proc. of the 10th International Conference of Z Users (ZUM'97), University of Reading, UK, April 1997. Also, University of Southampton, Declarative Systems & Software Engineering Technical Reports, DSSE-TR-96-6, September 1996.
9. M. J. Butler. An approach to the design of distributed systems with B AMN. In the Proc. of the 10th International Conference of Z Users (ZUM'97), University of Reading, UK, April 1997. Also, University of Southampton, Declarative Systems & Software Engineering Technical Reports, DSSE-TR-96-6, September 1996.
10. M. J. Butler and M. Waldén. Distributed System Development in B. In Proc. of the First Conference on the B-Method. pages 155 - 168, IRIN, Nantes, France, November 1996.
11. K. M.Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.
12. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, Englewood Cliffs, New Jersey, 1976.
13. N. Francez and I. R. Forman. Superimposition for interacting processes. In Proc. of CONCUR '90 Theories of Concurrency: Unification and extension. LNCS 458, pages 230-245, Amsterdam, the Netherlands, August 1990.
14. H. P. Hofstee, J. J. Lukkien and J. L. A. van de Snepscheut. A distributed implementation of a task pool. In Proc. of Research Directions in High-level Parallel Programming Languages. LNCS 574, pages 338-348, Mont Saint-Michel, France, June 1991.
15. S. M. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, April 1993.
16. T. Långbacka, R. Rukš and J. von Wright. TkWinHOL: A tool for doing window inference in HOL. Series A-160, Reports on Computer Science and Mathematics, Åbo Akademi University, Finland, 1995.
17. D.S. Neilson and I. H. Sorensen. The B-Technologies: A system for computer aided programming. Including the B-Toolkit User's Manual, Release 3.2. B-Core (UK) Ltd., Oxford, U.K., 1996.
18. T. Reps and T. Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York, 1988.
19. K. Sere, and M. Waldén Verification of a distributed algorithm due to Chu. Series A-156, Reports on Computer Science and Mathematics, Åbo Akademi University, Finland, 1994. Abstract appeared in Proc. of the 13th Annual Symposium on the Principles of Distributed Computing, page 391, Los Angeles, USA, August 1994.
20. K. Sere, and M. Waldén Verification of a distributed algorithm due to Chu. Series A-156, Reports on Computer Science and Mathematics, Åbo Akademi University, Finland, 1994. Abstract appeared in Proc. of the 13th Annual Symposium on the Principles of Distributed Computing, page 391, Los Angeles, USA, August 1994.
21. M. Waldén Formal derivation of a distributed load balancing algorithm. Series A-172, Reports on Computer Science and Mathematics, Åbo Akademi University, Finland, 1995.