Event-B Formalisation of Web Services for Dynamic Composition

2012 ◽  
Author(s):  
Lazhar Hamel ◽  
Mohamed Graiet ◽  
Walid Gaaloul
Keyword(s):  
Web Services ◽  
Dynamic Composition

scholarly journals Diseño de Servicios Web Semánticos utilizando el desarrollo de software dirigido por modelos [Semantic Web Services design using model-driven software development]

2014 ◽  
Author(s):  
Wilman Vega ◽  
Henry Umaña
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Software Development ◽  
Semantic Web Services ◽  
Model Driven Development ◽  
Model Driven ◽  
Dynamic Composition ◽  
Palabras Clave ◽  
Wide Range ◽  
Model Driven Software Development

Resumen Los Servicios Web Semánticos ofrecen beneficios, que coadyuvan a la evolución de la Web, como el descubrimiento, invocación y composición dinámica y automática de recursos, habilitan efectivamente la interoperabilidad entre sistemas, permitiendo una amplia gama de nuevos servicios y oportunidades de negocios en la Internet. La estructura necesaria para proveer estos beneficios, hace que su desarrollo sea un proceso complejo, requiriendo establecer formas más fáciles y dinámicas que garanticen reutilización, calidad y rapidez. El desarrollo dirigido por modelos realiza una contribución eficiente en estos aspectos, dado que trabaja de manera intrínseca conceptos como separación de conceptos, reusabilidad e interoperabilidad entre componentes. En este artículo se presenta un enfoque para desarrollo de software dirigido por modelos, orientado al desarrollo de los servicios web semánticos, donde inicialmente se plantean las fases correspondientes al análisis, diseño y desarrollo dentro de la metodología propuesta, aplicando la metodología sobre un pequeño caso de estudio y obtener como resultado la estructura de un Servicio web semántico. Palabras Clave: Servicios web semánticos, Desarrollo dirigido por modelos, ontologías web.   Abstract Semantic Web Services offers benefits that contribute to Web evolution. Benefits such as automatic discovery and invocation, and dynamic composition, effectively enables systems interoperability, allowing a wide range of services and Internet businesses. The necessary structure to provide those benefits by Semantic Web Services makes its development a complex process. It necessary to establish more easy and dynamic ways to develop this kind of software, in order to assure reuse, quality and speediness in the development process. The model-driven software development makes an efficient contribution in those aspect, because it works intrinsically concepts related such separation of concerns, reusability and components interoperability. In this paper we present an approach to model-driven development software applied to Semantic Web Services. First, we establish the phases corresponding to the analysis, design and development in the proposal methodology, by applying it to a case of study we obtain the structure of a Semantic Web Services. Keywords: Semantic Web Services, Model-Driven Development, Web Ontologies.

Service-Oriented Agents and Meta-Model Driven Implementation

2005 ◽  
pp. 270-291 ◽  
Author(s):  
Yinsheng Li ◽  
Hamada Ghenniwa ◽  
Weiming Shen
Keyword(s):  
Web Services ◽  
Software Agents ◽  
Software Modeling ◽  
Semantic Description ◽  
Implementation Framework ◽  
Meta Model ◽  
Model Driven ◽  
Loosely Coupled ◽  
Dynamic Composition ◽  
Service Oriented

Current efforts have not enforced Web services as loosely coupled and autonomous entities. Web services and software agents have gained different focuses and accomplishments due to their development and application backgrounds. This chapter proposes service-oriented agents (SOAs) to unify Web services and software agents. Web services features can be well realized through introducing software agents’ sophisticated software modeling and interaction behaviors. We present a natural framework to integrate their related technologies into a cohesive body. Several critical challenges with SOAs have been addressed. The concepts, system and component structures, a meta-model driven semantic description, agent-oriented knowledge representation, and an implementation framework are proposed and investigated. They contribute to the identified setbacks with Web services technologies, such as dynamic composition, semantic description, and implementation framework. A prototype of the proposed SOAs implementation framework has been implemented. Several economic services are working on it.

QoS-Aware Dynamic Composition of Web Services Using Numerical Temporal Planning

2014 ◽  
Vol 7 (1) ◽  
pp. 18-31 ◽  
Author(s):  
Guobing Zou ◽  
Qiang Lu ◽  
Yixin Chen ◽  
Ruoyun Huang ◽  
You Xu ◽  
...  
Keyword(s):  
Web Services ◽  
Dynamic Composition ◽  
Temporal Planning

A FRAMEWORK FOR ADAPTIVE AND DYNAMIC COMPOSITION OF WEB SERVICES

2005 ◽  
Vol 06 (03) ◽  
pp. 209-228 ◽  
Author(s):  
QUSAY H. MAHMOUD ◽  
WASSAM ZAHREDDINE
Keyword(s):  
Web Services ◽  
Web Service ◽  
Open Problem ◽  
Proof Of Concept ◽  
Dynamic Composition ◽  
Novel Approach ◽  
Semantic Ontology ◽  
Inputs And Outputs

The modularity of web services has left an open problem in composition, a scenario that involves an amalgamation of two or more web services to fulfill a request that no one web service is able to provide. This paper presents a framework for adaptive and dynamic composition of web services, enabling web services to be discovered either statically or dynamically by utilizing a semantic ontology to describe web services and their methods. This novel approach gives greater control on how web services are dynamically discovered by allowing the application developer to specify how matches are made, which goes beyond the present techniques of semantically matching inputs and outputs along with classification taxonomies. We utilize the Composite Capabilities/Preferences Profiles (CC/PP) to adapt the interface and content to be compatible with virtually any device. A proof of concept implementation has been constructed that enables users of any device to dynamically discover context-based services that will be dynamically composed to satisfy a user's request. In addition, we have designed and implemented a UDDI-like registry to support context-based adaptive composition of web services. Existing web services can be easily adapted and new web services can be effortlessly deployed.

scholarly journals Proactively Composing Web Services as Tasks by Semantic Web Agents

2011 ◽  
pp. 217-246
Author(s):  
Vadim Ermolayev ◽  
Natalya Keberle ◽  
Oleksandr Kononenko ◽  
Vagan Terziyan
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Web Service ◽  
Asset Management ◽  
Document Retrieval ◽  
Mobile Service ◽  
Layered Architecture ◽  
Dynamic Composition ◽  
Ongoing Work ◽  
And Performance

This chapter presents the framework for agent-enabled dynamic composition of Semantic Web services. The approach and the framework have been developed in several research and development projects by ISRG and IOG. The core of the methodology is the new understanding of a Semantic Web service as a capability of an intelligent software agent supplied with the proper ontological description. It is demonstrated how diverse Web services may be composed and mediated by dynamic coalitions of software agents collaboratively performing tasks for service requestors. Middle agent layer is introduced to conduct the transformation of a Web service request to the corresponding task, agent-enabled cooperative task decomposition and performance. Discussed are the formal means to arrange agents’ negotiation, to represent the semantic structure of task-activity-service hierarchy and to assess fellow-agents’ capabilities and credibility factors. It is argued that the presented technique is applicable to various application domains. Presented is the ongoing work on designing and implementing agent-based layered architecture for intelligent rational information and document retrieval. Finally, the discussion of the OntoServ.Net framework for the development of P2P mobile service infrastructures for industrial asset management provides the extension of the Web service composition approach.

Sign in / Sign up

Export Citation Format

Share Document