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.
展开▼
