Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Gnesi S., Latella D. A deductive database support to the specification of concurrent systems. In: SOFSEM'96 : Theory and Practice of Informatics. 23rd Seminar on current trends in theory and practice of informatics. (Mylovy, Czech Republic, 1996). Proceedings, pp. 309 - 316. K.G. Jeffery, J. Kral , M. Bartosek (eds.). (Lecture Notes in Computer Science, vol. 1175). Springer, 1996.
We present an approach to the specification of concurrent systems, by means of a deductive database management system. The approach is based on the synthesis of logic formulas: starting from a temporal logic formula, that represents the requirements of a system, a general model for such formula, is derived. From this model, all the concurrent systems satisfying the formula can be generated. A graphical representation of the model is given through a deductive database management system GEDBLOG. Moreover, we show that this model can be used to verify when a given system, obtained elsewhere, is in agreement with its requirements expressed by logical specifications.
DOI: 10.1007/BFb0037412

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