Effective business process execution requires the integration of both process logic and business data. While recent approaches explore the potential of Large Language Models (LLMs) in automating process modeling, their applicability is limited in real-world scenarios where textual descriptions — often authored by non-experts — are complex or incomplete. Moreover, these works primarily focus on the control-flow perspective and overlook the critical role of data modeling and execution. In this paper, we propose a hybrid and decomposed approach to automatically generate executable process and data models from text using LLMs. Our method modularizes the task: the LLM clarifies and enriches the description, then extracts both process and data elements, which are combined into a unified model. Structured algorithms ensure robust and executable outputs. Evaluation results demonstrate that our approach improves model completeness, clarity, and efficiency compared to existing methods.

Cloud consumers’ requirements possess an inherent dynamic nature, characterized by fluctuating needs in reliability and high-availability relative to their workload. To satisfy these requirements, service reconfiguration strategies are put in place ensuring first, adaptable service provisioning and second, compliance with the agreed-upon Service Level Agreements (SLAs) between consumers and providers. However, deviations between SLAs and “real” observed behaviours could occur even after triggering reconfiguration strategies. Additionally, as organizations increasingly embrace multi-cloud environments, careful consideration must be given to the inherent challenges that arise in this requirements satisfaction. In this paper, we represent these strategies as state machines used to report their conformance to collected logs which track what really happened at run-time. The collected logs are processed to construct state machines suitable for conformance checking. Experiments demonstrating the technical doability of using conformance checking to detect deviations between SLAs and logs, along with verifying the suitability of reconfiguration strategies, are also discussed in the paper.

Process mining techniques allow organizations to discover, monitor and improve their as-is processes by analyzing the process execution data, aka event data, recorded by their information systems. A recurrent task in process mining is querying. Querying allows users to get insights into specific executions of their processes and to retrieve relevant data. Existing process querying techniques require end users to be knowledgeable of the query language and the database schema. However, a key success factor for process analysis is to make querying accessible to business experts who may be inexperienced in database querying. This paper addresses this challenge by proposing a natural language interface (NLI) for querying event data. The interface allows users to formulate their questions in natural language and to automatically translate the questions into a structured query that can be executed over a database. We use graph based storage techniques, namely labeled property graphs, which allow to explicitly model event data relationships. As an executable query language, we use the Cypher language which is widely used for querying property graphs. The approach has been implemented and evaluated using a publicly available event log.

International audience

Service Component Architecture specification (SCA) is an emerging and promising technology for the development, deployment and integration of Internet applications. This technology supports the management of dynamic availability and treats the heterogeneity between the components of distributed applications. However, this technology is not able to solve all problems. Currently, software systems are evolving. This factor makes development, verification and maintenance of systems more complex than before. One solution to remedy this was the use of the Model Driven Engineering (MDE) approach in the development and verification process. The purpose of this paper is to apply an approach MDE to obtain SCA models and to verify the properties of these models. To reach our purpose, we applied two transformations: The first one to obtain SCA models using UML 2.0 metamodel and the second transformation to ensure the verification of the properties of these models using event-B metamodel. To achieve this, we study the UML 2.0 component metamodel, the SCA metamodel and the event-B metamodel. We have defined transformation rules in ATL language.

In this paper, the work developed aims at contributing to the research related to the Quality of Service (QoS) for Web services. The aim of this research is twofold, first, it helps the designers and developers to provide better web services and second, and it helps ensure consistent software architecture as a reference model for many applications. To achieve this, we model, first, the meta-QoS model of the Web services. Then, we formalize the QoS of the Web services by referring to ARMANI. We also, handle the mediation of the composite Web services with the ACME using an automatic MDE approach and implementing a tool for this aim: Web services compositions are transformed onto ACME specifications.

In a service oriented B2B context, companies aiming to cooperate and interact with others have to make their services available through private service registries. Since the number of registries can be as large as the number of companies, the resulting registry network has to be organized to assist and improve the service discovery process. In this paper, we propose to use communities as a means to organize Web services registries in such a context. First, we propose a semantic model for Web services registry description (WSRD). A WSRD description is a semantic model depicting the functionalities offered by services advertised by a given registry. Thereafter, we propose an implicit approach for building communities based on the registries WSRD descriptions using a fuzzy clustering technique. Eventually, this clustering will be helpful for selecting an adequate registry for service requesters. Provided experimental evaluations in this paper show that our approach is efficient in realistic situations.

Web services are defined independently of any execution context. Due to their inherent autonomy and heterogeneity, it is difficult to examine the behaviour of composite services, especially in case of failures. This paper is interested in ensuring composite services reliability. Reliable composition is defined as a composition where all instance executions are correct from a transactional and business point of view. In this paper, the authors propose a transactional approach for ensuring reliable Web service compositions. The approach integrates the expressivity power of workflow models and the reliability of Advanced Transactional Models (ATM). This method offers flexibility for designers to specify their requirements in terms of control structure, using workflow patterns, and execution correctness. Contrary to ATM, the authors start from the designers’ specifications to define the appropriate transactional mechanisms that ensure correct executions according to their requirements.

SOA (Service Oriented Architecture) defines a new Web services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration has different problems that lead to many research efforts. In this paper, we address the problem of Web service composition. Indeed, various heterogeneities can arise during the composition. The resolution of these heterogeneities, called mediation, is needed to achieve a service composition. In this paper, we propose a sound approach to formalize Web services composition mediation with the ADL (Architecture Description Language) ACME. To do so, we first model the meta model of composite service manager and mediation. Then we specify semi formal properties associated with this meta model using OCL (Object Constraint Language). Afterwards, we formalize the mediation protocol using Armani, which provides a powerful predicate language in order to ensure service execution reliability.