For Web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the Web-services is available. In this paper we present an infrastructure using USDL (universal service-semantics description language), a language for formally describing the semantics of Web-services. USDL is based on the Web Ontology Language (OWL) and employs WordNet as a common basis for understanding the meaning of services. USDL can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available Web-services, automated service composition, and other forms of automated service integration. A theory of safe service substitution for USDL is presented and proved sound and complete. The rationale behind the design of USDL along with its formal specification in OWL is presented with examples. We also compare USDL with other approaches like OWL-S and WSML and show that USDL is complementary to these approaches.
{"title":"A universal service-semantics description language","authors":"A. Bansal, S. Kona, Luke Simon, T. D. Hite","doi":"10.1109/ECOWS.2005.4","DOIUrl":"https://doi.org/10.1109/ECOWS.2005.4","url":null,"abstract":"For Web-services to become practical, an infrastructure needs to be supported that allows users and applications to discover, deploy, compose, and synthesize services automatically. This automation can take place only if a formal description of the Web-services is available. In this paper we present an infrastructure using USDL (universal service-semantics description language), a language for formally describing the semantics of Web-services. USDL is based on the Web Ontology Language (OWL) and employs WordNet as a common basis for understanding the meaning of services. USDL can be regarded as formal service documentation that will allow sophisticated conceptual modeling and searching of available Web-services, automated service composition, and other forms of automated service integration. A theory of safe service substitution for USDL is presented and proved sound and complete. The rationale behind the design of USDL along with its formal specification in OWL is presented with examples. We also compare USDL with other approaches like OWL-S and WSML and show that USDL is complementary to these approaches.","PeriodicalId":265552,"journal":{"name":"Third European Conference on Web Services (ECOWS'05)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127995167","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}
Tracking the execution of composite Web services to identify and adjust their specification according to the current features of the environment is a challenging issue. The concept of views, as a dynamic snapshot over this specification according to a given context, is proposed in this paper. A view is used as a support means for tracking the execution progress of composite Web services and deploying the corrective measures in case of non-compliance with users' requirements. Our contributions are a definition of what a view means in the context of Web services composition, an approach for specifying user context and its respective view, and mechanisms for extracting and visualizing views over specifications of composite services.
{"title":"A view-based approach for tracking composite Web services","authors":"D. Benslimane, Z. Maamar, C. Ghedira","doi":"10.1109/ECOWS.2005.6","DOIUrl":"https://doi.org/10.1109/ECOWS.2005.6","url":null,"abstract":"Tracking the execution of composite Web services to identify and adjust their specification according to the current features of the environment is a challenging issue. The concept of views, as a dynamic snapshot over this specification according to a given context, is proposed in this paper. A view is used as a support means for tracking the execution progress of composite Web services and deploying the corrective measures in case of non-compliance with users' requirements. Our contributions are a definition of what a view means in the context of Web services composition, an approach for specifying user context and its respective view, and mechanisms for extracting and visualizing views over specifications of composite services.","PeriodicalId":265552,"journal":{"name":"Third European Conference on Web Services (ECOWS'05)","volume":"240 S1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-11-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133205471","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
扫码关注我们
求助内容：
应助结果提醒方式：