Christian Doppler Laboratory for
Automated Software Engineering

Seminar lecture

Code-Oriented Component Behavior Specification
Dr. Jan Kofron
Forschungszentrum Informatik, Universitšt Karlsruhe
Department of Software Engineering, Charles University Prague

Freitag, 12. Dezember 2008, 13:15, HS4

Assuring components compatibility plays a crucial role in developing a reliable component system; especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. In my talk, I will present the formalism of Threaded Behavior Protocols (TBP), which allows for both analysis of correctness and substitutability checking and reasoning about conformance of a specification and the implementation. The formalism was designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), and to be easy to use by a non-professional.

Dr. Jan Kofron is an assistant professor at the Charles University in Prague. He is currently on leave at the Forschungszentrum Informatik in Karlsruhe. Kofron's research interests include behavior modeling of software components, model checking, and reverse engineering of behavior aspects of software components. Currently, he is involved in the Q-ImPrESS project (Quality Impact Prediction for Evolving Service-Oriented Software), which is an European project involving 8 partners both from academia and industry focusing on modeling and prediction of quality aspects of service-oriented software architectures.