Detecting Potential Synchronization Constraint Deadlocks from Formal System Specifications

Abstract

This thesis describes a conceptual design for a software tool for automatic detection of synchronization constraint deadlock from the formal specification of a distributed system. The formal specification language Spec is used to define the distributed system. The basic algorithm used is introduced using a graphical representation, and its operation illustrated via an example. Deadlock, Formal specification, Software engineering, Distributed systems, Concurrent systems, Regular expressions, Synchronization.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1992
Accession Number
ADA249019

Entities

People

  • Jeffrey M. Schweiger

Organizations

  • Naval Postgraduate School

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Detection
  • Engineering
  • Formal Languages
  • High Level Languages
  • Language
  • Petri Nets
  • Programming Languages
  • Software Development
  • Software Development Tools
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Parallel and Distributed Computing.
  • Software Engineering.