MENDELS ZONE

A parallel program development system based on formal specifications

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)181-189
Number of pages9
JournalInformation and Software Technology
Volume38
Issue number3 SPEC. ISS.
DOIs
Publication statusPublished - 1996 Jan 1
Externally publishedYes

Fingerprint

Parallel programming
Temporal logic
Specifications
Petri nets
Synchronization
Visualization
Formal specification

Keywords

  • Algebraic specification
  • Parallel programs
  • Temporal logic

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Science Applications

Cite this

MENDELS ZONE : A parallel program development system based on formal specifications. / Honiden, Shinichi; Ohsuga, Akihiko; Uchihira, Naoshi.

In: Information and Software Technology, Vol. 38, No. 3 SPEC. ISS., 01.01.1996, p. 181-189.

Research output: Contribution to journalArticle

Honiden, Shinichi ; Ohsuga, Akihiko ; Uchihira, Naoshi. / MENDELS ZONE : A parallel program development system based on formal specifications. In: Information and Software Technology. 1996 ; Vol. 38, No. 3 SPEC. ISS. pp. 181-189.
@article{bb1516de5e3f47218d881e9eb7bd7bfc,
title = "MENDELS ZONE: A parallel program development system based on formal specifications",
abstract = "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.",
keywords = "Algebraic specification, Parallel programs, Temporal logic",
author = "Shinichi Honiden and Akihiko Ohsuga and Naoshi Uchihira",
year = "1996",
month = "1",
day = "1",
doi = "10.1016/0950-5849(95)01072-6",
language = "English",
volume = "38",
pages = "181--189",
journal = "Information and Software Technology",
issn = "0950-5849",
publisher = "Elsevier",
number = "3 SPEC. ISS.",

}

TY - JOUR

T1 - MENDELS ZONE

T2 - A parallel program development system based on formal specifications

AU - Honiden, Shinichi

AU - Ohsuga, Akihiko

AU - Uchihira, Naoshi

PY - 1996/1/1

Y1 - 1996/1/1

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

VL - 38

SP - 181

EP - 189

JO - Information and Software Technology

JF - Information and Software Technology

SN - 0950-5849

IS - 3 SPEC. ISS.

ER -