Time consistency of MSC-2000 specifications
Message Sequence Charts (MSC) is a formal language for the specification of behavioral scenarios and use cases. In the latest standard, time constructs have been added to the language to handle real-time constraints specification. In this paper, we investigate the time consistency of MSC-2000 specifications. Both basic MSCs and high-level MSCs (HMSCs) are taken into account. However, the focus is on HMSCs. We define the notion of consistency for basic MSCs and the notions of strong and weak consistency for HMSCs. We also develop and analyze algorithms for checking the time consistency of MSCs.
consistency msc time constraints semantics