来源：期刊VIP网 时间：
作者：尹玲;陈小红;安冬冬;谢越;
单位：上海工程技术大学电子电气工程学院;上海市高可信计算重点实验室(华东师范大学);上海师范大学信息与机电工程学院;中银金融科技有限公司;
摘要：工业软件深度参与研发设计、生产制造、运营管理和维护服务等方面，软件的行为符合业务的需要至关重要。因此，工业软件的开发需要进行需求确认，即确认系统的行为满足利益相关者（应用方的操作人员，通常是生产和运维中涉及的各方面的工作人员）的要求。业务方面，利益相关者的期望通常表现为关心的事件间的因果关系。针对工业软件的时间融合于行为、复杂度高、规模大等特点，提出一种基于时间事件因果关系检测的需求确认方法，检测用UML/MARTE+CCSL模型表达的系统行为是否满足相应的时间事件因果关系。包括：定义时间事件因果关系表达利益相关者的期望；抽取模型的多图协作下的系统整体行为生成CCSL(clock constraint specification language)规约；结合模型检测技术和社区发现算法检测该行为规约是否满足时间事件因果关系。通过比较实验评估了方法的有效性和实用性，特别是引入社区发现算法处理规模大、复杂度高的规约效果显著。
关键词：基于模型的系统工程;;需求确认;;模型检测
基金资助：国家自然科学基金青年基金（61802251,61603242,62302308）
