Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
复制标题
DOI：
10.1007/b102065
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Dang Van Hung;Mizuhito Ogawa
中科院分区：
文献类型：
--
作者：
Dang Van Hung;Mizuhito Ogawa
本文从进程代数的角度研究了冲突，并说明了它们与空中测试的测试理论之间的关系。冲突被引入到离散事件系统的环境中，在离散事件系统中，如果两个并发系统能够陷入无休止地等待或运行，永远无法完成其共同任务的情况，则称为冲突。为了分析复杂的离散事件系统，需要精化和等价的冲突保持概念。本文刻画了一种适当的精化，称为冲突前序，并给出了它的指称语义。讨论了它与其他已知进程前序的关系，并证明了它推广了进程代数中关于离散事件系统中冲突推理的公平测试前序。
This paper studiesconflictsfrom a process-algebraic point of view and shows how they are related to the testing theory offair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called theconflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems.