DEIS - Università di Bologna - L I A - Laboratorio d'Informatica Avanzata

Paradigm Integration

Integration between Logic and Object-Oriented Programming
Object-Based Constraint Languages and Models

Integration between Logic and Object-Oriented Programming

General Description

The aim of this research is to investigate how to extend logic programmimg with object-oriented concepts and mechanisms without loosing declarative flavor and model-theoretic semantics. A well-founded semantic framework for logic objects has been defined in by taking advantage from existing semantics for modularity in logic programming. The expressive power of contextual programming in an object-oriented perspective has been investigated, and extended accordingly. In particular, it has been exploited by the CSM system to introduce structured logic theories acting as classes with inheritance, or as instances with an explicit name (identity) and incapsulated, mutable state.

Participants
Funded by
  • 1992-1994: Italian CNR Applied Project "Sistemi Informatici e Calcolo Parallelo", Subproject 4 New Programming Languages

Object-Based Constraint Languages and Models

General Description

The Object-Based approach constitutes a quite effective conceptual tool for domain modelling, allowing domain abstractions to be captured and represented separatedly in a program, and to be composed to build systems based on component interaction. Many different computational paradigm (Sequential OOP, Multi-Agent Systems, Component-Based Architectures, etc.) are actually based on this very approach.
The main aim of this research is to explore how different notions of constraint can be used

  • to define, design, and develop Object-Based systems, like in the case of interaction constraints for coordination architectures;
  • to deal with Object-Based computations, where intra- and inter-object relation are expressed through constraints, and the computation evolution is driven by them.
In addition, we intend to investigate the impact of constraints on expressive power of the languages as well as on computational efficiency of the systems.

Keywords
  • Constraint Programming
  • Component-Based Architectures
  • Object-Oriented Data Model
  • Multi-Agent Systems
Participants
Funded by
  • MURST 40%
  • MURST 60%
About this Server
About this Server
Mail to DocMaster
DocMaster
Mail to WebMaster
LIA WebMaster
[LIA Research] [LIA Home] [DEIS Research] [DEIS Home] [Alma Mater Home]