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

    Fingerprint

Keywords

  • Algebraic specification
  • Parallel programs
  • Temporal logic

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Science Applications

Cite this