PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Jeffery K. Extended transition networks : a new approach to system development. Internal note IEI-B4-24, 1994.
 
 
Abstract
(English)
This paper describes progress on a research project that concentrates on the definition of a suitable framework for handling the process of designing Information Systems, ranging from informal to formal specifications. Our aim is to overcome the limits and drawbacks of the techniques actually used in information systems modelling. We propose a modelling technique which consists of a formalism, based on an extension of Transition Network, to express knowledge on data and process models of systems. We provide also an environment capable of supporting the design of the model in this formalism, permitting further elaboration of the model and providing validation and animation facilities.
Subject Formal methods
D.2.4 Software/Program Verification


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