A concurrent programming model is provided which is oriented to data stream, software reuse, and prototyping. Based on this model, a program synthesis method is described that consists of two parts: (1) retrieving and interconnecting components from I/O data specifications and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification. MENDEL/87, which is a Prolog-based concurrent object-oriented language, is used as the programming language in this model. This synthesis method has been implemented using Prolog on a Prolog machine.
|Title of host publication||Proceedings - IEEE Computer Society's International Computer Software & Applications Conference|
|Number of pages||10|
|Publication status||Published - 1987 Dec 1|
ASJC Scopus subject areas