Knowledge-based software architectures: Acquisition, specification, and verification

doi:10.1109/69.755628

Return

Knowledge-based software architectures: Acquisition, specification, and verification

1999-01-01

PRE

Jeffrey J. P. Tsai

Alan Liu

Eric Y. T. Juan

DOI：10.1109/69.755628

Original

Original request for help

Save

Abstract

En 中文

The concept of knowledge-based software architecture has recently emerged as a new way to improve our ability to effectively construct and maintain complex large-scale software systems. Under this new paradigm, software engineers are able to do evolutionary design of complex systems through architecture specification, design rationale capture, architecture validation and verification, and architecture transformation. This paper surveys some of the important techniques that have been developed to support these activities. In particular, we are interested in knowledge/requirement acquisition and analysis. We survey some tools that use the knowledge-based approach to solve these problems. We also discuss various software architecture styles, architecture description languages (ADLs), and features of ADLs that help build better software systems. We then compare various ADLs based on these features. The efficient methods that were developed for verification, validation, and high assurance of architectures are also discussed. Based on our survey results, we give a basis for comparing the various knowledge-based systems and list these comparisons in the form of a table.

Keywords:

knowledge-based system

software architecture

knowledge acquisition

architecture specification language

architecture style

formal verification

compositional verification