Mendels: Concurrent program synthesis system using temporal logic

  • Naoshi Uchihira
  • Kazunori Matsumoto
  • Shinichi Honiden
  • Hideo Nakamura
Program Synthesis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 315)


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.


Temporal Logic Concurrent Program Schedule Rule Software Reuse Reusable Component 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [An79]
    Andler, S., Predicate Path Expres-sion, Proc. of ACM 6th POPL, 1979.Google Scholar
  2. [Ch84]
    Chikayama, T., Unique features of ESP, Proc. of the international conference on FGCS1984, 1984.Google Scholar
  3. [GU87]
    Gonzalez,J.P., Urban,J.E., ENVISAGER: A Visual, Object-Oriented Specification Environment for Real-Time Systems, Proc of 4th International Workshop on Software Specification and Design, 1987.Google Scholar
  4. [FT85]
    Fusaoka, A. and Takahashi, K., On QFTL and the refutation procedure on w-graphs, ICOT Technical Report TR-132, 1985.Google Scholar
  5. [MW84]
    Manna, Z. and Wolper, P., Synthesis of communicating processes from temporal logic specification, ACM Trans. on Programming Languages and Systems, Vol.6, No.1, pages 68–93, 1984.Google Scholar
  6. [CE82]
    Clarke, E. M. and Emerson, E. A., Design and synthesis of synchro-nization skeletons using branching time temporal logic, Logics of programs (Proceedings 1981), Lecture Notes in Computer Science 131, Springer-Verlag, pages 52–71, 1982.Google Scholar
  7. [FTM84]
    Fujita, M., Tanaka, H., and Moto-oka, T., Specifying hardware in temporal logic & efficient synthesis of state-diagrams using Prolog, Proc. of FGCS'84, 1984.Google Scholar
  8. [KI82]
    Katai, O. and Iwai, S., Construction of Scheduling Rules for Asynchronous, Concurrent Systems Based on Tense Logic (in Japanese), Trans. of SICE (Japan) vol.18 no.12, 1982.Google Scholar
  9. [Ha76]
    Habermann, A. N., Introduction to Operating System Design, SRA, 1976.Google Scholar
  10. [HUK86]
    Honiden, S., Uchihira, N., and Kasuya, T., MENDEL: PROLOG BASED CONCURRENT OBJECT ORIENTED LANGUAGE, Proc. of COMPCON'86, pages 230–234, 1986.Google Scholar
  11. [Oc83]
    Occam Programming manual, INMOS Ltd., 1983.Google Scholar
  12. [Pl86]
    Plaisted, D. A., A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories, Journal of Automated Reasoning, 2, pages171–190, 1986.Google Scholar
  13. [Ta84]
    Taki, T. et al., Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI), Proc. of the international conference on FGCS1984, 1984.Google Scholar
  14. [Ta87]
    Tamura,S.,et al., Development of Intellectual Distributed Processing System, Proc. of IFAC 10th World Congress, 1987.Google Scholar
  15. [UKMH87]
    Uchihira, T., Kasuya, T., Matsumoto,K., and Honiden, S., Concurrent Program Synthesis with Reusable Components Using Temporal Logic, Proc of COMPSAC87, 1987.Google Scholar
  16. [Mo86]
    Moszkowski, B., Executing temporal logic programs, Cambridge Univ. Press, 1986.Google Scholar
  17. [Wo82]
    Wolper, P., Synthesis of communicating processes from temporal logic specification, STAN-CS-82-925, Stanford University, 1982.Google Scholar
  18. [Wo86]
    Wolper, P., Expressing Interesting Properties of Program in Propositional Temporal Logic, Proc of POPL, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Naoshi Uchihira
    • 1
  • Kazunori Matsumoto
    • 1
  • Shinichi Honiden
    • 1
  • Hideo Nakamura
    • 1
  1. 1.Systems & Software Engineering Lab.TOSHIBA CorporationKawasaki, KanagawaJAPAN

Personalised recommendations