Checking MSC specifications for timing inconsistency

Authors:
Li Xuandong;Tan Wenkai;Zheng Guoliang
Affiliations:
State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology Nanjing University, Nanjing 210093, P.R. China;State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology Nanjing University, Nanjing 210093, P.R. China;State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology Nanjing University, Nanjing 210093, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2002

Citing 3
Cited 0

Real-time object-oriented modeling

Real-time object-oriented modeling
Regular languages

Handbook of formal languages, vol. 1
Timing analysis of UML sequence diagrams

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Message sequence chart (MSC) is a graphical and textual language for the description and specification of the interactions between system components. MSC specifications allow convenient expression of multiple scenarios, and offer an intuitive and visual way of describing design requirements. Like any other aspect of the specification and design process, MSCs are amenable to errors, and their analysis is important. In this paper, the verification problem of MSC specification for timing inconsistency is studied, which means that no execution scenario described by an MSC specification is timing consistent. An algorithm is developed to check MSC specifications for timing inconsistency.