Quotient of Acceptance Specifications under Reachability Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Quotient of Acceptance Specifications under Reachability Constraints

Résumé

The quotient operation, which is dual to the composition, is crucial in specification theories as it allows the synthesis of missing specifications and thus enables incremental design. In this paper, we consider a specification theory based on marked acceptance specifications (MAS) which are automata enriched with variability information encoded by acceptance sets and with reachability constraints on states. We define a sound and complete quotient for MAS hence ensuring reachability properties by construction.

Dates et versions

hal-03190206 , version 1 (06-04-2021)

Identifiants

Citer

Guillaume Verdier, Jean-Baptiste Raclet. Quotient of Acceptance Specifications under Reachability Constraints. 9th International Conference on Language and Automata Theory and Applications (LATA 2015), Mar 2015, Nice, France. pp.299--311, ⟨10.1007/978-3-319-15579-1_23⟩. ⟨hal-03190206⟩
19 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More