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.
{"title":"An approach to web services oriented modeling and validation","authors":"Yujian Fu, Zhijiang Dong, Xudong He","doi":"10.1145/1138486.1138504","DOIUrl":"https://doi.org/10.1145/1138486.1138504","url":null,"abstract":"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.","PeriodicalId":423656,"journal":{"name":"Proceedings of the 2006 international workshop on Service-oriented software engineering - SOSE '06","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126868559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：