Constraint-based modeling of interoperability problems using an object-oriented approach

  • Mohammed H. Sqalli
  • , Eugene C. Freuder

Research output: Contribution to conferencePaperpeer-review

Abstract

ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices that implement the same protocol. In ADIOP, each interoperability test case is first modeled as a Constraint Satisfaction Problem. Object-Oriented Programming is used to implement ADIOP. In this paper, we present the modeling language we use in ADIOP and how it allows the user to easily and efficiently create test cases and use them for diagnosis. The specific domain of application is interoperability testing of protocols in ATM (Asynchronous Transfer Mode) networks.

Original languageEnglish
Pages87-94
Number of pages8
Publication statusPublished - 2001
Externally publishedYes
EventProceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference - Seattle, WA, United States
Duration: 7 Aug 20019 Aug 2001

Conference

ConferenceProceedings of the Thirteenth Innovative Applications of Artificial Intelligence Conference
Country/TerritoryUnited States
CitySeattle, WA
Period7/08/019/08/01

Fingerprint

Dive into the research topics of 'Constraint-based modeling of interoperability problems using an object-oriented approach'. Together they form a unique fingerprint.

Cite this