A graph grammar model for concurrent and distributed software specification-in-large

Research output: Contribution to journalArticle

Abstract

The specification of concurrent and distributed software requires addressing at an early stage the issues of distributed computing, such as concurrency, communication, synchronization, structure and connections, and evolution of the software components to be developed. In this work, a specification model for concurrent and distributed software is investigated. The approach followed is that of applying the graph grammar concepts for specifying and modeling concurrent and distributed software. The emphasis is on software specification-in-large, showing how distributed computing aspects for structure, connectivity, communication and synchronization, creation, and abortion of components can be specified via graph grammar productions. A model for the specification of a software component in a distributed computing system is developed based on an abstract event-driven, axiom-based approach on which graph grammar productions are defined. Prospects of the specification model on the software development process are discussed.

Original languageEnglish
Pages (from-to)7-32
Number of pages26
JournalThe Journal of Systems and Software
Volume31
Issue number1
DOIs
Publication statusPublished - 1995

Fingerprint

Specifications
Distributed computer systems
Synchronization
Communication
Software engineering
Computer systems

ASJC Scopus subject areas

  • Hardware and Architecture
  • Information Systems
  • Software
  • Computer Science Applications

Cite this

A graph grammar model for concurrent and distributed software specification-in-large. / Arafeh, Bassel R.

In: The Journal of Systems and Software, Vol. 31, No. 1, 1995, p. 7-32.

Research output: Contribution to journalArticle

@article{ce6004a158a143069adc8164fb62d36a,
title = "A graph grammar model for concurrent and distributed software specification-in-large",
abstract = "The specification of concurrent and distributed software requires addressing at an early stage the issues of distributed computing, such as concurrency, communication, synchronization, structure and connections, and evolution of the software components to be developed. In this work, a specification model for concurrent and distributed software is investigated. The approach followed is that of applying the graph grammar concepts for specifying and modeling concurrent and distributed software. The emphasis is on software specification-in-large, showing how distributed computing aspects for structure, connectivity, communication and synchronization, creation, and abortion of components can be specified via graph grammar productions. A model for the specification of a software component in a distributed computing system is developed based on an abstract event-driven, axiom-based approach on which graph grammar productions are defined. Prospects of the specification model on the software development process are discussed.",
author = "Arafeh, {Bassel R.}",
year = "1995",
doi = "10.1016/0164-1212(94)00084-Z",
language = "English",
volume = "31",
pages = "7--32",
journal = "Journal of Systems and Software",
issn = "0164-1212",
publisher = "Elsevier Inc.",
number = "1",

}

TY - JOUR

T1 - A graph grammar model for concurrent and distributed software specification-in-large

AU - Arafeh, Bassel R.

PY - 1995

Y1 - 1995

N2 - The specification of concurrent and distributed software requires addressing at an early stage the issues of distributed computing, such as concurrency, communication, synchronization, structure and connections, and evolution of the software components to be developed. In this work, a specification model for concurrent and distributed software is investigated. The approach followed is that of applying the graph grammar concepts for specifying and modeling concurrent and distributed software. The emphasis is on software specification-in-large, showing how distributed computing aspects for structure, connectivity, communication and synchronization, creation, and abortion of components can be specified via graph grammar productions. A model for the specification of a software component in a distributed computing system is developed based on an abstract event-driven, axiom-based approach on which graph grammar productions are defined. Prospects of the specification model on the software development process are discussed.

AB - The specification of concurrent and distributed software requires addressing at an early stage the issues of distributed computing, such as concurrency, communication, synchronization, structure and connections, and evolution of the software components to be developed. In this work, a specification model for concurrent and distributed software is investigated. The approach followed is that of applying the graph grammar concepts for specifying and modeling concurrent and distributed software. The emphasis is on software specification-in-large, showing how distributed computing aspects for structure, connectivity, communication and synchronization, creation, and abortion of components can be specified via graph grammar productions. A model for the specification of a software component in a distributed computing system is developed based on an abstract event-driven, axiom-based approach on which graph grammar productions are defined. Prospects of the specification model on the software development process are discussed.

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

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

U2 - 10.1016/0164-1212(94)00084-Z

DO - 10.1016/0164-1212(94)00084-Z

M3 - Article

AN - SCOPUS:0029394556

VL - 31

SP - 7

EP - 32

JO - Journal of Systems and Software

JF - Journal of Systems and Software

SN - 0164-1212

IS - 1

ER -