Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2011 Informatik schafft Communities P-192, 308-308 (2011).

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Description of protocol rules

Andreas Speck , Sören Witt and Sven Feja


Protocols are formal models which may be used to define the interactions within processes. Moreover, protocols may be the base of process improvement e.g. by applying game theory. In the paper we focus on models of interactions between system components (which we name versions) and the possibilities to verify that the version systems fulfill the rules (specifications) of the protocols. First, we consider the static relationships between the versions as base. Second, we discuss the dynamic interactions between these versions and present a model checking-based approach to verify the interaction specifications of the protocols. Such verified interaction sequences (or processes) are a starting point of optimizations by game theory approaches.

Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-88579-286-4

Last changed 21.02.2014 20:08:03