达姆，沃纳；大卫·哈雷尔 LSC：给消息序列图注入活力。 （英语） Zbl 0985.68033号 形式方法系统。设计。 19，第1期，45-80（2001）. 摘要：虽然消息序列图（MSC）在工业中广泛用于记录进程或对象的相互作用，但它们表现得很弱，因为它们基于如ITU标准中定义的事件部分顺序的适度语义概念。一种高度表达和严格定义的MSC语言是对用例和场景提供严肃、语义上有意义的工具支持的必要条件。这也是解决我们认为系统行为规范中核心问题之一的一个先决条件：将基于场景的对象间规范与状态机基础对象规范相关联。本文提出了MSC的一个扩展，我们称其为活动序列图（或LSC），因为我们的主要扩展处理指定“活动性”，即必须发生的事情。事实上，当在图表中指定事件、条件和随时间推移的进展时，LSC允许区分全局、整个图表级别和局部级别的可能行为和必要行为。例如，这可以指定禁止的场景，并支持自然指定的结构构造，如子图、分支和迭代。 引用于三评论引用于38文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：消息序列图；实时序列图 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}和\textit{D.Harel}，形式方法系统。设计。19，第1号，45--80（2001；Zbl 0985.68033） 全文： 内政部