An extension of event B for developing grid systems

Lecture Notes in Computer Science

Volumn 3455, Issue , 2005, Pages 142-161

  Boström, Pontus ^a   Waldén, Marina ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

CLIENT SERVER COMPUTER SYSTEMS; COMMUNICATION; COMPUTER ARCHITECTURE; INFORMATION ANALYSIS; LARGE SCALE SYSTEMS; RESOURCE ALLOCATION; SYNCHRONIZATION;

COMPUTATIONAL GRIDS; COMPUTATIONAL RESOURCES; EVENT B; FORMAL REASONING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 24644490881     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11415787_9     Document Type: Conference Paper

References (20)

1. J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. J. R. Abrial. Event Driven Sequential Program Construction, 2001. http://www.atelierb.societe.com/ressources/articles/seq.pdf. (accessed 13.01.2005)
3. J. R. Abrial and L. Mussat. Event B Reference Manual, 2001. http://www.atelierb.societe.cozn/ressources/evt2b/eventb_reference_manual.pdf. (accessed 13.01.2005)
4. N. Aguirre, J. Bicarregui, T. Dimitrakos and T. Maibaum. Towards Dynamic Population Management of Abstract Machines in the B Method. In D. Bert, editor, Proceedings of the Third international conference of B and Z users: ZB2003. LNCS 2651. Turku, Finland, pp. 528-545. Springer-Verlag, 2003.
5. R. J. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing, pp. 131-142, 1983.
6. R. J. R. Back and K. Sere From modular systems to action systems. In Software Concepts and Tools, 17:26-39, 1996.
7. M. Butler and M. Waldén Parallel programming with the B Method. Chapter 5 in E. Sekerinski and K. Sere (eds.) Program Development by Refinement - Case Studies Using the B Method, pp. 183-195. Springer-Verlag, 1998.
8. E. W. Dijkstra A Discipline of Programming. Prentice-Hall International, 1976.
9. I. Foster, C. Kesselman and S. Tuecke. The Anatomy of the Grid: Enabling Scalable Virtual Organizations. The International Journal of Supercomputer Applications, 15(3), 2001.
10. I. Foster, C. Kesselman, J. Nick and S. Tuecke. The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Technical report, Argonne National Laboratory, 2002. http://www.globus.org/ research/papers/ogsa.pdf. (accessed 13.01.2005)
11. Globus Toolkit. The Globus Alliance, 2004. http://www.globus.org/. (accessed 13.01.2005)
12. K. Czajkowski, et. al. Open Grid Services Infrastructure, 2003. http://www-unix.globus.org/toolkit/draft-ggf-ogsi-gridservice-33_2003-06-27.pdf. (accessed 13.01.2005)
13. E. J. Hedman, J. N. Kok and K. Sere. Coordinating Action Systems. Theoretical Computer Science, 240:91-115. Elsevier Science, 2000.
14. G. Mair and A. Villazón. Implementing a Distributed Master/Slave Grid Service with Globus Toolkit 3 (GT3). http://dps.uibk.ac.at/~gregor/mandel. pdf, 2003. (accessed 13.01.2005)
15. R. Pitkänen. A Specification-Driven Approach to Development of Enterprise Systems. In Proceedings of NWPER'2004 - 11th Nordic Workshop on Programming and Software Development Tools and Techniques, TUGS General Publication 34. Turku, Finland, 2004.
16. O. Rolland and T. Muntean. Refining Open Distributed Systems to CORBA. In Proceedings of RCS'02- International workshop on refinement of critical systems: methods, tools and experience. Grenoble, France, 2002.
17. C. Snook and M. Waldén. Use of U2B for specifying B action systems. In Proceedings of RCS'02- International workshop on refinement of critical systems: methods, tools and experience. Grenoble, France, 2002.
18. K. Sere and M. Waldén. Data Refinement of Remote Procedures. Formal Aspects of Computing, 12(4):278-297, 2000.
19. J. C. Voisinet, B. Tatibouet and A. Hammand. JBTools: An experimental platform for the formal B Method. In Proceedings of the inaugural conference on the principles and practice of programming and Proceedings of the second workshop on intermediate representation engineering for virtual machines. National University of Ireland, 2002
20. M. Waldén and K. Sere. Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design, 13:5-35, 1998.