An Introduction to Simulation-Based Techniques for Automated Service Composition

This work is an introduction to the author's contributions to the SOC area, resulting from his PhD research activity. It focuses on the problem of automatically composing a desired service, given a set of available ones and a target specification. As for description, services are represented as finite-state transition systems, so to provide an abstract account of their behavior, seen as the set of possible conversations with external clients. In addition, the presence of a finite shared memory is considered, that services can interact with and which provides a basic form of communication. Rather than describing technical details, we offer an informal overview of the whole work, and refer the reader to the original papers, referenced throughout this work, for all details

Verification and control of partially observable probabilistic systems

We present automated techniques for the verification and control of partially observable, probabilistic systems for both discrete and dense models of time. For the discrete-time case, we formally model these systems using partially observable Markov decision processes; for dense time, we propose an extension of probabilistic timed automata in which local states are partially visible to an observer or controller. We give probabilistic temporal logics that can express a range of quantitative properties of these models, relating to the probability of an event’s occurrence or the expected value of a reward measure. We then propose techniques to either verify that such a property holds or synthesise a controller for the model which makes it true. Our approach is based on a grid-based abstraction of the uncountable belief space induced by partial observability and, for dense-time models, an integer discretisation of real-time behaviour. The former is necessarily approximate since the underlying problem is undecidable, however we show how both lower and upper bounds on numerical results can be generated. We illustrate the effectiveness of the approach by implementing it in the PRISM model checker and applying it to several case studies from the domains of task and network scheduling, computer security and planning

AUTOMATED COMPOSITION OF WEB SERVICES VIA PLANNING IN ASYNCHRONOUS DOMAINS\ud

The service-oriented paradigm promises a novel degree of interoperability between\ud business processes, and is leading to a major shift in way distributed applications are\ud designed and realized. While novel and more powerful services can be obtained, in such\ud setting, by suitably orchestrating existing ones, manually developing such orchestrations\ud is highly demanding, time-consuming and error-prone. Providing automated service\ud composition tools is therefore essential to reduce the time to market of services, and\ud ultimately to successfully enact the service-oriented approach.\ud In this paper, we show that such tools can be realized based on the adoption and extension\ud of powerful AI planning techniques, taking the “planning via model-checking” approach\ud as a stepping stone. In this respect, this paper summarizes and substantially extends a\ud research line that started early in this decade and has continued till now. Specifically, this\ud work provides three key contributions.\ud First, we describe a novel planning framework for the automated composition of Web\ud services, which can handle services specified and implemented using industrial standard\ud languages for business processes modeling and execution, like ws-bpel. Since these\ud languages describe stateful Web services that rely on asynchronous communication\ud primitives, a distinctive aspect of the presented framework is its ability to model and\ud solve planning problems for asynchronous domains.\ud Second, we formally spell out the theory underlying the framework, and provide algorithms\ud to solve service composition in such framework, proving their correctness and\ud completeness. The presented algorithms significantly extend state-of-the-art techniques\ud for planning under uncertainty, by allowing the combination of asynchronous domains\ud according to behavioral requirements.\ud Third, we provide and discuss an implementation of the approach, and report extensive\ud experimental results which demonstrate its ability to scale up to significant cases for\ud which the manual development of ws-bpel composed services is far from trivial and time\ud consuming

Digital twin as risk-free experimentation aid for techno-socio-economic systems

Environmental uncertainties and hyperconnectivity force techno-socio-economic systems to introspect and adapt to succeed and survive. Current practice is chiefly intuition-driven which is inconsistent with the need for precision and rigor. We propose that this can be addressed through the use of digital twins by combining results from Modelling & Simulation, Artificial Intelligence, and Control Theory to create a risk free ‘in silico’ experimentation aid to help: (i) understand why system is the way it is, (ii) be prepared for possible outlier conditions, and (iii) identify plausible solutions for mitigating the outlier conditions in an evidence-backed manner. We use reinforcement learning to systematically explore the digital twin solution space. Our proposal is significant because it advances the effective use of digital twins to new problem domains that have greater impact potential. Our novel approach contributes a meta model for simulatable digital twin of industry scale techno-socio-economic systems, agent-based implementation of the digital twin, and an architecture that serves as a risk-free experimentation aid to support simulation-based evidence-backed decision-making. We also discuss validation of this approach, associated technology infrastructure, and architecture through a representative sample of industry-scale real-world use cases

An occam Style Communications System for UNIX Networks

This document describes the design of a communications system which provides occam style communications primitives under a Unix environment, using TCP/IP protocols, and any number of other protocols deemed suitable as underlying transport layers. The system will integrate with a low overhead scheduler/kernel without incurring significant costs to the execution of processes within the run time environment. A survey of relevant occam and occam3 features and related research is followed by a look at the Unix and TCP/IP facilities which determine our working constraints, and a description of the T9000 transputer's Virtual Channel Processor, which was instrumental in our formulation. Drawing from the information presented here, a design for the communications system is subsequently proposed. Finally, a preliminary investigation of methods for lightweight access control to shared resources in an environment which does not provide support for critical sections, semaphores, or busy waiting, is made. This is presented with relevance to mutual exclusion problems which arise within the proposed design. Future directions for the evolution of this project are discussed in conclusion