Combination of Description Techniques

SFB 501

Project C1

Formal Description Techniques

Goals

When developing a large system many descriptions of properties of the system and its environment have to be produced. It can be expected, that different description techniques have to be used. To support the simultaneous use of different description techniques the project C1 investigates the combination of several description techniques.

Work done

Even when describing a single aspect of one system it makes sense to use different description techniques. In this case it is possible to provide for each single property an adequate means to describe it. In addition, the transition between description on different abstractions levels can be made smoother. We combined the formal description techniques statecharts and TLA, which are suitable to describe the behavior of reactive systems. Especially, we investigated, under which conditions such a description is consistent.

Staff

Thomas Deiß

Publications

Deiß, T.:
An Approach to the Combination of Formal Description Techniques: Statecharts and TLA, accepted for publication at Workshop `Integrated Formal Methods 1999', York.
Deiß, Thomas: Combining a state based formalism with temporal logic, SFB 501, internal report 05/96, University of Kaiserlautern, 1996.
- Abstract
- Download full paper (281 Kbytes)
Schowalter, Andreas: Modellierung einer Produktionszelle in einer Kombination aus statecharts und TLA.. Projektarbeit, 1997.

Further Links

Project C1

SFB501

Department of Computer Science

University of Kaiserslautern

Thomas Deiß

Last modified: Wed May 5 18:23:20 MET DST 1999