Integrating Formal Description Techniques

Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represent different views of the same system, only together forming a complete specification. Here, the question of the integration of those description techniques and views becomes a major issue, raising questions of consistency and completeness. In this paper, we present an approach to ensuring conceptual and semantic consistency, influenced by experience gained from a first implementation of the AUTOFOCUS tool prototype. Finally, we show how this approach forms the basis for the definition of specification modules.

• Type: Conference
• Year: 1999
• Where: FM
• Authors: Bernhard Schätz, Franz Huber
• Keywords: Description Techniques, FM 1999, Formal Methods, Graphical Description Techniques, Multiple Description Techniques