Detail

Concurrent Constraint Programming for Time-Critical Systems

Many applications in, for example, robotics,
worldwide information networks, decision support systems,
distributed multimedia computing and deductive temporal databases
have time-critical aspects. However, programming concepts related to
time have been mainly developed in the context of imperative
programming. On the other hand a declarative programming style,
since it reduces the gap between specifications and programs,
facilitates the development, maintenance and modification of
programs. Declarative programming is supported both by functional
and logic languages. Logic languages have the further advantage that
they allow simple concurrent extensions and they can naturally be
integrated with constraint programming.

The
objective of this project is thus the investigation of time-critical
applications within the paradigm of concurrent logic and constraint
languages. More specifically, we aim at the design and development
of a declarative logic language based on extensions of concurrent
constraint programming. These extensions will consist of the
introduction of real-time control structures and constraint domais
for temporal reasoning. The design decisions will be based on the
particular applications we will consider. Furthermore, we aim at the
development of techniques for verification and analysis of programs,
extending the existing methodologies for logic language.
Many applications in, for example, robotics,
worldwide information networks, decision support systems,
distributed multimedia computing and deductive temporal databases
have time-critical aspects. However, programming concepts related to
time have been mainly developed in the context of imperative
programming. On the other hand a declarative programming style,
since it reduces the gap between specifications and programs,
facilitates the development, maintenance and modification of
programs. Declarative programming is supported both by functional
and logic languages. Logic languages have the further advantage that
they allow simple concurrent extensions and they can naturally be
integrated with constraint programming.

The
objective of this project is thus the investigation of time-critical
applications within the paradigm of concurrent logic and constraint
languages. More specifically, we aim at the design and development
of a declarative logic language based on extensions of concurrent
constraint programming. These extensions will consist of the
introduction of real-time control structures and constraint domais
for temporal reasoning. The design decisions will be based on the
particular applications we will consider. Furthermore, we aim at the
development of techniques for verification and analysis of programs,
extending the existing methodologies for logic language.