Sciweavers

WWW
2006
ACM

ASDL: a wide spectrum language for designing web services

14 years 4 months ago
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...
Monika Solanki, Antonio Cau, Hussein Zedan
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where WWW
Authors Monika Solanki, Antonio Cau, Hussein Zedan
Comments (0)