By Topic

Towards an algebraic approach to interoperability

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Vakil, F. ; Bellcore, Morristown, NJ, USA

The Warfighter Information Network (WIN) will be an internet comprising a set of heterogeneous networks. Thus, it is essential to develop necessary tools that facilitate proper deployment and operation of WIN through expeditious interoperability testing and interface development. The communication, control, and management systems of a network (or an internet) essentially comprise a set of concurrent communicating sequential processes (CSP) that ensure the proper delivery of information from a sender to a receiver. The objective of this paper is to report the preliminary results of a study on the use of CSP algebra for developing algebraic definitions and criteria for interoperability of two distinct networks. It specifically focuses on the CSP models for a single network and an internet, and the criteria for interoperability of two distinct subnets of an internet. The preliminary results of this exercise indicate that: The end-to-end behavior of a correct protocol resembles an unbounded buffer process whose performance satisfies QoS requirements of the network; in principle, two distinct subnets with correct protocols are interoperable (or can be made so); at least part of the protocols of different subnets of an internet should be common; it is desirable that the subnets' management (and control) systems share a common application programming interface

Published in:

MILCOM 97 Proceedings  (Volume:3 )

Date of Conference:

2-5 Nov 1997