Title :
Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol
Author :
Liu, Lin ; Billington, Jonathan
Author_Institution :
Univ. of South Australia, Mawson Lakes
Abstract :
Parametric protocol verification is a challenging r-e- search topic. Obtaining symbolic representations of service and protocol languages of a protocol enables parametric verification of the protocol against its service specification. In this paper, we exploit recurrent structural regularities of state spaces to obtain symbolic representations of protocol languages for the revised Capability Exchange Signalling (CES) protocol. This leads to conjectures on a recursive expression for the revised CES protocol language and for the inclusion of the revised CES protocol language in the CES service language, for any values of the parameters. This result also demonstrates the promising future of our approach to finding symbolic representations for service and/or protocol languages.
Keywords :
Web services; formal verification; signalling protocols; parametric protocol verification; protocol languages; revised capability exchange signalling protocol; service specification; symbolic language representations; Application software; Australia; Automata; Concurrent computing; Distributed computing; Information science; Lakes; Petri nets; Protocols; State-space methods;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2007. PDCAT '07. Eighth International Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7695-3049-4
DOI :
10.1109/PDCAT.2007.68