Software architecture directed behaviour analysis

Author

Magee, Jeff ; Kramer, Jeff ; Giannakopoulou, Dimitra

Author_Institution

Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK

fYear

1998

fDate

16-18 Apr 1998

Firstpage

144

Lastpage

146

Abstract

A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we discuss an approach to using architectural description for the behavioural analysis of distributed software systems and some of the issues which arise in providing tool support. The approach is based on the use of finite state automata to specify behaviour and Compositional Reachability Analysis to check composite system models. The architecture description of a system is used directly to generate the model used for analysis

Keywords

finite automata; reachability analysis; software engineering; architectural description; behavioural analysis; composite system models; compositional reachability analysis; finite state automata; software architecture directed behaviour analysis; tool support; Algebra; Architecture description languages; Automata; Educational institutions; Interconnected systems; LAN interconnection; Reachability analysis; Safety; Skeleton; Software architecture;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1998. Proceedings. Ninth International Workshop on

Conference_Location

Ise-Shima

Print_ISBN

0-8186-8439-9

Type

conf

DOI

10.1109/IWSSD.1998.667929

Filename

667929