Specifying the interactin between informaiton sources

摘要

Recently there have been propposals for sophisticated infromations ystems which reuqire a numbe rof information surces to communicate with each other automonously.In this paper we discuss how such interactions, mitgh t be specified,using performanties specified in terms of preconditons,postconditions and completion conditios,identified with respect to conversation classes.