Sciweavers

Share
B
2007
Springer

Time Constraint Patterns for Event B Development

9 years 8 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; from standard documents, we derive temporal requirements to solve the contention problem and we propose a method for introducing time constraints using a pattern. The pattern captures time constraints in a generic event B development and it is applied to the IEEE 1394 case study. Key-words: event B, pattern, distributed systems, refinement.
Dominique Cansell, Dominique Méry, Joris Re
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where B
Authors Dominique Cansell, Dominique Méry, Joris Rehm
Comments (0)
books