Directionality and stability in system behaviors

Author

Yue, Kun

Author_Institution

Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA

fYear

1988

fDate

14-18 Mar 1988

Firstpage

40

Lastpage

47

Abstract

A description is given of a formal method for requirement analysis. The method can detect errors in system specifications by exploring formalized alternative views of systems. At the heart of the method is the observation that the roles played by different system constituents are associated with different general behavior patterns, e.g. directionality and stability. Moreover, these intuitions about systems can be formalized so that reasoning tools can be applied. Specifically, the author investigates systems where a stable service is provided. An ideal system model, called a temporally decomposable structurally stable (TDSS) system, is presented in which the intuitions are characterized as formal properties such as conservation of objects, nondeterminism, and logical implication. A program, DAO, embodying these ideas, has been implemented

Keywords

expert systems; software engineering; software tools; specification languages; behavior patterns; conservation of objects; directionality; knowledge based analysis tools; logical implication; nondeterminism; reasoning tools; requirement analysis; stability; system behaviors; system specifications; temporally decomposable structurally stable; Concrete; Heart; Information analysis; Power supplies; Redundancy; Stability analysis; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence Applications, 1988., Proceedings of the Fourth Conference on

Conference_Location

San Diego, CA

Print_ISBN

0-8186-0837-4

Type

conf

DOI

10.1109/CAIA.1988.196079

Filename

196079