TY - JOUR
T1 - MENDELS ZONE
T2 - A parallel program development system based on formal specifications
AU - Honiden, Shinichi
AU - Ohsuga, Akihiko
AU - Uchihira, Naoshi
N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
PY - 1996
Y1 - 1996
N2 - MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications totalling 3700 lines, and the corresponding parallel programs generated from these formal specifications totals 6200 lines. MENDELS ZONE has several key aspects. First, an algebraic specification is used for the functional part of parallel programs and a temporal logic specification is used for the synchronization part of the parallel programs. Second, Petri nets and data-flow diagrams are adopted for visualization. Third, MENDELS ZONE has the following unique features from a parallel programming viewpoint. (1) The confluence property of the complete term rewriting system ensures the quality of non-deterministic execution in parallel programs; (2) Serialization in parallel programming is specified using propositional temporal logic; (3) Parallel implementation of theorem provers contributes to practical use.
AB - MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications totalling 3700 lines, and the corresponding parallel programs generated from these formal specifications totals 6200 lines. MENDELS ZONE has several key aspects. First, an algebraic specification is used for the functional part of parallel programs and a temporal logic specification is used for the synchronization part of the parallel programs. Second, Petri nets and data-flow diagrams are adopted for visualization. Third, MENDELS ZONE has the following unique features from a parallel programming viewpoint. (1) The confluence property of the complete term rewriting system ensures the quality of non-deterministic execution in parallel programs; (2) Serialization in parallel programming is specified using propositional temporal logic; (3) Parallel implementation of theorem provers contributes to practical use.
KW - Algebraic specification
KW - Parallel programs
KW - Temporal logic
UR - http://www.scopus.com/inward/record.url?scp=0029709655&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0029709655&partnerID=8YFLogxK
U2 - 10.1016/0950-5849(95)01072-6
DO - 10.1016/0950-5849(95)01072-6
M3 - Article
AN - SCOPUS:0029709655
SN - 0950-5849
VL - 38
SP - 181
EP - 189
JO - Information and Software Technology
JF - Information and Software Technology
IS - 3 SPEC. ISS.
ER -