Communication Dans Un Congrès Année : 2024

Addressing Input/Output composition through Open Automata representation

Résumé

Compositional design is a highly convenient approach for specifying and verifying large-scale systems, particularly distributed sys- tems. Automata are widely employed as the basic formalism in this approach. These systems, which are state machines, allow for modelling individual components, their interactions, and their behaviours, but also provide standard modelling methods such as parallel composition and levels of abstraction. In this paper, we focus on distributed systems com- posed of reactive components. We will examine a new formalism that builds upon existing formalisms, allowing for the modelling of the com- ponents and their interactions. The aim of this formalism is to provide a theoretical tool for reasoning about behavioural equivalence among reactive systems.
Fichier non déposé

Dates et versions

hal-04855185 , version 1 (24-12-2024)

Identifiants

  • HAL Id : hal-04855185 , version 1

Citer

Rabéa Ameur-Boulifa, Sarah Chabane Mechiouri. Addressing Input/Output composition through Open Automata representation. African Conference on Research in Computer Science and Applied: Mathematics-Digital Science in Africa (CARI 2024), Nov 2024, Béjaia, Algeria. ⟨hal-04855185⟩
6 Consultations
0 Téléchargements

Partager

More