Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andler, S., Predicate Path Expres-sion, Proc. of ACM 6th POPL, 1979.
Chikayama, T., Unique features of ESP, Proc. of the international conference on FGCS1984, 1984.
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.
Fusaoka, A. and Takahashi, K., On QFTL and the refutation procedure on w-graphs, ICOT Technical Report TR-132, 1985.
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.
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.
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.
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.
Habermann, A. N., Introduction to Operating System Design, SRA, 1976.
Honiden, S., Uchihira, N., and Kasuya, T., MENDEL: PROLOG BASED CONCURRENT OBJECT ORIENTED LANGUAGE, Proc. of COMPCON'86, pages 230–234, 1986.
Occam Programming manual, INMOS Ltd., 1983.
Plaisted, D. A., A Decision Procedure for Combinations of Propositional Temporal Logic and Other Specialized Theories, Journal of Automated Reasoning, 2, pages171–190, 1986.
Taki, T. et al., Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI), Proc. of the international conference on FGCS1984, 1984.
Tamura,S.,et al., Development of Intellectual Distributed Processing System, Proc. of IFAC 10th World Congress, 1987.
Uchihira, T., Kasuya, T., Matsumoto,K., and Honiden, S., Concurrent Program Synthesis with Reusable Components Using Temporal Logic, Proc of COMPSAC87, 1987.
Moszkowski, B., Executing temporal logic programs, Cambridge Univ. Press, 1986.
Wolper, P., Synthesis of communicating processes from temporal logic specification, STAN-CS-82-925, Stanford University, 1982.
Wolper, P., Expressing Interesting Properties of Program in Propositional Temporal Logic, Proc of POPL, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Uchihira, N., Matsumoto, K., Honiden, S., Nakamura, H. (1988). Mendels: Concurrent program synthesis system using temporal logic. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '87. LP 1987. Lecture Notes in Computer Science, vol 315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19426-6_4
Download citation
DOI: https://doi.org/10.1007/3-540-19426-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19426-2
Online ISBN: 978-3-540-39267-5
eBook Packages: Springer Book Archive