PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aquilino D., Asirelli P., Jeffery K., Kalmus J. Representation of constraints in extended transition network for system modelling. Internal note IEI-B4-65, 1992.
 
 
Abstract
(English)
We inspect the issues of using extended transition networks as a framework for representing systems development activity. In particular, joint work between the two teams authoring this paper is illustrated. The work on the extensions to the transition network as required for systems development (both theoretical and practical aspects) has progressed jointly with work on the further development of Gedblog; the deductive Data Base Management System with graphic leatures developed at IEI-CNR. Many aspects of systems development methods have been discussed; this paper concentrates on the representation of different kinds of constraints, as well as on the definition of a basic framework for semantics interpretation.
Subject


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