TRIM is a tool for analyzing system requirements expressed using Triggered Message Sequence Chans (TMSCs). TMSCs enhance MSCs with capabilities for expressing conditional and partial behavior and with a refinement ordering. This paper shows how the Concurrency Workbench of the New Century may be adapted to check refinements between TMSC specifications. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Sengupta, B., & Cleaveland, R. (2003). TRIM: A tool for triggered message sequence charts. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2725, 106–109. https://doi.org/10.1007/978-3-540-45069-6_9
Mendeley helps you to discover research relevant for your work.