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.)

Timing Analysis of MSC Specifications with Asynchronous Concatenation.

Checking MSC Specifications for Timing Inconsistency.

HLC-PCP: A Resource Synchronization Protocol for Certifiable Mixed Criticality Scheduling

Scenario-Based timing consistency checking for time petri nets

SAT and LP Collaborative Bounded Timing Analysis of Scenario-Based Specifications

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Timing Analysis of Scenario-Based Specifications Using Linear Programming.

Consistency checking of concurrent models for scenario-based specifications

TASS: Timing Analyzer of Scenario-Based Specifications

Mismatch Detection of Asynchronous Web Services with Timed Constraints.

Energy-Efficient User Association and Resource Allocation for Multistream Carrier Aggregation.

Asynchronous synchronization of complex networks with switched adjacent matrices

Asynchronous Detection for Machine-to-machine Systems with Code Division Multiple Access.

Protocol Interoperability Test Generation Based on MSC Test Purposes

Asynchronous Stabilization for Hidden Markov Jump Linear Systems with Complex Transition Probabilities

Runtime verification of train control systems with parameterized modal live sequence charts

Adaptive Stochastic Collocation Method (Ascm) For Parameterized Statistical Timing Analysis With Quadratic Delay Model

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Timing Boundedness Verification and Analysis of Workflow Model

On Timing Model Extraction and Hierarchical Statistical Timing Analysis

Por t-Specified Synchronizable Test Sequences Generation Method for Multi-Par ty Pr otocol Confor mence Testing 1