An approach to web services oriented modeling and validation

Web services provide a language-neutral, loosely-coupled, and platform independent way for linking applications within organizations or enterprises across the Internet. Web services communicate with each other via XML format messages. This paper presents a web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (SoftwareArchitecture Model[16]) to the web service applications, as well as a validation of the model and a case study. SO-SAM is an executable architectural model incorporating Predicate Transition Nets with the style and understandability of component-based concepts. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. We believe that SO-SAM facilitates the verification and monitoring of web services integrationsince SO-SAM fits the distributed nature of modern composite web services. In order to validate the model against system properties, we rewrite the SO-SAM into the XMLformat, and validate SO-SAM using a SAM support tool, SAM parser. Finally, a case study of the validation of the model is demonstrated.