Applying formal description techniques to software architectural design

J. J. Li, J. R. Horgan

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

Mature engineering disciplines have systematic quantified architectural design. Engineering advancement of the software engineering discipline will eventually require systematic and quantified software architectural design. Formal description techniques such as the specification and description language can help to achieve this goal. This paper presents a method to construct formal models of software architectures and to simulate them to predict the behavior, reliability, and performance of the software system. We use the quantified simulation results to evaluate alternative software architectural designs. Our experiments show that our approach identifies better designs.

Original languageEnglish
Pages (from-to)1169-1178
Number of pages10
JournalComputer Communications
Volume23
Issue number12
DOIs
StatePublished - 1 Jul 2000

Fingerprint

Dive into the research topics of 'Applying formal description techniques to software architectural design'. Together they form a unique fingerprint.

Cite this