RDLE: a real-time distributed logic environment

Abstract

RDLE is a real-time distributed environment based on a concurrent logic language. Because of the interactive features of distributed systems, they cannot be described in usual logical or functional terms and it is necessary to use reactive languages. There is a class of logic languages with a reactive behavior named concurrent logic languages which are well suited for this kind of problem. The authors have extended one of these languages (Parlog) with real-time and communications primitives. A new approach is proposed for distributed programming based on Parlog and oriented to coarse granularity parallelism. The environment allows distributed process control in a transparent way. The main features of the environment and some implementation issues are described. A tool for translating extended state machine specifications to RDLE is outlined. This will allow the creation of executable prototypes on distributed computer systems and the validation of complex system specifications in an easy way.<>