PROCALCULUS: Programação em Lógica e Álgebra de Processos
Autores
|
2255 |
273,963
|
|
|
2256 |
273,963
|
Informações:
Publicações do PESC
Neste trabalho apresentamos o ProCalculus, uma nova linguagem que, em seu escopo, mescla os conceitos do Prolog e do CCS com o intuito de se construir um formalismo capaz de bem representar estruturas lógicas e também simular estruturas cujos elementos, ou agentes, evoluem no tempo, dadas as suas definições. No ProCalculus, toda a estrutura do Prolog clássico é preservada de modo que este pode ser usado para representar estruturas lógicas estáticas. No entanto, nessa linguagem foram inseridas as idéias de ação e comunicação, fazendo com que predicados comportem-se como os agentes estudados no CCS. Este trabalho enfoca a simulação de sistemas que evoluem no tempo e que, portanto, tem a estrutura formal do CCS.
In this work we present the ProCalculus, a new language that, in its purpose, it blend the concepts of Prolog and CCS, having the intention of to build a formalism that can represent logical structures and to simulate structures which elements, or agents, evolve in the time, given their definitions. In the ProCalculus, all of the structure of the classical Prolog is preserved so that it can be used to represent statical logical structures. However, in this language was inserted the idea of action and communication, doing that predicates behave like studied agents of CCS. This work skip the simulation of systems that evolve in the time, therefore, they have the formal structure of CCS.