Computer Science Colloquium
Dr. Jan Kofron
Forschungszentrum Informatik, Universität Karlsruhe, Department of Software Engineering, Charles University Prague
TBP: Code-Oriented Component Behavior SpecificationFri 12.12.2008, 13:15, 60 minutes
AbstractAssuring 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), to be easy used by a non-professional.
BioDr. 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.
Invited by o. Univ.-Prof. Dr. Hanspeter Mössenböck
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).