Safety and liveness of component-oriented protocols: a feasibility study

Paurobally, Shamimabi, Bolotov, Alexander and Getov, Vladimir (2010) Safety and liveness of component-oriented protocols: a feasibility study. In: 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:


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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Rachel Wheelhouse
Date Deposited: 27 Jul 2012 11:24
Last Modified: 27 Jul 2012 11:24

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)