Olav Bunte: Validity of OIL component specifications

Event Details

With OIL one can model the desired behaviour of a system with a protocol specification and the actual behaviour of a component with a component specification. To choose what events to execute, an OIL component uses a scheduler with run-to-completion semantics. However, to avoid undesired behaviour concerning this scheduler, we need to put some validity requirements on an OIL component specification. In this presentation we show what requirements these are and how they can be checked on an OIL component specification.