TASS (Timing Analyzer of Scenario-based Specifications) is implemented for timing analysis of Scenario-Based Specifications (SBSs). Scenario-based specifications such as UML interaction models offer an intuitive and visual way of describing design requirements. Such specifications can describe concrete interactions among communicating entities and therefore are playing an increasingly important role in the design of software systems. The models analyzed by TASS consist of UML sequence diagrams (SDs) and UML2.0 interaction overview diagrams (IODs). We use the UML sequence diagram to describe exactly one scenario without alternatives and loops, and the UML2.0 interaction overview diagram which combines references to SDs to describe sequential, iterating and non-deterministic executions of SDs.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano: SMT-based scenario verification for hybrid systems (2013)
- Pan, Minxue; Bu, Lei; Li, Xuandong: TASS: timing analyzer of scenario-based specifications (2009)