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. 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 s at an ab...

• Type: Conference
• Year: 2006
• Where: WWW
• Authors: Monika Solanki, Antonio Cau, Hussein Zedan
• Keywords: Internet Technology, Multiple Service Requesters, Service Oriented Systems, Web Services, WWW 2006