HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Designing event-driven systems by combining coordination and refinement

Dominique Cansell 1 Dominique Méry 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The coordination paradigm improves the development of concurrent/distributed solutions, because it provides a simple way to communicate between processes via a data structure called a tuple space. Coordination principles and event-driven system development principles can be fruitfully combined to develop systems and to analyse the development of different solutions of a given problem. Benefits are inherited from both frameworks : the B event-driven approach provides the refinement and the coordination framework provides a simple computation model. The sorting problem is redeveloped in the B event-driven method using coordination principles for algorithms and two programming paradigms are applied ie merging and splitting list to sort.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 9:41:39 AM
Last modification on : Friday, February 4, 2022 - 3:29:59 AM


  • HAL Id : inria-00099835, version 1



Dominique Cansell, Dominique Méry. Designing event-driven systems by combining coordination and refinement. 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments - RCS'03, 2003, Turku, Finland. ⟨inria-00099835⟩



Record views