Comparing Lotos and Z Reenement Relations
Comparing Lotos and Z Reenement Relations
复制标题
比较 Lotos 和 Z Reenement 关系
DOI：
--
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
M. Steen
中科院分区：
文献类型：
--
作者：
J. Derrick;H. Bowman;E. Boiten;M. Steen
本文比较了LOTOS关系和Z重现关系。进行这种比较的动机是使用多个观点来指定复杂系统，这些复杂系统由开放分布式处理(ODP)标准化倡议的参考模型确定。ODP体系结构语义描述了形式描述技术(FDT)在ODP系统规范中的应用。在可用的FDT中，Z可能至少用于信息，也可能用于其他视点，而LOTOS是在计算视点中使用的有力候选者。显然需要各种机制来支持使用这些FDT的观点的并行开发和整合。我们将Lotos互模拟关系和约化关系与Z重化关系进行了比较，表明失效踪迹重化与Z中的重化密切对应。
This paper compares the LOTOS and Z reenement relations. The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems deened by the reference model of the Open Distributed Processing (ODP) standardization initiative. The ODP architectural semantics describes the application of formal description techniques (FDTs) to the speciication of ODP systems. Of the available FDTs, Z is likely to be used for at least the information, and possibly other, viewpoints, whilst LOTOS is a strong candidate for use in the computational viewpoint. Mechanisms are clearly needed to support the parallel development, and integration of, viewpoints using these FDTs. We compare the LOTOS bisimulation relations and the reduction relations to the Z reenement relation showing that failure-traces reenement corresponds closely to reenement in Z.