document: ASDL : a wide spectrum language for designing web services A Service oriented system emerges from composition of services . Dynamically composed reactive Web services form a special class of service oriented system , where the delays associated with communication , unreliability and unavailability of services , and competition for resources from multiple service requesters are dominant concerns . As complexity of services increase , an abstract design language for the specification of services and interaction between them is desired . In this paper , we present ASDL ( Abstract Service Design Language ) , a wide spectrum language for modelling Web services . We initially provide an informal description of our computational model for service oriented systems . We then present ASDL along with its specification oriented semantics defined in Interval Temporal Logic ( ITL ) : a sound formalism for specifying and reasoning about temporal properties of systems . The objective of ASDL is to provide a notation for the design of service composition and interaction protocols at an abstract level .
doc_bio_tags: B O O B I O O O B I 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 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 O O O O B I O O O B I O O O O O O O O O B I 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 B O O O O O O O O O O O O O O O O O O O