【摘 要】
：
为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;
【机 构】
：
云南大学软件学院,西南林业大学大数据与智能工程学院,云南大学云南省软件工程重点实验室,淮安开放大学信息工程系
【基金项目】
：
国家自然科学基金资助项目(61462095,61702442,61662085,61379032);云南省应用基础研究计划资助项目(2016FB102,2018FB105);云南省软件工程重点实验室开放基金面上资助项目(2017SE201,2016SE202);云南省中青年学术和技术带头人后备人才培养经费资助项目(C6143002);云南省教育厅科学研究基金资助项目(2017ZZX227)~~
论文部分内容阅读
为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明：相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。
其他文献
近海渔业资源日渐匮乏,淡水鱼已成为上市鱼的主要来源。利用塘埂塘坝,种植高产优质
在节能、环保、减排等先进理念的影响之下,建筑产业的可持续发展成为各方关注的焦点,而绿色建筑在我国正处于快速发展的初级阶段。本文对问卷调查收集到的182份有效问卷进行
曾经广泛用于人医的直接凝集试验(DAT)在兽医应用的可行性方面作了评价,试验采集的 血清样品来自于60只猫、60头猪和58只绵羊。用这种试验检测刚地弓形虫抗体的灵敏度与间
目的研究腹腔镜下甲状腺次全切除术的临床疗效及安全性。方法随机抽取100例甲状腺疾病患者作为研究对象,采用随机综合平衡法分为参照组和治疗组,各50例。参照组采用传统全切
建筑联合体的平移是在城市的改造或扩建过程中对文物建筑进行平移的工程。这种技术在保护了文物不被破坏的同时,降低了建设成本,改善了城市环境。在建筑联合体整体平移的过程
从当今社会现象出发．揭示消费者深层次的心理需求，从而倡导人性化的设计。为了进一步探究人性化设计如何被实现．符号化观念被提出．设计师统筹各种元素．构成他所想表达的符号，并被消
我国农业保险发展比较缓慢，主要原因之一是农业保险各主体对风险的认知不足。农民参保意识薄弱，保险公司因害怕亏损不愿出售农业保险，虽然政府对农业保险重要性的认识有了较大的
瑞典每年从国外进口犬约350只,猫50只。该国对国外进口的犬和猫实行预防接种和检查抗体相结合的检疫制度,时间需要4个月。从英国进口的宠物可以免除预防接种,但要进行抗体检
<正>7月5日,中央纪委监察部网站发布消息:安徽省政府原党组成员、副省长周春雨严重违纪被开除党籍和公职。通报指出,周春雨毫无政治信仰和宗旨意识,长期"亦官亦商",大肆攫取
新《医院财务制度》的实施,明确要求各医院单位要切实执行全面财务管理。自我国2015年新预算法实施以来,对医院的财务财务管理与编制等相关工作提出了更高的标准和要求。新预