Combining Specification Techniques for Processes, Data and Time
Prof. Dr. Ernst-Rüdiger Olderog
University of Oldenburg
Time: Tuesday, September 4, 2001, 13:15
Place: Uppsala University, Information technology room 1:146
Complex computing systems exhibit various behavioural aspects, for example
communication between components, state transformation inside components,
and real-time constraints on the communications and state changes. Formal
specification techniques for such systems have to be able to describe all these
Unfortunately, a single specification technique that is well suited for all these
aspects is not available. Instead one finds various specialised techniques that are
very good at describing individual aspects of system behaviour. This observation
has led to research into the combination and semantic integration of
In this talk we present a combination of specification techniques for processes,
data and time: CSP, Object-Z and Duration Calculus. The emphasis is on a smooth
integration of the underlying semantic models. Also some ideas on verifying
properties of such combined specifications are discussed.
Place: Information technology, Uppsala University
Room 1113 is in building 1, floor 1, room 13
(in the southern part of the building).
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 14.00.
Everyone is welcome !
Updated 04-Sep-2001 10:53 by Roland Grönroos
e-mail: info -at- astec.uu.se