A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

P. M. Lu, Sik-Sang Yau, W. Hong

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

Original languageEnglish (US)
Pages (from-to)79-105
Number of pages27
JournalInformation Sciences
Volume30
Issue number2
DOIs
StatePublished - 1983
Externally publishedYes

Fingerprint

Multiprocessing systems
Multiprocessing
System Development
Grammar
Software Development
Software engineering
Software System
Methodology
Software Design
Formal methods
Formal Methods
Distributed computer systems
Software design
Distributed Computing
Model
Compiler
Computer programming languages
Programming Languages
System Design
Computer systems

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Information Systems
  • Information Systems and Management
  • Statistics, Probability and Uncertainty
  • Electrical and Electronic Engineering
  • Statistics and Probability

Cite this

A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation. / Lu, P. M.; Yau, Sik-Sang; Hong, W.

In: Information Sciences, Vol. 30, No. 2, 1983, p. 79-105.

Research output: Contribution to journalArticle

@article{452e84e07d1f47f88e9b5ba062113674,
title = "A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation",
abstract = "With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.",
author = "Lu, {P. M.} and Sik-Sang Yau and W. Hong",
year = "1983",
doi = "10.1016/0020-0255(83)90001-4",
language = "English (US)",
volume = "30",
pages = "79--105",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "2",

}

TY - JOUR

T1 - A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation

AU - Lu, P. M.

AU - Yau, Sik-Sang

AU - Hong, W.

PY - 1983

Y1 - 1983

N2 - With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

AB - With the growing complexity of multiprocessing systems and distributed computing systems, there is an increasing need to provide a formal methodology for deriving a model to represent software design for the software development of these systems. The formal methodology presented in this paper uses attributed grammars, and extends formal methods commonly used in the definition of programming languages and compiler techniques for representing the design specification of software systems and validating the implementation. This model provides a common basis in the software development phases through automated design analysis, test-case generation, and validation of the software system. This paper covers the construction of the model for the design representation using attributed grammar and the analysis of the software system design based on the model.

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

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

U2 - 10.1016/0020-0255(83)90001-4

DO - 10.1016/0020-0255(83)90001-4

M3 - Article

AN - SCOPUS:0020797570

VL - 30

SP - 79

EP - 105

JO - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 2

ER -