Thomas Lambolais

• EuroMov Digital Health in Motion IMT Mines Alès Univ. Montpellier

Graphical User Interface (or simply UI) is a primary mean of interaction between users and their devices. In this paper, we discuss three complementary Artificial Intelligence (AI) approaches for triggering the creativity of app designers and inspiring them create better and more diverse UI designs. First, designers can prompt a Large Language Mode...

Graphical User Interfaces (GUIs) are central to app development projects. App developers may use the GUIs of other apps as a means of requirements refinement and rapid prototyping or as a source of inspiration for designing and improving their own apps. Recent research has thus suggested retrieving relevant GUI designs that match a certain text que...

Over the past decade, app store (AppStore)-inspired requirements elicitation has proven to be highly beneficial. Developers often explore competitors' apps to gather inspiration for new features. With the advance of Generative AI, recent studies have demonstrated the potential of large language model (LLM)-inspired requirements elicitation. LLMs ca...

Graphical User Interface (or simply UI) is a primary mean of interaction between users and their device. In this paper, we discuss three major complementary approaches on how to use Artificial Intelligence (AI) to support app designers create better, more diverse, and creative UI of mobile apps. First, designers can prompt a Large Language Model (L...

Notio is a device based on a wind sensor which offers estimates of the CdA (drag coefficient multiplied by the area) of the pair cyclist and bike. Notio is used with a specific analysis software, which computes CdA estimates after a ride. The Aeroscale Company proposes a half-day service with their own wind sensor and experimental protocol, to also...

Formal methods are proven techniques that provide a rigorous mathematical basis to software development. In particular, they allow the quality of development to be effectively improved by making accurate and explicit modelling, so that anomalies like ambiguities and incompleteness are identified in the early phases of the software development proce...

GUI (graphical user interface) prototyping is a widely-used technique in requirements engineering for gathering and refining requirements, reducing development risks and increasing stakeholder engagement. However, GUI prototyping can be a time-consuming and costly process. In recent years, deep learning models such as Stable Diffusion have emerged...

We are concerned by Data Driven Requirements Engineering, and in particular the consideration of user's reviews. These online reviews are a rich source of information for extracting new needs and improvement requests. In this work, we provide an automated analysis using CamemBERT, which is a state-of-the-art language model in French. We created a m...

Model Driven Architecture (MDA) is recognised as a strong way to develop high-quality systems, and specifically reactive systems. Within MDA, models are in the center of a stepwise development based on extensions, refinements and transformation. Systems Engineering addresses the problem of complex system development in a holistic way, however, ther...

Modelling component behaviour is widely recognised as a complex task during the specification and design phases of reactive systems. Our proposal for treating this problem involves an incremental approach that allows UML state machines to be built using a composition of two types of development: model extension for adding services or behaviours, an...

Requirements engineering is a major step in any project to enhance its chances to succeed. For many reasons, this step is particularly crucial when it is question of (re)engineering information systems to support the business activities of Small and Medium size Enterprises (SMEs). In this case, we state that requirements are highly related to the d...

Small and Medium-sized Enterprises (SMEs) often lack of time, means and competences to define methodologically their requirements for a new software development. This creates a gap between the real needs and the system requirements identified by analysists and designers. It is thereby important to provide SMEs’ stakeholders means to autonomously bu...

Incremental development is now state of the practice. In-deed, it is promoted from the rational unified process to ag-ile development methods. Few methods however guide soft-ware developers and architects in doing so. For instance, no tool is proposed to verify the non-regression of function-alities, modeled as behavior specifications, between incr...

Our work deals with the analysis of the behavioural interoperability of systems in a designing context. Systems to be analysed are modelled as UML architectures in terms of assembly of components, the behaviour of which are defined by State Machines. We identify two interoperability levels: the absence of deadlock, and the fact that the required se...

Nous nous intéressons à la construction de spécifications comportementales UML selon une démarche de raffinements successifs visant à construire un modèle détaillé, proche d'un modèle de l'implantation, à partir d'un modèle abstrait initial. La relation de spécialisation proposée entre classes d'un modèle objet correspond à une relation plus forte...

Nous nous intéressons aux démarches de construction de modèles comportementaux UML (machines d'états) intégrant des procédures de vérification. Le raffinement, consistant à définir des spécifications de plus en plus précises ou complètes, n'a pu être jusqu'à présent formalisé sur les machines d'états. Dans les modèles orientés objets, la relation d...

In this paper, we show how to implement the conformance relation on transition systems. The computability of this relation relies on the composition of two operators: the reduction relation whose computability has been proven in our previous work, and the merge function of acceptance graphs associated with transition systems under comparison. It is...

In this paper, we present a way to implement refinement relations over transition systems, useful for incremental behavioural model development. Our work is based on the extension relation defined over Labelled Transition Systems (LTS). This relation appears to be suitable for refinement developments, but its computability has not yet been establis...

In computer-based crisis management, participating actors have to put in common their information systems (IS). One of the main issues they have to face is to interoperate and coordinate these ISs in order to ease their collaborations and take the right decisions at the right moment. For that, they have to set up a Collaborative Information System...

We present a way to implement refinement relations over transition systems, useful for incremental model development. The extension relation, which preserves already modelled functionalities, is suited for refinements. The calculability of this relation relies on the generalization of a bisimulation relation applied on acceptance graphs. It is form...

This article introduces formal relations between UML Protocol State Machines in order to support their incre- mental construction. This is based on the use of confor- mance relations. Protocol State Machines (ProSMs) intro- duced in UML2.0 are means to model external behaviors of objects and/or components in a service oriented way. These machines a...

UML Specifications provides some guides for the description of performance requirements, but these requirements are represented with natural language constraints. This paper introduces UML extensions for the representation of temporal requirements and resource usage and their automatic evaluation. They are defined using standard UML extension techn...

Non-functional requirements are especially critical in real-time and distributed systems. UML is progressively becoming a standard of object- oriented analysis and design of systems, it pays attention to software architec- tures specification, but it does not take into account their evaluation, and the specification of resource restrictions and non...

Our goal is to settle techniques for the validation of real time distributed systems. We opted for executable models and simulation techniques. Our approach is to work at the architectural level of a system abstraction. The software architecture is understood as a set of structures comprising software components with external properties and relatio...

Article dans revue scientifique avec comité de lecture.

Colloque avec actes et comité de lecture.

Texte intégral accessible uniquement aux membres de l'Université de Lorraine

Co-encadrants de thèse) Thérèse LIBOUREL 2 (Directeur de thèse) Abstract — When building up architectures such as critical software architectures, the difficulties remain in the interop-erability analysis in order to detect communication problems between components. This paper addresses the interoperabil-ity analysis problem when a component is sub...

Résumé Le but de cet article consiste à mettre en oeuvre des techniques de construction incrémentale de machines d'états UML. Nous nous basons sur l'utilisation des relations de conformité établies sur les systèmes de transitions étiquetées. La difficulté consiste à rendre ces relations applicables dans le cadre des diagrammes d'états. Notre approc...