Paper Info
Title
Applying Event-B atomicity decomposition to a multi media protocol
Abstract
Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support complex refinement in Event-B. This paper presents an evaluation of Event-B atomicity decomposition technique in modeling a multi media case study with the diagrammatic notation. Firstly the existing technique and the diagrammatic notation are shown. Secondly an evaluation is performed by developing a model of a Media Channel System. A Media Channel is established between two endpoints for transferring multi-media data. Finally some extensions to the existing diagrammatic notation are proposed and applied to the multi-media case study.
Year
Venue
Keywords
2009
formal methods
event-b refinement,multi media case study,complex refinement,existing diagrammatic notation,media channel,existing technique,event-b atomicity decomposition technique,media channel system,event-b formal method,multi media protocol,diagrammatic notation,formal method
Field
DocType
Volume
Atomicity,Notation,Diagrammatic reasoning,Computer science,Communication channel,Theoretical computer science,Formal methods,Structuring,Multimedia
Conference
6286
ISSN
Citations 
PageRank 
0302-9743
7
0.62
References 
Authors
7
2
Name
Order
Citations
PageRank
Asieh Salehi Fathabadi1488.14
Michael Butler21768104.74