MAccS: a Tool for Reachability by Design - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

MAccS: a Tool for Reachability by Design

Résumé

MAccS is a tool for the modular design of complex IT systems. Component specifications are given in the form of marked acceptance specifications which are acceptance specifications, an extension of modal specifications, enriched with reachability constraints on states. The tool supports the crucial operators for a complete specification theory: satisfaction checking, consistency, refinement, product, quotient and conjunction. These operators can be used to build larger systems by composing or decomposing component specifications while ensuring some reachability properties.
Fichier principal
Vignette du fichier
MAccS a Tool for Reachability by Design.pdf (342.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03260609 , version 1 (16-06-2021)

Identifiants

Citer

Guillaume Verdier, Jean-Baptiste Raclet. MAccS: a Tool for Reachability by Design. 11th International Symposium on Formal Aspects of Component Software (FACS 2014), Sep 2014, Bertinoro, Italy. pp.191--197, ⟨10.1007/978-3-319-15317-9_12⟩. ⟨hal-03260609⟩
16 Consultations
73 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More