Logic Object-Oriented Model of Asynchronous Concurrent Computations
نویسنده
چکیده
In this paper, we consider the model of concurrent computations developed for logic programming of Internet agents. The purpose of creating this model of computations is to ensure the mathematical strictness of searching and recognizing information on the Internet. In the developed model of computations, the interacting concurrent processes have classical model-theoretic semantics. The model of computations is based on the new principle of interaction of processes, which do not require delay for synchronization. On the basis of this model, we have developed and implemented the concurrent object-oriented logic language and also the tools for visual logic programming of Internet agents. Received February 28, 2003
منابع مشابه
Proofs, Concurrent Objects, and Computations in a FILL Framework
There are several major approaches to model concurrent computations using logic. In this context, one aim can be to achieve diierent forms of programming as logic, object-oriented or concurrent ones in a same logical language. Linear logic seems to be well-suited to describe computations that are concurrent and based on state transitions. In this paper, we propose and analyze a framework based ...
متن کاملAsynchronous Times Multimedia Environments Based on the Coordination Paradigm
This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations expressed in a certain coordination formalism. More to the point, we propose the development of multimedia programming frameworks based on the declarative logic programming setting...
متن کاملModelling and implementing asynchronous timed multimedia frameworks using coordination principles
This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations expressed in a certain coordination formalism. More to the point, we propose the development of multimedia programming frameworks based on the declarative logic programming setting...
متن کاملSupporting Timing-Channel Free Computations in Multilevel Secure Object-Oriented Databases
In an earlier paper [3], Jajodia and Kogan proposed a message lter approach to enforcing mandatory security in multilevel object-oriented databases. The key idea in the message lter model is that all information exchange be permitted solely through messages and that security be enforced by a message lter component that mediates these messages. In a recent paper [8] the authors proposed a kernel...
متن کاملThe Oz Programming Model
The Oz Programming Model (OPM) is a concurrent programming model subsuming higher-order functional and object-oriented programming as facets of a general model. This is particularly interesting for concurrent object-oriented programming, for which no comprehensive formal model existed until now. The model can be extended so that it can express encapsulated problem solvers generalizing the probl...
متن کامل