Threaded Behavior Protocols

Staff - Faculty of Informatics

Start date: 12 March 2010

End date: 13 March 2010

The Faculty of Informatics is pleased to announce a seminar given by Ondrej Sery

DATE: Friday, March 12th, 2010
PLACE: USI Università della Svizzera italiana, room SI-004 Informatics building (Via G. Buffi 13)
TIME: 11.00

The talk will present the formalism of Threaded behavior protocols. The formalism is specifically designed for behavior specification of software components. With the individual components annotated by their protocols, compatibility of a set of components as well as their substitutability can be analyzed in an automated way. Threaded behavior protocols stem from earlier versions of behavior protocol formalisms. The major difference is an explicit notion of threads and an overall shift in the level of abstraction closer to the actual implementation languages (e.g., Java).
Threaded behavior protocols are being developed in the context of the SOFA2 component system (, however, the formalism is not tied to it and could be used also in other component systems with communication based on synchronous method invocation. Currently, the model checker for threaded behavior protocols is under development.

Ondrej graduated in Computer Science in 2006. Currently, he is pursuing a Ph.D. in the field of program analysis and code model checking in the Distributed Systems Research Group at Charles University in Prague. He has done research in code model checking using Blast and Java PathFinder and also in behavior specification and verification of software components.

HOST: Prof. Natasha Sharygina