.png){kind=icon}
返回
Writing and verifying interoperability requirements: Application to collaborative processes
.png){kind=icon}
OA
AI
DOI：10.1016/j.compind.2016.04.001.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
互操作性分析与互操作性需求高度相关，掌握、构造、编写和验证此类需求的能力已成为分析过程的基础。为此，要求必须 :( 1) 在合适且可用的存储库中正确提交; (2) 由与研究领域相关的利益相关者正确编写; (3) 在要求互操作性能力的系统的各种模型上尽可能容易地验证。本文的目的是提供用于互操作性要求的结构化存储库和使用形式验证技术在协作过程模型中编写和验证互操作性要求的域特定语言。互操作性需求存储库用于构建互操作性需求并使其可用，它本身是通过抽象级别，视图和互操作性生命周期维度构建的。还包括了详细说明所要求的信息以及需求对所研究系统行为的已知影响的其他参数。域特定语言提供了编写互操作性要求的方法。之后，通过转换时间逻辑TCTL来将这些要求 (更具体地，时间要求) 重写为属性，以允许通过使用模型检查器UPPAAL对其进行有效验证。在基于协作药物流通过程的案例研究中说明了总体方法。本文还得出了结论，并对Elsevier b.v. 2016发表的未来研究和应用工作 (C) 进行了展望。
Keyword:
Interoperability requirements
Repository for interoperability requirements
Requirements verification
Domain Specific Language
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
9.1
论文数:
2.9K
被引数:
1.1W
机构
引用论文
.png){kind=icon}
Genome-Wide Screen for New Components of theDrosophila melanogasterTorso Receptor Tyrosine Kinase Pathway全基因组筛选Drosophila melanogaster Torso受体酪氨酸激酶通路的新组分OAAI
OAAI分享收藏分享收藏Enabling model checking for collaborative process analysis: from BPMN to 'Network of Timed Automata'启用模型检查以进行协作流程分析: 从BPMN到 “定时自动机网络”OAAI
OAAI分享收藏
查看更多内容