DocumentCode
1985995
Title
Behavioral analysis of software architectures using LTSA
Author
Magree, J.
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
fYear
1999
fDate
22-22 May 1999
Firstpage
634
Lastpage
637
Abstract
The LTSA (Labeled Transition System Analyzer) is a tool for modeling and analyzing the behavior of concurrent systems. The demonstration will focus on the use of architectural descriptions in developing behavioral models and on the analysis that can be performed on these models. Three concurrent architecture examples; filter pipeline, supervisor-worker and announcer-listener which each use a different type of connector are used to illustrate the capabilities of the tool.
Keywords
finite state machines; software architecture; LTSA; Labeled Transition System Analyzer; concurrent architecture; concurrent systems; software architectures; Computer architecture; Concurrent computing; Connectors; Control systems; Educational institutions; Filters; Performance analysis; Permission; Pipelines; Software architecture;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1999. Proceedings of the 1999 International Conference on
Conference_Location
Los Angeles, CA, USA
ISSN
0270-5257
Print_ISBN
1-58113-074-0
Type
conf
Filename
841063
Link To Document