Structured Specification with Processes and Data

Photograph of Liam O'Reilly

Liam O'Reilly


The integration of processes and data is a long standing research topic. In this talk, we discuss this integration in the context of the language CSP-CASL, where CSP is used to describe processes aspects and CASL is used to describe data aspects.

Our specific questions are: Is it possible to make structuring operations available for building up complex specifications in a compositional way? What is an appropriate notion of refinement in such a setting? Finally, is it possible to reason on such specifications in a modular way? Based on institution theory, we develop a framework for CSP-CASL in which all three questions have positive answers.

Thursday 15th March 2012, 14:00
Far-134 (Video Conferencing Room)
Department of Computer Science