136,390 research outputs found

    A Dynamic and Adaptable Service Composition Architecture in the Cloud Based on Multi-Agent Systems

    Full text link
    Nowadays, service composition is one of the major problems in the Cloud due to the exceptional growth in the number of services deployed by providers. Recently, atomic services have been found to be unable to deal with all client requirements. Traditional service composition gives the clients a composite service without non-functional parameters. To respond to both functional and non-functional parameters, we need a service composition. Since web services cannot communicate with each other or participate dynamically to handle changes service parameters in service composition, this issue has led us to use a dynamic entity represented by an agent based on dynamic architecture. This work proposes an agent-based architecture with a new cooperation protocol that can offer an automatic and adaptable service composition by providing a composite service with the maximum quality of service. The implementation of this model has been provided in order to evaluate the authors' system. The obtained results demonstrate the effectiveness of their proposed system

    Model Checking Commitment-Governed Compositions of Web Services

    Get PDF
    We propose a new approach towards verifying compositions of web services using model checking. In order to perform such a verification, we transform the web service composition into a Multi-Agent System (MAS) model where the process in charge of the composition and the participating services are represented by agents. We model the behavior of the resulting MAS using the extended Interpreted Systems Programming Language (ISPL+), the dedicated language of the MCMAS+ model checker for MAS. We use commitments between agents to regulate and reason about messages between composite web services. The properties against which the compositions are verified are expressed in the Computation Tree Logic of Commitments (CTLC), an extension of the branching logic CTL that supports commitment modalities. We describe BPEL2ISPL+, a tool we developed to perform the automatic transformation from the web service composition described in Business Process Execution Language (BPEL) into a verifiable MAS model described in ISPL+. The BPEL2ISPL+ tool is applied to a concrete BPEL web service composition and its accurate representation in ISPL+ is obtained. The CTLC properties used to verify the compositions regulated by commitments are represented along with the agents abstracting the participating web services. The MCMAS+ model checker is used to verify the model against these properties, providing thus a new approach to model check agent-based web service compositions governed by commitments

    Intelligent business processes composition based on mas, semantic and cloud integration (IPCASCI)

    Get PDF
    [EN]Component reuse is one of the techniques that most clearly contributes to the evolution of the software industry by providing efficient mechanisms to create quality software. Reuse increases both software reliability, due to the fact that it uses previously tested software components, and development productivity, and leads to a clear reduction in cost. Web services have become are an standard for application development on cloud computing environments and are essential in business process development. These services facilitate a software construction that is relatively fast and efficient, two aspects which can be improved by defining suitable models of reuse. This research work is intended to define a model which contains the construction requirements of new services from service composition. To this end, the composition is based on tested Web services and artificial intelligent tools at our disposal. It is believed that a multi-agent architecture based on virtual organizations is a suitable tool to facilitate the construction of cloud computing environments for business processes from other existing environments, and with help from ontological models as well as tools providing the standard BPEL (Business Process Execution Language). In the context of this proposal, we must generate a new business process from the available services in the platform, starting with the requirement specifications that the process should meet. These specifications will be composed of a semi-free description of requirements to describe the new service. The virtual organizations based on a multi-agent system will manage the tasks requiring intelligent behaviour. This system will analyse the input (textual description of the proposal) in order to deconstruct it into computable functionalities, which will be subsequently treated. Web services (or business processes) stored to be reused have been created from the perspective of SOA architectures and associated with an ontological component, which allows the multi-agent system (based on virtual organizations) to identify the services to complete the reuse process. The proposed model develops a service composition by applying a standard BPEL once the services that will compose the solution business process have been identified. This standard allows us to compose Web services in an easy way and provides the advantage of a direct mapping from Business Process Management Notation diagrams

    Logic-based coordination: a semantic approach to self-composition of services

    Get PDF
    Logic-based approaches have always been at the core of research concerning the coordination of multi-agent systems (MAS). Starting from the Shared Prolog, logic-based coordination models have evolved into comprehensive approaches for nowadays complex and distributed systems, such as IoT (e.g. ReSpecT) and self-organizing ones (e.g. Logic Fragment Coordination Model). Separately and in parallel to the emergence of MAS, research in the Web field has been focusing on providing technologies in support of the creation of Internet-based distributed systems in which automatic processes such as service discovery, invocation and composition are feasible. Integrating MAS and Web paradigms will help enable new and advanced operational and usage modalities of Web services, and vice versa. Those operational modalities, such as self-adaptation and self-management, are fundamental in today's scenarios characterized by dynamism. It is therefore presented a logic-based coordination model in which the self-composition of semantically annotated services is highly promoted and supported. A possible implementation is also provided in the form of a basic prototype developed using tuProlog, TuCSoN and ReSpecTX. Moreover, the assessment of the model is illustrated through formally defined scenarios

    Intelligent business processes composition based on multi-agent systems

    Get PDF
    This paper proposes a novel model for automatic construction of business processes called IPCASCI (Intelligent business Processes Composition based on multi-Agent systems, Semantics and Cloud Integration). The software development industry requires agile construction of new products able to adapt to the emerging needs of a changing market. In this context, we present a method of software component reuse as a model (or methodology), which facilitates the semi-automatic reuse of web services on a cloud computing environment, leading to business process composition. The proposal is based on web service technology, including: (i) Automatic discovery of web services; (ii) Semantics description of web services; (iii) Automatic composition of existing web services to generate new ones; (iv) Automatic invocation of web services. As a result of this proposal, we have presented its implementation (as a tool) on a real case study. The evaluation of the case study and its results are proof of the reliability of IPCASCI
    • …
    corecore