The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
The Capability Matching of Web Services
MSE '02 Proceedings of the Fourth IEEE International Symposium on Multimedia Software Engineering
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modeling, validating and automating composition of web services
ICWE '06 Proceedings of the 6th international conference on Web engineering
Formalizing and validating UML architecture description of web systems
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
EPN-Based Web Service Composition Approach
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Formal Modeling and Verification of Security Property in Handel C Program
International Journal of Secure Software Engineering
| Hi-index | 0.00 |
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.