CSDL Home IEEE Transactions on Knowledge & Data Engineering 1999 vol.11 Issue No.01 - January/February
Issue No.01 - January/February (1999 vol.11)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.755628
<p><b>Abstract</b>—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.</p>
Knowledge-based system, software architecture, knowledge acquisition, architecture specification language, architecture style, formal verification, compositional verification.
Alan Liu, Eric Juan, Jeffrey J.P. Tsai, "Knowledge-Based Software Architectures: Acquisition, Specification, and Verification", IEEE Transactions on Knowledge & Data Engineering, vol.11, no. 1, pp. 187-201, January/February 1999, doi:10.1109/69.755628