Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Complete Compatibility

Handbook of Research on Information Security and Assurance
A component, as described by its Temporal Interaction Contract (TIC) T1, is said to be completely compatible to another TIC, T2, iff, starting from the initial state, every input message of T1 can be contained by an output message of T2 or every output message of T1 can be contained by an input message of T2.
Published in Chapter:
Assurance for Temporal Compatibility Using Contracts
Omkar J. Tilak (Indiana University-Purdue University Indianapolis, USA)
Copyright: © 2009 |Pages: 12
DOI: 10.4018/978-1-59904-855-0.ch031
Abstract
Software realization of a large-scale Distributed Computing System (DCS) is achieved through the Componentbased Software Development (CBSD) approach. A DCS consists of many autonomous components that interact with each other to coordinate each system activity. The need for such coordination, along with requirements such as heterogeneity, scalability, security, and availability, considerably increases the complexity of code in a distributed system. This chapter depicts a formal method to specify component interactions involving temporal constraints. Using the component interactions, various types of temporal interaction compatibility classes are defined. A simple case study is presented that indicates the benefits of the component interaction specifications discussed in this chapter.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR