DocumentCode :
3208973
Title :
Reasoning about asynchronous behaviour in distributed systems
Author :
Henderson, Peter
Author_Institution :
Dept. of Electron. & Comput. Sci., Southampton Univ., UK
fYear :
2002
fDate :
2-4 Dec. 2002
Firstpage :
17
Lastpage :
24
Abstract :
When a new component is added to an existing, distributed system, it has to co-operate with existing components in a way that doesn´t interfere badly with the original system. Adding new components to an existing system is simplified if their communication is asynchronous. It allows for looser coupling. Unfortunately, the fact that the communication between components is asynchronous adds to the difficulty of reasoning about their behaviour This paper gives an illustrative example of a simple distributed system with asynchronous behaviour and discusses how its behaviour can be described and reasoned about in terms of goals. This formalises what we believe to be contemporary engineering practice. Experimental support for reasoning, including animation, is particularly appropriate and practical in these circumstances, because the properties which we must reason about are emergent rather than compositional.
Keywords :
distributed processing; open systems; asynchronous behaviour; contemporary engineering practice; distributed system; existing components; Animation; Application software; Banking; Buildings; Collaborative software; Computer architecture; Computer science; Design engineering; Internet; Large-scale systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Engineering of Complex Computer Systems, 2002. Proceedings. Eighth IEEE International Conference on
Conference_Location :
Greenbelt, MD, USA
Print_ISBN :
0-7695-1757-9
Type :
conf
DOI :
10.1109/ICECCS.2002.1181494
Filename :
1181494
Link To Document :
بازگشت