Paurobally, Shamimabi and Bolotov, Alexander and Getov, Vladimir (2010) Safety and liveness of component-oriented protocols: a feasibility study. In: Bolotov, Alexander, (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010. University of Westminster.
Full text not available from this repository.
Official URL: http://www.csc.liv.ac.uk/~clare/ARW/year/2010/ARW-...
Interaction in both agent-based and component-based architectures is facilitated by sharable, verified and unambiguous protocols with desirable properties. An interaction protocol may be expressed as a logical theory e.g. dynamic logic, joint intention theory or event calculus, thereby enabling the proof of its properties and its correctness. This paper focuses on new joint work in specifying and proving properties such as safety and liveness, of interaction protocols, in componentbased frameworks. A safe and sound interaction allows no unpredictable states and transitions, and states allowed for the behaviour are only those that are defined by the protocol. Other properties such as termination, soundness, completeness, stability and fairness can be specified and verified for such protocols.
|Item Type:||Book Section|
|Research Community:||University of Westminster > Electronics and Computer Science, School of|
|Deposited On:||27 Jul 2012 12:24|
|Last Modified:||27 Jul 2012 12:24|
Repository Staff Only: item control page