Towards a formal framework for interoperability testing

被引：0
|
作者：
Viho, C [1 ]
Barbin, S [1 ]
Tanguy, L [1 ]
机构：
[1] Univ Rennes 1, IRISA IFSIC, F-35042 Rennes, France
来源：
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS | 2001年 / 69卷
关键词：
interoperability; test; architecture; relation; protocol; conformance;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper shows how the existing concepts of conformance testing can be used to define a formal framework for interoperability testing. First, the different possible interoperability testing architectures axe discussed. Then, we define several interoperability relations based on the existing, relations defined for conformance testing. A comparison of these relations is given, in terms of their power to detect non-interoperability. Some guidelines axe given to help in generating interoperability tests.
引用
收藏
页码：53 / 68
页数：16
相关论文
共 50 条
  • [1] Towards a Formal Framework for Workflow Interoperability
    Fernando, Sarah D. Induruwa
    Simpson, Andrew C.
    [J]. WEB SERVICES AND FORMAL METHODS, 2009, 5387 : 158 - 174
  • [2] Formal framework for semantic interoperability
    Ayadi, Nadia Yaacoubi
    Ben Ahmed, Mohamed
    Pollet, Yann
    [J]. ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2006, : 139 - +
  • [3] A Formal Approach to Protocol Interoperability Testing
    郝瑞兵
    吴建平
    [J]. Journal of Computer Science & Technology, 1998, (01) : 79 - 90
  • [4] A formal approach to protocol interoperability testing
    Ruibing Hao
    Jianping Wu
    [J]. Journal of Computer Science and Technology, 1998, 13 (1) : 79 - 90
  • [5] A formal approach to protocol interoperability testing
    Hao, RB
    Wu, JP
    [J]. NETWORKS: THE NEXT MILLENNINUM - THE IEEE SINGAPORE INTERNATIONAL CONFERENCE ON NETWORKS 1997, IEEE SICON'97, 1997, : 231 - 245
  • [6] Towards an Enterprise Interoperability Framework
    Kotze, Paula
    Neaga, Irina
    [J]. TECHNOLOGIES FOR CONTEXT-AWARE BUSINESS PROCESS MANAGEMENT, ADVANCED ENTERPRISE ARCHITECTURE AND REPOSITORIES AND RECENT TRENDS IN SOA BASED INFORMATION SYSTEMS, 2010, : 16 - 29
  • [7] A generic interoperability testing framework and a systematic development process for automated interoperability testing
    Thomas Rings
    Patrick Poglitsch
    Stephan Schulz
    Luca Serazio
    Theofanis Vassiliou-Gioles
    [J]. International Journal on Software Tools for Technology Transfer, 2014, 16 : 295 - 313
  • [8] A generic interoperability testing framework and a systematic development process for automated interoperability testing
    Rings, Thomas
    Poglitsch, Patrick
    Schulz, Stephan
    Serazio, Luca
    Vassiliou-Gioles, Theofanis
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (03) : 295 - 313
  • [9] Towards a Software Framework for Model Interoperability
    Dascalu, Sergiu
    Fritzinger, Eric
    Okamoto, Sohei
    Harris, Fred
    [J]. 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2011,
  • [10] Towards a framework for interoperability of executable architectures
    Mayer, Richard J.
    Benjamin, Peralcath
    Fernandes, Ronald
    [J]. PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COLLABORATIVE TECHNOLOGIES AND SYSTEMS: CTS 2008, 2008, : 555 - 557
12345