Thesis of Maroun Abi Assaf

Towards a Resilient Service-Oriented Computing based on Ad-hoc Web Service Compositions in Dynamic Environments


The emergence of fixed or mobile communicating objects poses many challenges regarding their integration into business processes in order to develop smart services. In the context of the Internet of Things, connected devices are heterogeneous and dynamic entities that encompass cyber-physical features and properties and interact through different communication protocols. To overcome the challenges related to interoperability and integration, it is essential to build a unified and logical view of different connected devices in order to define a set of languages, tools and architectures allowing their integrations and manipulations at a large scale.

Business artifact has recently emerged as an autonomous (business) object model that encapsulates attribute-value pairs, a set of services manipulating its attribute data, and a state-based lifecycle. The lifecycle represents the behavior of the object and its evolution through its different states in order to achieve its business objective. Modeling connected devices and smart objects as an extended business artifact allows us to build an intuitive paradigm to easily express integration data-driven processes of connected objects. In order to handle contextual changes and reusability of connected devices in different applications, data-driven processes (or artifact processes in the broad sense) remain relatively invariant as their data structures do not change. However, service-centric or activity-based processes often require changes in their execution flows.

This thesis proposes a framework for integrating artifact-centric processes and their application to connected devices. To this end, we introduce a logical and unified view of a "global" artifact allowing the specification, definition and interrogation of a very large number of distributed artifacts, with similar functionalities (smart homes or connected cars, ...). The framework includes a conceptual modeling method for artifact-centric processes, inter-artifact mapping algorithms, and artifact definition and manipulation algebra. A declarative language, called AQL (Artifact Query Language) aims in particular to query continuous streams of artifacts. The AQL relies on a syntax similar to the SQL in relational databases in order to reduce its learning curve. We have also developed a prototype to validate our contributions and conducted experimentations in the context of the Internet of Things.

Advisor: Youakim Badr
Coadvisor: Youssef Amghar

Defense date: monday, july 9, 2018

BADR YouakimMaître de conférenceINSA de LyonDirecteur(trice) de thèse
AMGHAR YoussefProfesseur(e)INSA de Ly7onCo-encadrant(e)
Laurent AnneProfesseur(e)Université de MontpellierRapporteur(e)
Verdier Christine Professeur(e) Université de Grenoble AlpesRapporteur(e)
Laforest Frédérique Professeur(e)Université Jean MonetExaminateur​(trice)
Cauvet CorineProfesseur(e)Université Aix-MarseilleExaminateur​(trice)