Application of structural modeling and automated reasoning to concurrent program design

Shinichi Honiden, N. Uchihira, K. Matsumoto, K. Matsumura, M. Arai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the Hawaii International Conference on System Science
EditorsBruce D. Shriver
PublisherPubl by Western Periodicals Co
Pages134-141
Number of pages8
Volume2
ISBN (Print)0818619120
Publication statusPublished - 1989 Dec 1
Externally publishedYes
EventProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track - Kailua-Kona, Hawaii, USA
Duration: 1989 Jan 31989 Jan 6

Other

OtherProceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track
CityKailua-Kona, Hawaii, USA
Period89/1/389/1/6

Fingerprint

Computer software reusability
Theorem proving
Temporal logic
Object oriented programming
Software engineering
Synchronization
Productivity
Specifications

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Honiden, S., Uchihira, N., Matsumoto, K., Matsumura, K., & Arai, M. (1989). Application of structural modeling and automated reasoning to concurrent program design. In B. D. Shriver (Ed.), Proceedings of the Hawaii International Conference on System Science (Vol. 2, pp. 134-141). Publ by Western Periodicals Co.

Application of structural modeling and automated reasoning to concurrent program design. / Honiden, Shinichi; Uchihira, N.; Matsumoto, K.; Matsumura, K.; Arai, M.

Proceedings of the Hawaii International Conference on System Science. ed. / Bruce D. Shriver. Vol. 2 Publ by Western Periodicals Co, 1989. p. 134-141.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Honiden, S, Uchihira, N, Matsumoto, K, Matsumura, K & Arai, M 1989, Application of structural modeling and automated reasoning to concurrent program design. in BD Shriver (ed.), Proceedings of the Hawaii International Conference on System Science. vol. 2, Publ by Western Periodicals Co, pp. 134-141, Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences: Software Track, Kailua-Kona, Hawaii, USA, 89/1/3.
Honiden S, Uchihira N, Matsumoto K, Matsumura K, Arai M. Application of structural modeling and automated reasoning to concurrent program design. In Shriver BD, editor, Proceedings of the Hawaii International Conference on System Science. Vol. 2. Publ by Western Periodicals Co. 1989. p. 134-141
Honiden, Shinichi ; Uchihira, N. ; Matsumoto, K. ; Matsumura, K. ; Arai, M. / Application of structural modeling and automated reasoning to concurrent program design. Proceedings of the Hawaii International Conference on System Science. editor / Bruce D. Shriver. Vol. 2 Publ by Western Periodicals Co, 1989. pp. 134-141
@inproceedings{917755897cc04d079c3534590e5e728b,
title = "Application of structural modeling and automated reasoning to concurrent program design",
abstract = "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.",
author = "Shinichi Honiden and N. Uchihira and K. Matsumoto and K. Matsumura and M. Arai",
year = "1989",
month = "12",
day = "1",
language = "English",
isbn = "0818619120",
volume = "2",
pages = "134--141",
editor = "Shriver, {Bruce D.}",
booktitle = "Proceedings of the Hawaii International Conference on System Science",
publisher = "Publ by Western Periodicals Co",

}

TY - GEN

T1 - Application of structural modeling and automated reasoning to concurrent program design

AU - Honiden, Shinichi

AU - Uchihira, N.

AU - Matsumoto, K.

AU - Matsumura, K.

AU - Arai, M.

PY - 1989/12/1

Y1 - 1989/12/1

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

SN - 0818619120

VL - 2

SP - 134

EP - 141

BT - Proceedings of the Hawaii International Conference on System Science

A2 - Shriver, Bruce D.

PB - Publ by Western Periodicals Co

ER -