发布求助
文献互助 智能选刊 最新文献

2008 Sixth European Conference on Web Services最新文献

筛选
英文 中文
Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes 检查Web流程中业务逻辑和交互逻辑之间控制流和数据流兼容性的必要条件
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.18
María José Ibáñez, P. Álvarez, J. Ezpeleta
{"title":"Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes","authors":"María José Ibáñez, P. Álvarez, J. Ezpeleta","doi":"10.1109/ECOWS.2008.18","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.18","url":null,"abstract":"Web-based applications require a flexible adaptation to the changing environment. One of the elements to achieve this aim is based on the flexible use of interaction protocols. Another key element is the separation between business process logic and interaction actions, so that runtime-depending parameters can influence the selection and parametrization of the appropriate interaction protocol. This opens the necessity of verifying whether the implementation of a given business process logic is \"compatible\" with a given interaction protocol. In this paper we adopt the use of ontologies for the description of the information to be exchanged between a workflow (implementing a business process) and a role (view of an interaction protocol) and show how the use of Petri net analysis techniques can be applied for proving whether a given workflow and a given role are compatible in the DENEB environment, a platform for the Development and Execution of Web processes.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123090313","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}
引用次数: 6
Automatic Timed Test Case Generation for Web Services Composition 自动定时生成Web服务组合测试用例
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.14
M. Lallali, Fatiha Zaïdi, A. Cavalli, Iksoon Hwang
{"title":"Automatic Timed Test Case Generation for Web Services Composition","authors":"M. Lallali, Fatiha Zaïdi, A. Cavalli, Iksoon Hwang","doi":"10.1109/ECOWS.2008.14","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.14","url":null,"abstract":"In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method to test composite Web service described in BPEL. As a first step, the BPEL specification is transformed into an Intermediate Format (IF) model that is based on timed automata, which enables modeling of timing constraints.We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Test case generation is based on simulation where the exploration is guided by test purposes. The proposed method was implemented in a set of tools which were applied to a common Web service as a case study.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115017592","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}
引用次数: 59
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems 递归和并行BPEL系统的自动协议一致性检查
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.11
A. Both, W. Zimmermann
{"title":"Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems","authors":"A. Both, W. Zimmermann","doi":"10.1109/ECOWS.2008.11","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.11","url":null,"abstract":"Today model checking of Web Services formulated in BPEL is often reduced by transforming BPEL-processes to Petri nets. These can be model checked using traditional approaches. If recursion is present in the BPEL model this approach hides some possible violations of the wished behaviour. We present an approach which allows the Web Service developer to formulate more properties of the required usage of the Web Service and provide a tool that checks whether these requirements are satisfied in a Web Service based system. We use finite state machines to specify permitted sequences of receivable interactions and call them service protocols. In this paper we will show that it is possible to use BPEL representations and service protocols to check if a sequence of receivable interactions that violates a service protocol can occur. We achieve this result by translating BPEL to Process Algebra Nets (introduced by Mayr ) and applying the approach of Mayr for model checking Process Algebra Nets. Our approach computes counterexamples even for recursive and parallel programs including synchronization.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"368 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116450046","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}
引用次数: 18
Towards Extending Service Discovery with Automated Composition Capabilities 用自动组合功能扩展服务发现
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.31
R. Vaculín, Roman Neruda, K. Sycara
{"title":"Towards Extending Service Discovery with Automated Composition Capabilities","authors":"R. Vaculín, Roman Neruda, K. Sycara","doi":"10.1109/ECOWS.2008.31","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.31","url":null,"abstract":"In most of research, service composition and discovery are treated separately. In the composition, it is assumed that primitive services are known to the composition component in advance. At the same time, in matchmaking algorithms, usually only one service is considered as a suitable candidate satisfying a query while service combinations are not allowed. The problem is that in realistic composition or mediation scenarios in dynamic environments some specific gap can be bridged only by using a combination of several services which are not known and need to be discovered. We consider such a situation and we propose an approach using a combined match and a composed match. We give a characterization of these two matching types and we develop appropriate matching algorithms.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117071130","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}
引用次数: 7
Validating Orchestration of Web Services with BPEL and Aggregate Signatures 使用BPEL和聚合签名验证Web服务的编排
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.9
C. Blundo, Emiliano De Cristofaro, Clemente Galdi, G. Persiano
{"title":"Validating Orchestration of Web Services with BPEL and Aggregate Signatures","authors":"C. Blundo, Emiliano De Cristofaro, Clemente Galdi, G. Persiano","doi":"10.1109/ECOWS.2008.9","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.9","url":null,"abstract":"In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web service orchestration.Whereas much attention has been dedicated to security issues for Web services, no standard and practical solutions have been provided to secure workflows. In this paper, we address a recent cryptographic tool, aggregate signatures, to validate the orchestration by requiring all partners to sign the result of their computation. Security operations are performed during the orchestration and require no change in the services implementation. We present a prototype implementation for validating linear workflows and we evaluate its performance. We further give a generalization of our basic scheme that can be used to validate generic workflows.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115214222","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}
引用次数: 5
The Analytical Hierarchy Process Approach for Prioritizing Features in the Selection of Web Service Web服务选择中特征优先级排序的层次分析法
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.21
Manish Godse, R. Sonar, Shrikant Mulik
{"title":"The Analytical Hierarchy Process Approach for Prioritizing Features in the Selection of Web Service","authors":"Manish Godse, R. Sonar, Shrikant Mulik","doi":"10.1109/ECOWS.2008.21","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.21","url":null,"abstract":"A selection of an appropriate Web service can be viewed as a multi-criteria decision-making problem involving selection of multi-attribute candidate service from a set of available services. This selection should not be based on intuition but need thorough understanding of the decision problem and the process to prioritize the features and, hence services. This study proposes analytical hierarchy process (AHP) approach for prioritizing Web service features, thus aiding the decision making process in a quantitative way. The AHP method is a way of solving the decision problem by pairwise comparison of elements with consistency in results. An illustrative problem for prioritizing Web service features is also detailed here so as to substantiate our proposal.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127111687","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}
引用次数: 24
GLUE2: A Web Service Discovery Engine with Non-Functional Properties glu2:具有非功能属性的Web服务发现引擎
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.12
A. Carenini, D. Cerizza, M. Comerio, Emanuele Della Valle, F. D. Paoli, A. Maurino, M. Palmonari, A. Turati
{"title":"GLUE2: A Web Service Discovery Engine with Non-Functional Properties","authors":"A. Carenini, D. Cerizza, M. Comerio, Emanuele Della Valle, F. D. Paoli, A. Maurino, M. Palmonari, A. Turati","doi":"10.1109/ECOWS.2008.12","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.12","url":null,"abstract":"The increasing availability of Web services asked for investigating ways to automate the discovery process. Discovery processes enhanced with semantics can be recognize to be general, but often they lack the flexibility needed in specific domains. In this paper, we propose the flexible architecture of the discovery engine Glue2, which comes with a powerful set of discovery components (for functional matching, non-functional matching, data fetching, etc.) that can be executed in different order as required by specific execution workflows.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133964955","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}
引用次数: 26
Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions Takuan: WS-BPEL组合的动态不变生成系统
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.17
M. Palomo-duarte, A. García-Domínguez, I. Medina-Bulo
{"title":"Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions","authors":"M. Palomo-duarte, A. García-Domínguez, I. Medina-Bulo","doi":"10.1109/ECOWS.2008.17","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.17","url":null,"abstract":"Web Services composition languages, such as the OASIS WS-BPEL 2.0 standard, open a vast new field for programming in the large. But they also present a challenge for traditional white-box testing techniques, due to the inclusion of specific instructions for concurrency, fault and compensation handling, dynamic service discovery and invocation, etc. Dynamic likely invariant generation has been successfully used to assist white-box testing of traditional imperative programs. We have implemented Takuan, a dynamic invariant generation system which infers likely invariants from actual execution logs of a WS-BPEL composition. We describe our experience during its development and show our first results based on the well-known loan example. These promising results point out that, with some refinements, Takuan can become an interesting aid in WS-BPEL composition white-box testing.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125445707","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}
引用次数: 13
A Management Framework for WS-BPEL 用于WS-BPEL的管理框架
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.25
Tammo van Lessen, F. Leymann, Ralph Retter, Jörg Nitzsche, Daniel Schleicher
{"title":"A Management Framework for WS-BPEL","authors":"Tammo van Lessen, F. Leymann, Ralph Retter, Jörg Nitzsche, Daniel Schleicher","doi":"10.1109/ECOWS.2008.25","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.25","url":null,"abstract":"WS-BPEL is the standard to define executable business processes in a Web service world. Numerous commercial and open source BPEL engines exist on the market today that allow the execution of process models defined in BPEL. However, these execution engines only provide access to process model and process instance data in terms of proprietary APIs. In this paper we present an approach that models BPEL process models and process instances as resources and thus provides a uniform access scheme for process model and process instance data. This is crucial because access to process model and process instance data is needed in different scenarios that are of key relevance in enterprises today. These scenarios include compliance checking, repair of faulted business processes as well as real-time monitoring of business processes. The lack of a uniform access scheme to process model and process instance data hampers the exchangeability of BPEL engines and therefore results in a potential vendor lock-in.","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130191787","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}
引用次数: 32
Ontologising Interaction Behavior for Service-Oriented Enterprise Healthcare Integration 为面向服务的企业医疗保健集成对交互行为进行本体化
2008 Sixth European Conference on Web Services Pub Date : 2008-11-12 DOI: 10.1109/ECOWS.2008.28
Ratnesh Sahay, Ronan Fox, M. Hauswirth
{"title":"Ontologising Interaction Behavior for Service-Oriented Enterprise Healthcare Integration","authors":"Ratnesh Sahay, Ronan Fox, M. Hauswirth","doi":"10.1109/ECOWS.2008.28","DOIUrl":"https://doi.org/10.1109/ECOWS.2008.28","url":null,"abstract":"In this paper we analyse the HL7 healthcare standard as an integration mechanism to connect service-oriented healthcare enterprises. Healthcare enterprises differ in their process model even if they follow same standard. This difference is due to the way in which healthcare is influenced by various stakeholders within regional clinical practices. Thus the design of the interaction behaviour i.e., HL7 interactions, of communicating healthcare enterprises is subject to local implementation. We present an example scenario that shows how heterogeneous process models evolve, even if healthcare care enterprises follow a similar standard such as HL7. We present an approach that enables the ldquoseparation of the process layerrdquo from HL7 profiles to enable control and to resolve the heterogeneity of the enterprise interaction behavior. We apply semantics on top of HL7 profiles to resolve ambiguity and heterogeneity in the service and process definitions of HL7 compliant healthcare enterprises. We propose an integration platform called PPEPR: Plug and Play Electronic Patient Records, which is based on the principals of semantic Service-Oriented Architecture (sSOA).","PeriodicalId":227761,"journal":{"name":"2008 Sixth European Conference on Web Services","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116410864","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}
引用次数: 3
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信