Interoperability Constraints and Requirements Formal Modelling and Checking Framework

被引：0
|
作者：
Chapurlat, Vincent [1 ]
Roque, Matthieu [1 ]
机构：
[1] Ecole Mines Ales, Lab Genie Informat & Ingn Prod LGI2P, F-30035 Nimes 5, France
来源：
ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: NEW CHALLENGES, NEW APPROACHES | 2010年 / 338卷
关键词：
System requirement; modeling; verification; interoperability requirement;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper aims to present and formalize the foundations of a modeling and checking framework for system requirements management. It is illustrated by the study of interoperability requirements having to be respected all along collaborative (private or public) processes.
引用
收藏
页码：219 / 226
页数：8
相关论文
共 50 条
  • [1] 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 - +
  • [2] Towards a Formal Framework for Workflow Interoperability
    Fernando, Sarah D. Induruwa
    Simpson, Andrew C.
    [J]. WEB SERVICES AND FORMAL METHODS, 2009, 5387 : 158 - 174
  • [3] Formal Method to Derive Interoperability Requirements and Guarantees
    El-Gendy, Hazem
    Amer, Magdi
    Talkhan, Ihab
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2013, 4 (01) : 9 - 14
  • [4] Towards a formal framework for interoperability testing
    Viho, C
    Barbin, S
    Tanguy, L
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 53 - 68
  • [5] CAD-MBSE interoperability for the checking of design requirements
    Brahmi, Rihab
    Hammadi, Moncef
    Aifaoui, Nizar
    Choley, Jean-Yves
    [J]. 2021 18TH INTERNATIONAL MULTI-CONFERENCE ON SYSTEMS, SIGNALS & DEVICES (SSD), 2021, : 1446 - 1451
  • [6] Interoperability in enterprise modelling: requirements and roadmap
    Ducq, Y
    Chen, D
    Vallespir, B
    [J]. ADVANCED ENGINEERING INFORMATICS, 2004, 18 (04) : 193 - 203
  • [7] Formal Model for Checking the Interoperability Between the Components of the IoT system
    Timenko, A., V
    Shkarupylo, V. V.
    Oliinyk, A. O.
    Hrushko, S. S.
    [J]. PROBLEMELE ENERGETICII REGIONALE, 2019, (1-1): : 69 - 78
  • [8] Survey and Consistency Checking of Formal Requirements Animations
    Ponsard, Christophe
    Deprez, Jean-Christophe
    [J]. 29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW 2021), 2021, : 364 - 370
  • [9] Learning from Constraints for Formal Property Checking
    In-Ho Moon
    Kevin Harer
    [J]. Journal of Electronic Testing, 2010, 26 : 243 - 259
  • [10] Learning from Constraints for Formal Property Checking
    Moon, In-Ho
    Harer, Kevin
    [J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2010, 26 (02): : 243 - 259
12345