TY - GEN
T1 - Application of structural modeling and automated reasoning to concurrent program design
AU - Honiden, S.
AU - Uchihira, N.
AU - Matsumoto, K.
AU - Matsumura, K.
AU - Arai, M.
PY - 1989
Y1 - 1989
N2 - An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented language called MENDEL/87. The functional part of the reusable component is generated by structural modeling, and the synchronization part is synthesized from temporal-logic specifications by the use of an automated-reasoning mechanism. A description is also given of the MENDELS ZONE, implemented on a Prolog machine, which is the working base of the method.
AB - An application of structual modeling and automated reasoning as an intelligent software development environment for concurrent programs is presented. This application, using an integration of software reuse and theorem-proving methods, synthesizes an absolutely correct program and increases software productivity. The concurrent programs are described by a Prolog-based concurrent object-oriented language called MENDEL/87. The functional part of the reusable component is generated by structural modeling, and the synchronization part is synthesized from temporal-logic specifications by the use of an automated-reasoning mechanism. A description is also given of the MENDELS ZONE, implemented on a Prolog machine, which is the working base of the method.
UR - http://www.scopus.com/inward/record.url?scp=0024858586&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0024858586&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0024858586
SN - 0818619120
T3 - Proceedings of the Hawaii International Conference on System Science
SP - 134
EP - 141
BT - Proceedings of the Hawaii International Conference on System Science
A2 - Shriver, Bruce D.
PB - Publ by Western Periodicals Co
T2 - Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track
Y2 - 3 January 1989 through 6 January 1989
ER -