MENDELS: Concurrent Program Synthesis System Using Temporal Logic

A concurrent program synthesis system called MENDELS is proposed. A concurrent programming language MENDEL/87, that is a target language for program synthesis, is also provided. MENDELS consists of two parts: (1) retrieving and interconnecting reusable components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDELS has been implemented in PROLOG on a PROLOG machine. MENDELS is a subsystem of the intelligent programming environment MENDELS ZONE.

[1]  Hiroshi Nakashima,et al.  Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI) , 1984, Fifth Generation Computer Systems.

[2]  Tamura Shinsuke,et al.  Intellectual Distributed Processing System Development , 1987 .

[3]  Masahiro Fujita,et al.  Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog , 1984, Fifth Generation Computer Systems.

[4]  Pierre Wolper,et al.  Synthesis of Communicating Processes from Temporal Logic Specifications , 1981, TOPL.

[5]  Osamu Katai,et al.  Construction of Scheduling Rules for Asynchronous, Concurrent Systems Based on Tense Logic , 1982 .

[6]  Edmund M. Clarke,et al.  Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.

[7]  Harvey M. Deitel,et al.  An introduction to operating systems , 1984 .

[8]  Pierre Wolper,et al.  Expressing interesting properties of programs in propositional temporal logic , 1986, POPL '86.

[9]  F. de P. Hanika,et al.  Introduction to Operating System Design , 1976 .

[10]  Takashi Chikayama,et al.  Unique Features of ESP , 1984, FGCS.

[11]  Tamura Shinsuke,et al.  Development of Intellectual Distributed Processing System , 1987 .

[12]  Ben C. Moszkowski,et al.  Executing temporal logic programs , 1986, Seminar on Concurrency.

[13]  Shinichi Honiden,et al.  MENDEL: Prolog Based Concurrent Object Oriented Language , 1986, COMPCON.

[14]  Sten F. Andler,et al.  Predicate path expressions , 1979, POPL.