PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ciaccio G., Castelli D. Una tecnica di specifica basata sull'integrazione di Sadt e Z. Internal note IEI-B4-14, 1995.
 
 
Abstract
(English)
Structured specification techniques are based on informal graphical notations which perform well in managing the complexity of the task of requirement specification; specifications written using such notations are easy to "talk about" but hard to reason about and to be automatically checked, due to a lack of formal semantics in the notations. Conversely, formal specifications could be in principle reasoned about, but are hard to understand and to "talk about", due to the weakness of the structuring mechanisms and to their not very appealing mathematical flavour. The integration of structured and formal specification techniques is emerging as a strategy for bringing together the advantages of both classes of techniques while reducing their drawbacks. This work aims at a possible integration of a well known structured specification technique, namely SADT, with a well known formal specification language, namely Z. The goal is achieved through a subset of SADT, called ASA, whose formal semantics is easily provided in Z. A normal form of ASA specifications is shown, and a translation of SADT into ASA is provided.
Subject C.2.4 Distributed Systems
H.3.7 Digital Libraries


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional