DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition

This chapter presents two research projects applying context in Web services. A Web service is an accessible application that other applications and humans can discover and invoke to satisfy multiple needs. While much of the work on Web services has up to now focused on low-level standards for publishing, discovering, and triggering Web services, several arguments back the importance of making Web services aware of their context. In the ConCWS project, the focus is on using context during Web-services composition, and in the ConPWS project, the focus is on using context during Web-services personalization. In both projects, various concepts are used such as software agents, conversations, and policies. For instance, software agents engage in conversations with their peers to agree on the Web services that participate in a composition. Agents’ engagements are regulated using policies.

Download Full-text

The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

2013 Fifth International Conference on Service Science and Innovation ◽

10.1109/icssi.2013.46 ◽

2013 ◽

Cited By ~ 5

Author(s):

Ching-Seh Wu ◽

Chi-Hsin Huang

Keyword(s):

Web Services ◽

Finite State Machine ◽

State Machine ◽

Web Services Composition ◽

Services Composition ◽

Finite State ◽

Extended Finite State Machine ◽

The Web

Download Full-text

The generic genetic algorithm incorporates with rough set theory – An application of the web services composition

Expert Systems with Applications ◽

10.1016/j.eswa.2008.06.084 ◽

2009 ◽

Vol 36 (3) ◽

pp. 5549-5556 ◽

Cited By ~ 32

Author(s):

Wen-Yau Liang ◽

Chun-Che Huang

Keyword(s):

Genetic Algorithm ◽

Web Services ◽

Set Theory ◽

Rough Set ◽

Rough Set Theory ◽

Web Services Composition ◽

Services Composition ◽

The Web

Download Full-text

Mechanisms for Automatic Web Service Composition

Next Generation Mobile Networks and Ubiquitous Computing ◽

10.4018/978-1-60566-250-3.ch017 ◽

2010 ◽

pp. 175-186

Author(s):

Quan Yuan ◽

Mihai Fonoage ◽

Ionut Cardei

Keyword(s):

Web Services ◽

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Web Services Composition ◽

Services Composition ◽

Composition Methods ◽

Efficient Integration ◽

The Web

This chapter introduces the web services composition as a means of studying efficient integration of the existing web services to satisfy users’ requirements. It discusses the web services composition definition, combined with the current web services composition methods, and divides those methods into two categories: AI-based methods and Non-AI methods. Also, the authors present the features and the comparison of these two categories, to assist researchers in the understanding of web service composition in a variety of contexts.

Download Full-text

Towards a Personalized Web Services Composition Approach

10.5772/intechopen.97813 ◽

2021 ◽

Author(s):

Sarra Abidi ◽

Fathia Bettaher ◽

Myriam Fakhri

Keyword(s):

Web Services ◽

Service Composition ◽

User Profile ◽

Web Services Composition ◽

User Interactions ◽

Complex Needs ◽

Services Composition ◽

User Demand ◽

Dynamic Services ◽

The Web

Generally available Web Services (WS) can not meet the complex needs of users and their adaptation to the environment remains a major problem for the design of information systems. The web services composition comes to address the satisfaction of new and complex needs such as the process we find in most organizations. Its purpose is to perform several services to meet user demand. The satisfaction of a user needs a dynamic and reusable environment to meet those needs. In this context, the user interactions are essential. From there, in this work, we define two objectives: i) propose a service composition approach that allows dynamic services composition and its purpose is to meet a need. ii) Propose a personalization approach for Web services composition which allows the reuse of services while adopting for the context of each user. Our approach is based on the use of ontologies and user profile.

Download Full-text

Apply Rough Set Theory into the Web Services Composition

22nd International Conference on Advanced Information Networking and Applications (aina 2008) ◽

10.1109/aina.2008.52 ◽

2008 ◽

Cited By ~ 4

Author(s):

Wen Yau Liang

Keyword(s):

Web Services ◽

Set Theory ◽

Rough Set ◽

Rough Set Theory ◽

Web Services Composition ◽

Services Composition ◽

The Web

Download Full-text

Applying Formal Methods to Verify Web Services Orchestration and Choreography

Multidisciplinary Approaches to Service-Oriented Engineering - Advances in Computer and Electrical Engineering ◽

10.4018/978-1-5225-5951-1.ch011 ◽

2018 ◽

pp. 221-243

Author(s):

Zohra Sbai

Keyword(s):

Model Checking ◽

Web Services ◽

Special Class ◽

Added Value ◽

Model Checker ◽

Web Services Composition ◽

Services Composition ◽

Formal Framework ◽

Services Orchestration ◽

The Web

The contribution presented in this chapter is to provide a formal framework ensuring the model checking based verification of the Composition of Web Services (WSC). For this, the authors propose first to model the web services composition by an interaction of open workflow nets: a special class of Petri nets. Then, they detail how to check behavioral properties specified in temporal logic using the model checker NuSMV. A WSC is with added value only if the involved services are compatible. So, in this context, across the translation proposed, the authors develop a verification layer of the WSC compatibility. This work is developed in a framework named D&A4WSC which allows to model the WSC by oWF-nets and to check their compatibility by invoking the model checker NuSMV. Furthermore, the authors extended D&A4WSC so that it permits a web services choreography described in a WS-CDL specification. For this they developed a translation from WS-CDL to a composition of oWF-nets, so that one can verify this choreography by the aforementioned approach.

Download Full-text