【摘 要】
：
提出一种方法以检查两个流程集的一致性,其中一个源于用户实际的自然语言需求,另一个源于工程师设计的UML顺序图。方法分别获取存在于需求规格说明流程集而不存在于顺序图流
【基金项目】
：
国家重点研发计划项目(2016YFC0802500,2016YFB0800403);湖北省自然科学基金(2018CFC852);教育部人文社科规划基金项目(20171304);三峡库区地质灾害教育部重点实验室开放基金(2015KDZ05);三峡大学人才专项基金(8000303)
论文部分内容阅读
提出一种方法以检查两个流程集的一致性,其中一个源于用户实际的自然语言需求,另一个源于工程师设计的UML顺序图。方法分别获取存在于需求规格说明流程集而不存在于顺序图流程集的任务,以及存在于顺序图流程集而不存在于需求规格说明流程集的任务。方法采用BPMN(流程建模标注语言)分别对需求规格说明和顺序图进行统一表达,获取相应的BPMN流程集,对流程集进行校准,以检查出软件演进中两个关键阶段需求的差异。通过软件数据备份功能的用例,显示出该方法能有效地处理实际的数据集,并可分别为用户和工程师提供简明清晰的需求增补和修改建议。
其他文献
<正>养蜂人都会养王,无非是在蜜蜂繁殖季节,巢脾上大部分雄蜂房封盖后,将蜡碗粘在浆框条上,经过工蜂清理,再移入2~3日龄的幼虫即可。过21天把王台分别介入交尾群。这就是一般
有理数的乘方课例：北京市朝阳区定福庄中学于亚萍点评：北京市朝阳区中学教研室郭璋教学目标：（１）理解有理数乘方的概念，掌握有理数乘方的运算；（２）培养学生的观察、比较、分析、归纳、概括
形态效应是泛指粉煤灰颗粒形貌、粗细、表面粗糙度、级配、内外结构等几何特征以及色度、密度等特征在混凝土中产生的效应.
建国以来,学术理论界对习仲勋生平与思想的研究取得了丰硕成果,产生了一批兼具史料和学术价值的文章著作。主要包括:习仲勋生平研究,习仲勋文献著述研究,习仲勋与新民主主义
随着国家的经济转型和金融改革的不断深入和推进,投资理财的工具和软件也随之增加,私人银行和一些个人的商业性银行也随之发展起来。主要针对私人银行业务发展和服务模式以及
背景:目前报道的重组腺病毒构建方法较复杂,构建周期长,导致重组腺病毒构建的成功率较低。GatewayTM技术是基于λ噬菌体的位点特异性高效重组系统,其构建重组病毒载体具有快
创新,是一个国家发展的不竭动力。未来国际的竞争,其实从本质上讲就是国家创新能力的竞争,因此在教育领域对学生进行创新能力的培养是否有效的开展成为评价教育是否成功的重
<正> 金秋十月,南京师范大学音乐教育研究所发起并主办的“中国传统音乐前沿课题研讨会”在宁召开,研讨“中国乐学热点”及“道教音乐研究”两个专题。 “同均三宫”是中国乐
特使调停外交,即由国家元首、政府首脑或国际组织任命的、派往它国或国际组织的特别代表,为推动国际或国内冲突的和平解决而协助、参与或直接干预当事国谈判等进行的高层次外