The main interest of the cooperation is to explore how formal methods
can improve the quality of functional specifications without differing
too much from description formalisms used in industry so far. This
investigation is performed using a specification of interactive video
services (``Video on Demand'') developed by Siemens Öffentliche Netze.
More detailed, the following topics will be considered:
The result of this cooperation should not only consist of the development
of a formal functional specification of the interactive video service;
special emphasis lies on the analysis of this formal development regarding
its feasability requirements as well as its economity.
- A formal foundation of those diagram and table representations
used in the actual specification
- Possible Approaches to a semantical analysis of a specification,
especially consistency checks
- A formal refinement notion for specifications allowing the
distribution of the functionality of the system on physical,
Several project deliveries for the different project phases are available
on request. Furthermore, the project result is reported in an article
submitted and accepted at the FME'96.
A follow-up project focusing on the tool support for tool-based
specification development is currently planned.