Skip to main content
COVID-19 information and screening Learn how we’re keeping our campus community safe, healthy and engaged during our gradual return to campus.
Note: The university’s mandatory vaccine directive is now in effect. Learn more about vaccine requirements.
Ontario Tech acknowledges the lands and people of the Mississaugas of Scugog Island First Nation.

We are thankful to be welcome on these lands in friendship. The lands we are situated on are covered by the Williams Treaties and are the traditional territory of the Mississaugas, a branch of the greater Anishinaabeg Nation, including Algonquin, Ojibway, Odawa and Pottawatomi. These lands remain home to many Indigenous nations and peoples.

We acknowledge this land out of respect for the Indigenous nations who have cared for Turtle Island, also called North America, from before the arrival of settler peoples until this day. Most importantly, we acknowledge that the history of these lands has been tainted by poor treatment and a lack of friendship with the First Nations who call them home.

This history is something we are all affected by because we are all treaty people in Canada. We all have a shared history to reflect on, and each of us is affected by this history in different ways. Our past defines our present, but if we move forward as friends and allies, then it does not have to define our future.

Learn more about Indigenous Education and Cultural Services

April 6, 2011

Speaker: Dr. Juergen Dingel, School of Computing, Queen's University.

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).