Computer Science Colloquium
Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht
Dr. Jan Kofron
Forschungszentrum Informatik, Universität Karlsruhe, Department of Software Engineering, Charles University Prague
über das Thema:
TBP: Code-Oriented Component Behavior Specification
Zeit: 2008-12-12 13:15:00.0, 60 Minuten
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), to be easy used 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.
Einladender: o. Univ.-Prof. Dr. Hanspeter Mössenböck