Title :
Behavioral analysis of software architectures using LTSA
Author_Institution :
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
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;
Conference_Titel :
Software Engineering, 1999. Proceedings of the 1999 International Conference on
Conference_Location :
Los Angeles, CA, USA
Print_ISBN :
1-58113-074-0
