KNOWLEDGE REPRESENTATION OF SOFTWARE COMPONENT INTERCONNECTION INFORMATION FOR LARGE-SCALE SOFTWARE MODIFICATIONS.

Sik-Sang Yau, Jeffery J. Tsai

Research output: Contribution to journalArticle

19 Scopus citations

Abstract

An approach is described that uses first-order logic for knowledge representation of software component interconnection information to facilitate the validity and integrity checking of the interconnection among software components during software development or modification. Directed graphs are used to model the structure and behavior of a large-scale software system, and a first-order theory of directed graphs (DG theory) is established. The interconnection behavior among software components in a large-scale software system is a directed graph called the software component interconnection graph (CIG). The behavior of the CIG is interpreted using DG theory and translated into logic representation. The translated logic representation is a set of logic clauses and can be considered as a set of axioms. Automated reasoning techniques based on these axioms can be used to perform the validity and integrity checking of software properties in the software development or maintenance phase.

Original languageEnglish (US)
Pages (from-to)355-361
Number of pages7
JournalIEEE Transactions on Software Engineering
VolumeSE-13
Issue number3
Publication statusPublished - Mar 1987
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software
  • Electrical and Electronic Engineering

Cite this