Comparative analysis of the notions of equivalence for process specifications

被引：2
|
作者：
El-Gendy, H [1 ]
El-Sayed, H [1 ]
Fayez, AW [1 ]
机构：
[1] Global Adv Tech & Innovat Solut, Giza, Egypt
来源：
THIRD IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS | 1998年
关键词：
D O I：
10.1109/ISCC.1998.702643
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Several notions for semantic equivalence of process specifications have been developed. It has widespread applicability in verification and testing. Each notion has its criteria for checking equivalence. We, develop a comparative analysis of these notions where we investigate their limitations and their adequacies to meet the requirements of Conformance Testing and Verification. Then, we order the various notions according to their distinguishing powers. We also develop generalizations of failure, weak observation, and strong observation notions to ratify a shortcome.
引用
收藏
页码：711 / 716
页数：6
相关论文
共 50 条
12345