Web Service Composition creates new composite Web Services from the collection of existing ones to be composed further and embodies the added values and potential usages of Web Services. Web Service Composition includes two aspects: Web Service orchestration denoting a workflow-like composition pattern and Web Service choreography which represents an aggregate composition pattern. There were only a few works which give orchestration and choreography a relationship. In this paper, we introduce an architecture of Web Service Composition runtime which establishes a natural relationship between orchestration and choreography through a deep analysis of the two ones. Then we use an actor-based approach to design a language called AB-WSCL to support such an architecture. To give AB-WSCL a firmly theoretic foundation, we establish the formal semantics of AB-WSCL based on concurrent rewriting theory for actors. Conclusions that well defined relationships exist among the components of AB-WSCL using a notation of Compositionality is drawn based on semantics analysis. Our works can be bases of a modeling language, simulation tools, verification tools of Web Service Composition at design time, and also a Web Service Composition runtime with correctness analysis support itself.
This leads to emergence of the so-called process view @cite_42 and integration of two inner process can be implemented based on process views @cite_7 . A process view is an observable version of an inner process from outside and serves as the interface of an inner process.
@cite_42 @cite_7
1549828304 1608070605 2099640060 2963932186
The process of integrating knowledge coming from different sources has been widely investigated in the literature. Three distinct conceptual approaches to this problem have been most succesful: belief revision, merging and update. In this paper we present a framework that integrates these three approaches. In the proposed framework all three operations can be performed. We provide an example that can only be solved by applying more than one single style of knowledge integration and, therefore, cannot be addressed by anyone of the approaches alone. The framework has been implemented, and the examples shown in this paper (as well as other examples from the belief revision literature) have been successfully tested. In multi-enterprise cooperation, an enterprise must monitor the progress of private processes as well as those of the partners to streamline interorganizational workflows. In this work, a process-view model, which extends beyond the conventional activity-based process model, is applied to design workflows across multiple enterprises. A process-view is an abstraction of an implemented process. An enterprise can design various process-views for different partners according to diverse commercial relationships, and establish an integrated process that is comprised of private processes as well as the process-views that these partners provide. Participatory enterprises can obtain appropriate progress information from their own integrated processes, allowing them to collaborate more effectively. Furthermore, interorganizational workflows are coordinated through virtual states of process-views. This work develops a regulated approach to map the states between private processes and process-views. The proposed approach enhances prevalent activity-based process models to be adapted in open and collaborative environments. Taking an interaction network oriented perspective in informatics raises the challenge to describe deterministic finite systems which take part in networks of nondeterministic interactions. The traditional approach to describe processes as stepwise executable activities which are not based on the ordinarily nondeterministic interaction shows strong centralization tendencies. As suggested in this article, viewing processes and their interactions as complementary can circumvent these centralization tendencies. The description of both, processes and their interactions is based on the same building blocks, namely finite input output automata (or transducers). Processes are viewed as finite systems that take part in multiple, ordinarily nondeterministic interactions. The interactions between processes are described as protocols. The effects of communication between processes as well as the necessary coordination of different interactions within a processes are both based on the restriction of the transition relation of product automata. The channel based outer coupling represents the causal relation between the output and the input of different systems. The coordination condition based inner coupling represents the causal relation between the input and output of a single system. All steps are illustrated with the example of a network of resource administration processes which is supposed to provide requesting user processes exclusive access to a single resource. Active inference is emerging as a possible unifying theory ofperception and action in cognitive and computational neuro-science. On this theory, perception is a process of inferringthe causes of sensory data by minimising the error betweenactual sensations and those predicted by an innergenerative(probabilistic) model. Action on the other hand is drawn as aprocess that modifies the world such that the consequent sen-sory input meets expectations encoded in the same internalmodel. These two processes, inferring properties of the worldand inferring actions needed to meet expectations, close thesensory motor loop and suggest a deep symmetry betweenaction and perception. In this work we present a simpleagent-based model inspired by this new theory that offers in-sights on some of its central ideas. Previous implementationsof active inference have typically examined a “perception-oriented” view of this theory, assuming that agents are en-dowed with a detailed generative model of their surround-ing environment. In contrast, we present an “action-oriented”solution showing how adaptive behaviour can emerge evenwhen agents operate with a simple model which bears littleresemblance to their environment. We examine how variousparameters of this formulation allow phototaxis and presentan example of a different, “pathological” behaviour.