TRIM
Triggered Message Sequence Charts (TMSCs) [16] are a scenario-based visual for-malism for capturing requirements of distributed systems. TMSCs enhance traditionalMSCs [3] with capabilities for expressing conditional and partial behavior and with amathematically precise notion of refinement, which may be used to check whether oneset of requirements correctly elaborates on another. This paper presents TRIM, a toolfor checking refinement between TMSCs. The main features of TRIM are: (i) a textuallanguage for TMSCs that includes the algebraic combinators of [16]; (ii) a routine forchecking refinements among TMSC specifications; and (iii) a capability for generatingdiagnostic information in the form of tests when one system fails to refine another.
Keywords for this software
References in zbMATH (referenced in 7 articles , 1 standard article )
Showing results 1 to 7 of 7.
Sorted by year (- Athreya, Krishna B.; Athreya, Siva R.; Iyer, Srikanth K.: Critical age-dependent branching Markov processes and their scaling limits (2010)
- Hodges, Ben R.; Rueda, Francisco J.: Semi-implicit two-level predictor-corrector methods for nonlinearly coupled, hydrostatic, barotropic/baroclinic flows (2008)
- Rueda, Francisco J.; Sanmiguel-Rojas, Enrique; Hodges, Ben R.: Baroclinic stability for a family of two-level, semi-implicit numerical methods for the 3D shallow water equations (2007)
- Sturmfels, Bernd; Tevelev, Jenia; Yu, Josephine: The Newton polytope of the implicit equation (2007)
- Athreya, Krishna B.; Lahiri, Soumendra N.: Probability theory. (2006)
- Sengupta, Bikram; Cleaveland, Rance: An integrated framework for scenarios and state machines (2005)
- Sengupta, Bikram; Cleaveland, Rance: TRIM: A tool for triggered message sequence charts. (2003) ioport