Heorhi Raik - Academia.edu (original) (raw)

Papers by Heorhi Raik

Proceedings of the International Conference on Automated Planning and Scheduling

The service-oriented paradigm is rapidly emerging as the key approach to develop distributed busi... more The service-oriented paradigm is rapidly emerging as the key approach to develop distributed business applications. Its enactment requires the ability to automatically coordinate existing services to realize novel and powerful desired functionalities, and planning-based solutions have proved to be strong candidates for this hard task. However, no current approach can satisfactorily coordinate stateful services that evolve continuously and indefinitely in an asynchronous way, such as e.g. notification services made increasingly available by business entities. This severely limits the practical applicability of current solutions. In this paper, we provide for the first time a full-fledged planning-based solution to the problem of continuously orchestrating stateful asynchronous services. To do so, we adopt a simple yet expressive requirement language, and we devise a novel planning algorithm that solves preference-ordered maintenability goals in the presence of exogenous events. Our a...

Contributor ...................... : FBK Author ............................. : Antonio Bucchiaro... more Contributor ...................... : FBK Author ............................. : Antonio Bucchiarone, Marco Pistore, Heorhi Raik and Adina Sirbu Reference Number .......... : ALLOW.FBK.D53.2011-01-14 Version ............................ : 2.0 – Final Date ................................. : 2011-01-14 Classification ................... : Public Circulation ....................... : Project Team Contract Start Date .......... : 2008-02-01 Duration: 42 Months Project Coordinator ......... : USTUTT Project Partner ................. : USTUTT (IPVS), USTUTT (IAAS), UNI PASSAU, FBK, Imperial, ULANC

Journal of Internet Services and Applications, 2017

In the last decade, many approaches to automated service composition have been proposed. However,... more In the last decade, many approaches to automated service composition have been proposed. However, most of them do not fully exploit the opportunities offered by the Internet of Services (IoS). In this article, we focus on the dynamicity of the execution environment, that is, any change occurring at run-time that might affect the system, such as changes in service availability, service behavior, or characteristics of the execution context. We indicate that any IoS-based application strongly requires a composition framework that supports for the automation of all the phases of the composition life cycle, from requirements derivation, to synthesis, deployment and execution. Our solution to this ambitious problem is an AI planning-based composition framework that features abstract composition requirements and context-awareness. In the proposed approach most human-dependent tasks can be accomplished at design time and the few human intervention required at run time do not affect the system execution. To demonstrate our approach in action and evaluate it, we exploit the ASTRO-CAptEvo framework, simulating the operation of a fully automated IoS-based car logistics scenario in the Bremerhaven harbor.

2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Socio-technical systems are systems where autonomous humans and distributed computational entitie... more Socio-technical systems are systems where autonomous humans and distributed computational entities collectively collaborate with each other and with the environment in order to satisfy their goals. To be resilient, socio-technical systems need to be able to adapt to the unexpected behaviours of humans as well as to exogenous changes in the environment. In this paper, we describe a novel framework for the development of social-technical systems where system adaptation is itself a collective process that is driven by awareness of the capabilities, goals, constraints and preferences of humans and entities, as well as knowledge of the environment. Our adaptation process is controlled by a multi-criteria decision making function that is combined with an analytic hierarchic process (AHP) to select best adaptation alternatives. The paper presents the formal model of our approach to collective adaptation and illustrates it for a smart mobility scenario supporting dynamically formed collectives of passengers, drivers, means of transportation, with service-based transportation providers.

2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

A collective adaptive system is composed of large numbers of autonomous and self-adaptive entitie... more A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.

Lecture Notes in Computer Science, 2010

ABSTRACT User-centric services bring additional constraints to the problem of automated service c... more ABSTRACT User-centric services bring additional constraints to the problem of automated service composition. While in business-centric settings the services are orchestrated in order to accomplish a specific business task, user-centric service composition should allow the user to decide and control which tasks are executed and how. This requires the ability not only to automatically compose different, often unrelated, services on the fly, but also to generate a flexible interaction protocol that allows the user to control and coordinate composition execution. In this paper we present a novel automated composition approach that aims to support user-centric service provisioning. Specifically, we associate the service to so-called service objects and provide a declarative notation to express composition requirements in terms of the evolution of those objects. On top of these objects we also define the user control activities and constraints. Using the automated planning techniques, our approach generates a service composition that orchestrates services in a way it is requested by the user.

2012 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS), 2012

ABSTRACT We present a logistic scenario, based on the sea port of Bremen, and a context-aware dyn... more ABSTRACT We present a logistic scenario, based on the sea port of Bremen, and a context-aware dynamic service-based system to support its operation. We also show how we have used it to evaluate our automated adaptation techniques.

Lecture Notes in Computer Science, 2012

CAptEvo is a framework for the adaptation and evolution of service-based business processes opera... more CAptEvo is a framework for the adaptation and evolution of service-based business processes operating in dynamic execution environments. In this demonstration, we apply the CAptEvo to a case study from the logistics domain and show its advantages in handling highly complex dynamic real-world business applications.

2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems, 2014

A collective adaptive system is composed of a set of heterogeneous, autonomous and self-adaptive ... more A collective adaptive system is composed of a set of heterogeneous, autonomous and self-adaptive entities that come into a collaboration with one another in order to improve the effectiveness with which they can accomplish their individual goals. In this paper, we offer a characterization of ensembles, as the main concept around which systems that exhibit collective adaptability can be built. Our conceptualization of ensembles enables to define a collective adaptive system as an emergent aggregation of autonomous and self-adaptive process-based elements. To elucidate our approach to ensembles and collective adaptation, we draw an example from a scenario in the urban mobility domain, we describe an architecture that enables that approach, and we show how our approach can address the problems posed by the motivating scenario.

2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), 2011

Business processes are typically used by organizations to meet a specific business goal by execut... more Business processes are typically used by organizations to meet a specific business goal by executing a set of coordinated activities realized through Web services and service compositions. Operating in open and dynamic environments, business processes often need to be adapted during the execution to react to changes and unexpected problems. The aim of this paper is to provide a dynamic and flexible way to adapt business processes to run-time context changes that impede the achievement of a business goal. We define a formal framework that uses a planning technique to adapt the execution of the service-based business process at runtime in case of context changes. The adaptation enables the business process to continue its normal execution by recovering it to a context, in which the original goal can be achieved. The proposed solution is implemented and validated using a scenario from the logistics domain.

2012 IEEE Eighth World Congress on Services, 2012

ABSTRACT Adaptivity is a key feature of service-based systems to fully exploit the advantages off... more ABSTRACT Adaptivity is a key feature of service-based systems to fully exploit the advantages offered by the service paradigm. In this paper we present a comprehensive framework that can be used to define and support highly adaptable context-aware service-based business processes. In our approach, all the adaptation-related tasks, from detecting an adaptation problem to finding a solution and applying it to a running process instance, are performed automatically at run time. We also show how the framework has been implemented and applied to a real-world scenario from the logistics domain.

2009 IEEE International Conference on Web Services, 2009

Automated composition of services is a key functionality for the adoption of the service-oriented... more Automated composition of services is a key functionality for the adoption of the service-oriented development paradigm. Solving this problem in practice requires the ability to consider asynchronous stateful services and to express complex composition requirements which may span different phases of the life-cycle of component services. In this paper we present a novel automated service composition approach which addresses these challenges by associating so-called objects to services, and by introducing a simple yet powerful notation to express composition requirements on them. We recast this view of the problem as a specific form of planning; our experiments on a prototype implementation witness the ability of our approach to deal with realistic scenarios and requirements that cannot be tackled by other current approaches.

2012 IEEE 19th International Conference on Web Services, 2012

ABSTRACT We propose a comprehensive framework for adaptivity of service-based applications, which... more ABSTRACT We propose a comprehensive framework for adaptivity of service-based applications, which exploits the concept of process fragments as a way to model reusable process knowledge and to allow for the dynamic, incremental, context-aware composition of such fragments into adaptable service-based applications. The framework provides a set of adaptation mechanisms that, combined through adaptation strategies, are able to solve complex adaptation problems. An implementation of the proposed solution is presented and evaluated on a real world scenario from the logistics domain.

2013 IEEE 20th International Conference on Web Services, 2013

ABSTRACT Data-flow requirements is an important aspect of service composition. Although several a... more ABSTRACT Data-flow requirements is an important aspect of service composition. Although several approaches have been proposed to specify data-flow requirements, they cannot be efficiently exploited in dynamic setting, for example, where the composition participants (i.e., component services) need to be dynamically replaced. In this paper, we propose a new modeling methodology for data-flow requirements, in which we explicitly distinguish a data model of a composite service from data models of component services. We show that following our methodology, a composition can be adjusted to various dynamic changes with significantly less effort. We implement our solution using planning techniques and make its basic evaluation on a scenario from the travel domain.

On-the-fly adaptation is where adaptation activities are not explicitly represented at design tim... more On-the-fly adaptation is where adaptation activities are not explicitly represented at design time but are discovered and managed at run time considering all aspect of the execution environments. In this paper we present a comprehensive framework for the on-the-fly adaptation of highly dynamic service-based systems. The framework relies on advanced context-aware adaptation techniques that allow for i) incremental handling of complex adaptation problems by interleaving problem solving and solution execution, ii) reduction in the complexity of each adaptation problem by minimizing the search space according to the specific execution context, and iii) reuse of adaptation solutions by learning from past executions. We evaluate the applicability of the proposed approach on a real world scenario based on the operation of the Bremen sea port.