Models for contract conformance

被引：2
|
作者：
Rajamani, Sriram. K.
Rehof, Jakob
机构：
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS | 2006年 / 4313卷
关键词：
D O I：
10.1007/11925040_12
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We have implemented a contract checker for asynchronous, message-passing applications to check that service implementations conform to behavioural contracts. Our contract checker is based on a process algebraic theory of conformance and is implemented on top of a software model checker, Zing. The purpose of this paper is to explain the model construction implemented by our contract checker and how it is related to a mathematical theory of conformance. In addition, we point out current and future research directions in model construction for conformance checking in the presence of channel-passing.
引用
收藏
页码：181 / 196
页数：16
相关论文
共 50 条
  • [1] Contract Compliance and Choreography Conformance in the Presence of Message Queues
    Bravetti, Mario
    Zavattaro, Gianluigi
    WEB SERVICES AND FORMAL METHODS, 2009, 5387 : 37 - 54
  • [2] Towards a unifying theory for choreography conformance and contract compliance
    Bravetti, Mario
    Zavattaro, Gianluigi
    SOFTWARE COMPOSITION, 2007, 4829 : 34 - 50
  • [3] Conformance Checking: Relating Processes and Models
    Carmona, Josep
    van Dongen, Boudewijn
    Weidlich, Matthias
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 700 - 700
  • [4] Extended Design-by-Contract approach to specification and conformance testing of distributed software
    Kuliamin, Victor
    Pakoulin, Nickolay
    Petrenko, Alexander
    WMSCI 2005: 9TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 7, 2005, : 65 - 70
  • [5] Guaranteed Conformance of Neurosymbolic Models to Natural Constraints
    Sridhar, Kaustubh
    Dutta, Souradeep
    Weimer, James
    Lee, Insup
    LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 211, 2023, 211
  • [6] Evaluation of Markov Models for Architecture Conformance Checking
    Rodriguez, Guillermo
    Armentano, Marcelo
    Soria, Alvaro
    Corengia, Emilio
    IEEE LATIN AMERICA TRANSACTIONS, 2020, 18 (01) : 43 - 50
  • [7] Verifying Conformance of Neural Network Models.
    Narasimhamurthy, Monal
    Kushner, Taisa
    Dutta, Souradeep
    Sankaranarayanan, Sriram
    2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
  • [8] Integrated orbital motion equations with conformance models
    May, DH
    AIAA GUIDANCE, NAVIGATION, AND CONTROL CONFERENCE, VOLS 1-3: A COLLECTION OF TECHNICAL PAPERS, 1999, : 609 - 618
  • [9] Evaluating conformance of UML models to design patterns
    Kim, DK
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 30 - 31
  • [10] MODELS FOR MEASURING AND ACCOUNTING FOR COST OF CONFORMANCE QUALITY
    NANDAKUMAR, P
    DATAR, SM
    AKELLA, R
    MANAGEMENT SCIENCE, 1993, 39 (01) : 1 - 16
12345