科研之友
微信
新浪微博
Facebook
分享链接
摘要
工业软件深度参与研发设计、生产制造、运营管理和维护服务等方面，软件的行为符合业务的需要至关重要。因此，工业软件的开发需要进行需求确认，即确认系统的行为满足利益相关者（应用方的操作人员，通常是生产和运维中涉及的各方面的工作人员）的要求。业务方面，利益相关者的期望通常表现为关心的事件间的因果关系。针对工业软件的时间融合于行为、复杂度高、规模大等特点，提出一种基于时间事件因果关系检测的需求确认方法，检测用UML/MARTE+CCSL模型表达的系统行为是否满足相应的时间事件因果关系。包括：定义时间事件因果关系表达利益相关者的期望；抽取模型的多图协作下的系统整体行为生成CCSL(clock constraint specification language)规约；结合模型检测技术和社区发现算法检测该行为规约是否满足时间事件因果关系。通过比较实验评估了方法的有效性和实用性，特别是引入社区发现算法处理规模大、复杂度高的规约效果显著。
- 单位
