Abstract:Scenario-based specifications (SBSs), such as UML interaction models, offer an intuitive and visual way of describing design requirements, and are playing an increasingly important role in the design of software systems. This paper presents an approach to timing analysis of SBSs expressed by UML interaction models. The approach considers more general and expressive timing constraints in UML sequence diagrams (SDs), and gives a solution to the reachability analysis, constraint conformance analysis and bounded delay analysis problems, which reduces these problems into linear programs. With the synchronous interpretation of the SD compositions, the timing analysis algorithms in the approach form a decision procedure for a class of SBSs where any loop in any path is time-independent of the other parts in the path. These algorithms are also a semi-decision procedure for general SBSs with both the synchronous and asynchronous composition semantics. The approach also supports bounded timing analysis of SBSs, which investigates all the paths in the bound limit one by one, and performs the timing analysis for each finite path by linear programming. A tool prototype has been developed to support this approach. Copyright © 2010 John Wiley & Sons, Ltd.(This paper presents a linear programming-based approach to timing analysis of scenario-based specifications (SBSs) expressed by UML interaction models. With more general and expressive timing constraints in UML sequence diagrams, the algorithms in the approach solve the problems of the reachability, constraint conformance and bounded delay analysis of SBSs. These algorithms form a decision procedure for the loop-unlimited SBSs where any loop in any path is time-independent of the other parts in the path, and a semi-decision procedure for general SBSs.)

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation

Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.

Least-cost Transition Sequence Estimation in Labelled Time Petri Net Systems with Unobservable Transitions.

Formal Analysis of Sequence Diagram in MARTE by Model Transformation Techniques

Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation

Transformation from Activity Diagrams with Time Properties to Timed Coloured Petri Nets

Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications

Verifying Compositional Designs for Scenario-Based Timing Specifications

Modeling Mechanism and Application of Sequence Diagram

Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis

Timing Analysis of UML Activity Diagrams

Modeling Principles of the Sequence Diagram and Its Application in MDA Software Paradigm

Modeling UML Sequence Diagrams Using Extended Petri Nets.

Timing Analysis of Scenario-Based Specifications Using Linear Programming.

SDT: A Scenario Specification-Oriented Runtime Testing Tool

Modeling MARTE Sequence Diagram with Timing Pi-Calculus

Formal Analysis Of Real-Time Systems With Sam

TASS: Timing Analyzer of Scenario-Based Specifications

Modeling and Real-time Analysis for C4ISR System Based on UML State Diagram

Specifying Time-Sensitive Systems with TLA+

Timed I/O Automata: It is never too late to complete your timed specification theory