Applying event-B atomicity decomposition to a multi media protocol

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

Volumn 6286 LNCS, Issue , 2010, Pages 89-104

  Salehi Fathabadi, Asieh ^a   Butler, Michael ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Atomicity Decomposition; Event B; Refinement; Structured Event Refinement

Indexed keywords

ATOMICITY DECOMPOSITION; DECOMPOSITION TECHNIQUE; DIAGRAMMATIC NOTATION; EVENT REFINEMENTS; EVENT-B; MEDIA CHANNEL; MULTI-MEDIA; REFINEMENT;

FORMAL METHODS;

EID: 78650227400     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17071-3_5     Document Type: Conference Paper

References (13)

1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Butler, M.: Incremental Design of Distributed Systems with Event-B. In: Marktoberdorf Summer School 2008 Lecture Notes. IoS (November 2008)
3. de Willem Roever, P., Engelhardt, K.: Data Refinement: Model-oriented Proof Theories and their Comparison Cambridge Tracts in Theoretical Computer Science, vol. 46. Cambridge University Press, Cambridge (1998)
4. Rezazadeh, A., Butler, M., Evans, N.: Redevelopment of an Industrial Case Study Using Event-B and Rodin. In: BCS-FACS Christmas 2007 Meeting - Formal Method. In: Industry (2007)
5. Abrial, J.-R., Butler, M., Hallerstede, S.: Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer, STTT (2010)
6. Abrial, J.-R.: Refinement, Decomposition and Instantiation of Discrete Models. In: Abstract State Machines, pp. 17-40 (2005)
7. Butler, M.: Decomposition Structures for Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, Springer, Heidelberg (2009)
8. Abrial, J.R.: The B-book: assigning programs to meanings. Cambridge University Press, New York (1996)
9. Back, R.-J., Kurki-Suonio, R.: Distributed cooperation with action systems. ACM Trans. Program. Lang. Syst. 10(4), 513-554 (1988)
10. Hallerstede, S.: Justifications for the Event-B Modelling Notation. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 49-63. Springer, Heidelberg (2006)
11. Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)
12. Zave, P., Cheung, E.: Compositional Control of IP Media. IEEE Trans. Software Eng. 35(1), 46-66 (2009)
13. Jackson, M.A.: System Development. Prentice-Hall, Englewood Cliffs (1983)