Refining timed MSCs

Authors:
Tong Zheng;Ferhat Khendek;Benoît Parreaux
Affiliations:
Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada;Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada;France Telecom R&D, Lannion, France
Venue:
SDL'03 Proceedings of the 11th international conference on System design
Year:
2003

Citing 8
Cited 6

MSC-2000 interaction diagrams for the new millennium

Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
Stepwise Design with Message Sequence Charts

FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Refinement in Interworkings

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Deciding Properties for Message Sequence Charts

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Real-Timed Concurrent Refineable Behaviours

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Analyser for Mesage Sequence Charts

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Action Refinement for True Concurrent Real Time

ICECCS '01 Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems
Timing Analysis of UML Sequence Diagrams

Timing Analysis of UML Sequence Diagrams

Specification and Timing Analysis of Real-Time Systems

Real-Time Systems
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties

IEEE Transactions on Software Engineering
Towards a Common Semantic Foundation for Use Cases and Task Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Time Aware System Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Semantics of UML models for dynamic behavior: a survey of different approaches

MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an approach for refining high level specifications into design specifications using the MSC language. We have previously introduced such an approach for un-timed MSCs. In this paper, we focus on the timing features of MSC-2000. We propose a framework for adding time constraints and refining them further, while preserving the properties of the high-level specification during the refinement process. We introduce conformance relations between MSCs and algorithms for checking these relations.