Checkin MSC Specifications for Timing Inconsistency  

作　　者：李宣东 谭文凯 等 

机构地区：[1]StateKeyLaboratoryforNovelSoftwareTechology,DepartmentofComputerScienceandTechnologyNanjingUniversity,Nanjing210093,P.R.China [2]StateKeyLaboratoryforNovelSoftwareTechology,DepartmentofComputerScienceand

出　　处：《Journal of Computer Science & Technology》2002年第1期47-55,共9页计算机科学技术学报（英文版）

摘　　要：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 desing 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 thing consistent.An algorithm is developed to check MSC specifications for timing inconsistency.

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]