 |
 |
| Home | Search | Help |
|
@
THE
LOGIC
PROGRAMMING
GROUP
@
[ Previous Page | About DISI | About Genova | WWW index] Research ActivityLinear Logic ProgrammingWe have investigated the concept of object in Logic Programming and its semantic characterization, with particular attention to the characteristics and features of objects expressible using linear logic. Starting from proposals based on higher order Linear Logic Programming, such as LO, Forum, etc. we have developed a proof system, called Ehhf, to model state-based computations. The system is well-suited to model OO features like encapsulation, hiding, delegation and inheritance, and provides an integrated OO-LP environment. A prototypical interpreter is available. We have also investigated the application of Ehhf to the specification of obiect-oriented, deductive and active database systems. Current work includes studying the use of Ehhf as a powerful language for the high-level specification of multi-agent systems. The language has been integrated into a complex, software engineering oriented, development environment for MAS (see below). We are currently investigating semantics and verification issues in Linear Logic Programming. We have defined a framework for computing bottom-up fixpoint semantics of linear logic programs, and we are currently studying analysis and verification of programs by applying abstract interpretation and model-checking techniques.List of related papers Contraint Logic ProgrammingWe have studied the translation of (infinite)-state cuncurrent system specifications into CLP programs, and we have shown that runtime properties specified by temporal formulae can be expressed through the semantics of CLP programs. We are currently using CLP as a conceptual basis and also a practical implementation platform for model-checking of (infinite)-state systems. Examples of systems we are taking into consideration are parametrized synchronous systems, consisting of an (arbitrarily large) number of identical (finite-state) processes and one monitor. For instance, we have studied verification of safety properties of parametrized cache coherence protocols and of broadcast protocols.List of related papers CaseLP: Multi-Agent Systems for Software PrototypingIntegration and reusing of different kinds of information and software tools is a pressing necessity that more and more complex applications have to cope with. This fact and the distributed nature of many applications made it very appealing to use multi-agent technology. However, agent-based software still lacks well founded development methodologies, thus rapid prototyping and executable specifications could be very important for the realization of these applications. We are investigating how Logic Programming can be exploited to realize low-cost executable prototypes of multi-agent systems that integrate different kinds of legacy software into more complex applications.List of related papers Projects
Useful links
Visits since 1/1/2000 Please send suggestions and comments to: Viviana Mascardi mascardi@disi.unige.it Last Updated: 22 May 2003 |
