METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN.

P. M. Lu, Sik-Sang Yau

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Abstract

A methodology using attributed grammars representing the formal specification of distributed computing system software design is developed. This methodology provides a formal expression for synchronization, concurrent processing and interprocess communication in the design of distributed computing system software using productions of attributed grammars. These productions can express sequencing, selection, recursion and concurrency in the system's activities, and can be used for expressing stepwise refinement of the design. The control flow of the software system is governed by the productions and the attributes of the symbols in the productions in the grammar. The formal specification of distributed computing system software design can also be used for consistency checking of the design and validation of implementation at run-time. An example is given to demonstrate this methodology.

Original languageEnglish (US)
Title of host publicationInstitution of Mechanical Engineers, Conference Publications
Place of PublicationNew York, NY
PublisherIEEE
Pages212-221
Number of pages10
StatePublished - 1979
Externally publishedYes
EventInt Conf on Distrib Comput Syst, 1st, Proc - Huntsville, AL, USA
Duration: Oct 1 1979Oct 5 1979

Other

OtherInt Conf on Distrib Comput Syst, 1st, Proc
CityHuntsville, AL, USA
Period10/1/7910/5/79

Fingerprint

Distributed computer systems
Software design
Flow control
Synchronization
Computer systems
Formal specification
Communication
Processing

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Lu, P. M., & Yau, S-S. (1979). METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. In Institution of Mechanical Engineers, Conference Publications (pp. 212-221). New York, NY: IEEE.

METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. / Lu, P. M.; Yau, Sik-Sang.

Institution of Mechanical Engineers, Conference Publications. New York, NY : IEEE, 1979. p. 212-221.

Research output: Chapter in Book/Report/Conference proceedingChapter

Lu, PM & Yau, S-S 1979, METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. in Institution of Mechanical Engineers, Conference Publications. IEEE, New York, NY, pp. 212-221, Int Conf on Distrib Comput Syst, 1st, Proc, Huntsville, AL, USA, 10/1/79.
Lu PM, Yau S-S. METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. In Institution of Mechanical Engineers, Conference Publications. New York, NY: IEEE. 1979. p. 212-221
Lu, P. M. ; Yau, Sik-Sang. / METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN. Institution of Mechanical Engineers, Conference Publications. New York, NY : IEEE, 1979. pp. 212-221
@inbook{ad17dd0dfc314f1193bda9aa50dafb5e,
title = "METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN.",
abstract = "A methodology using attributed grammars representing the formal specification of distributed computing system software design is developed. This methodology provides a formal expression for synchronization, concurrent processing and interprocess communication in the design of distributed computing system software using productions of attributed grammars. These productions can express sequencing, selection, recursion and concurrency in the system's activities, and can be used for expressing stepwise refinement of the design. The control flow of the software system is governed by the productions and the attributes of the symbols in the productions in the grammar. The formal specification of distributed computing system software design can also be used for consistency checking of the design and validation of implementation at run-time. An example is given to demonstrate this methodology.",
author = "Lu, {P. M.} and Sik-Sang Yau",
year = "1979",
language = "English (US)",
pages = "212--221",
booktitle = "Institution of Mechanical Engineers, Conference Publications",
publisher = "IEEE",

}

TY - CHAP

T1 - METHODOLOGY FOR REPRESENTING THE FORMAL SPECIFICATION OF DISTRIBUTED COMPUTING SYSTEM SOFTWARE DESIGN.

AU - Lu, P. M.

AU - Yau, Sik-Sang

PY - 1979

Y1 - 1979

N2 - A methodology using attributed grammars representing the formal specification of distributed computing system software design is developed. This methodology provides a formal expression for synchronization, concurrent processing and interprocess communication in the design of distributed computing system software using productions of attributed grammars. These productions can express sequencing, selection, recursion and concurrency in the system's activities, and can be used for expressing stepwise refinement of the design. The control flow of the software system is governed by the productions and the attributes of the symbols in the productions in the grammar. The formal specification of distributed computing system software design can also be used for consistency checking of the design and validation of implementation at run-time. An example is given to demonstrate this methodology.

AB - A methodology using attributed grammars representing the formal specification of distributed computing system software design is developed. This methodology provides a formal expression for synchronization, concurrent processing and interprocess communication in the design of distributed computing system software using productions of attributed grammars. These productions can express sequencing, selection, recursion and concurrency in the system's activities, and can be used for expressing stepwise refinement of the design. The control flow of the software system is governed by the productions and the attributes of the symbols in the productions in the grammar. The formal specification of distributed computing system software design can also be used for consistency checking of the design and validation of implementation at run-time. An example is given to demonstrate this methodology.

UR - http://www.scopus.com/inward/record.url?scp=0018752990&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0018752990&partnerID=8YFLogxK

M3 - Chapter

AN - SCOPUS:0018752990

SP - 212

EP - 221

BT - Institution of Mechanical Engineers, Conference Publications

PB - IEEE

CY - New York, NY

ER -