document: A formal framework for viewpoint consistency Multiple viewpoint models of system development are becoming increasingly important . Each viewpoint offers a different perspective on the target system and system development involves parallel refinement of the multiple views . Viewpoint related approaches have been considered in a number of different guises by a spectrum of researchers . Our work particularly focuses on the use of viewpoints in open distributed processing -LRB- ODP -RRB- which is an ISO/ITU standardisation framework . The requirements of viewpoint modelling in ODP are very broad and , hence , demanding . Multiple viewpoints , though , prompt the issue of consistency between viewpoints . This paper describes a very general interpretation of consistency which we argue is broad enough to meet the requirements of consistency in ODP . We present a formal framework for this general interpretation ; highlight basic properties of the interpretation and locate restricted classes of consistency . Strategies for checking consistency are also investigated . Throughout we illustrate our theory using the formal description technique LOTOS . Thus , the paper also characterises the nature of and options for consistency checking in LOTOS
doc_bio_tags: O B I O B I B I I O B I O O O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I I O B O O O O O O O O O O O O O O B O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O B I I B O O O O O O O O O O O O O B I O B
extractive_keyphrases: multiple viewpoint models formal framework viewpoint consistency system development open distributed processing odp consistency checking formal description technique lotos
abstractive_keyphrases: iso/itu standardisation framework development models process algebra