Behavioral Analysis of Software Architectures Using LTSA

  title={Behavioral Analysis of Software Architectures Using LTSA},
  author={Jeff Magee},
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. 
Highly Cited
This paper has 44 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 31 extracted citations

1 Software Architecture Evolution

View 6 Excerpts
Highly Influenced

Verifying the configuration of virtualized network functions in software defined networks

2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) • 2017
View 2 Excerpts

Similar Papers

Loading similar papers…