April 6, 2011
Title: Component-based development of reactive systems using protocol state machines and model checking
Abstract: Interfaces represent abstractions which are supposed to facilitate the correct use of an entity by listing the data and operations that the entity makes available and separating its externally visible parts from the internal ones. Arguably, this notion is one of the great success stories in computer science. To further increase the utility of interfaces, numerous proposals have been made to enrich them with more specific information about how the interface elements are to be used.
In this talk, I will discuss the potential of protocol state machines (PSMs) for facilitating the model-driven development of component-based systems in general and of reactive systems in particular. I will summarize our recent work on using model checking for determining the compatibility of a component with respect to interface specifications using PSMs.
Biography: Dr Juergen Dingel joined the School of Computing at Queen's University in the winter of 2000. He received an MSc in Computer Science from Berlin University of Technology in 1992, an MSc in Pure and Applied Logic in 1994 and a PhD in Computer Science in 1999 from Carnegie Mellon University. He is on the editorial board of Software and Systems Modeling (SoSyM) and the PC Co-chair of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). At Queen's University, he leads the Modeling and Analysis in Software Engineering Group (MASE).