Galleries and Institutions
1985; Volume: 14; Issue: 191 Linguagem: Inglês
10.7146/dpb.v14i191.7463
ISSN2245-9316
Autores Tópico(s)Service-Oriented Architecture and Web Services
Resumo<p>This preprint has four parts:</p><ol> <li> Unified theory of knowledge representation (presented at AIMSA 84 conference in Varna). </li><li> Unified theory for modal, dynamic, temporal and process logics (presented at PUC conference in Rio de Janeiro). </li><li> Unified theory for logical programming and semantic representation (presented at Copenhagen workshop). </li><li> Unified theory of languages, models and logics. </li></ol> The ''unified theory'' in the titles of each part refers to the theory of galleries, a development of the theory of institutions. These theories seem to be relevant in many areas of computer science: 1 - 3 are applications to particular areas and papers on: <ul> <li> Processes, event systems, petri nets and other forms of parallelism </li><li>specification, program development and design languages </li></ul> are under preparation.<p>The current status of the general theory is given in part 4, but it is not clear how this theory should be developed further.</p>
Referência(s)