A Formal Framework For Specifying Design Methods
1996; Wiley; Volume: 2; Issue: 3 Linguagem: Inglês
10.1002/(sici)1099-1670(199609)2
ISSN1099-1670
AutoresMark d’Inverno, G.R.R. Justo, Paul Howells,
Tópico(s)Formal Methods in Verification
ResumoThe main objective of this paper is to put forward a software process model for high-performance systems (HPS), and to present a formal framework to describe software design methodologies (SDM) for those systems. The framework consists of two main parts: the software process activities which characterize the development of HPS, and the components of the SDM (concepts, artifacts, representation and actions) which are essential for any methodology. The framework relates these two parts by identifying generic components of each activity in the software process that can be used to classify and evaluate SDM for HPS. Another important property of the framework is that it has been formally specified using the language Z. As a result, it is also used to derive formal specifications of SDM. This is illustrated in the paper by presenting part of the specification of oDM (an occam design method). © 1996 by John Wiley & Sons, Ltd. and Gauthier-Villars
Referência(s)