swMATH ID: 2740
Software Authors: Pan, Minxue; Bu, Lei; Li, Xuandong
Description: 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.
Homepage: http://rd.springer.com/chapter/10.1007/978-3-642-02658-4_56
Related Software: HyDI; MathSAT; NuSMV; HyTech; HySAT
Referenced in: 1 Publication

Referenced in 1 Serial

1 Formal Methods in System Design

Referencing Publications by Year