A logic for complex computing systems: Properties preservation along integration and abstraction

Abstract : In a previous paper, we defined both a unified formal framework based on L.-S. Barbosa's components for modeling complex software systems, and a generic formalization of integration rules to combine their behavior. In the present paper, we propose to continue this work by proposing a variant of first-order fixed point modal logic to express both components and systems requirements. We establish the important property for this logic to be adequate with respect to bisimulation. We then study the conditions to be imposed to our logic (characterization of sub-families of formulas) to preserve properties along integration operators, and finally show correctness by construction results. The complexity of computing systems results in the definition of formal means to manage their size. To deal with this issue, we propose an abstraction (resp. simulation) of components by components. This enables us to build systems and check their correctness in an incremental way.
Type de document :
Article dans une revue
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2014, 24 (1), pp.1-46. 〈10.7561/sacs.2014.1.1 〉
Liste complète des métadonnées

Littérature citée [45 références]  Voir  Masquer  Télécharger

https://hal-ecp.archives-ouvertes.fr/hal-01056530
Contributeur : Marc Aiguier <>
Soumis le : mercredi 20 août 2014 - 10:10:27
Dernière modification le : jeudi 29 mars 2018 - 13:36:02
Document(s) archivé(s) le : jeudi 27 novembre 2014 - 11:21:35

Fichier

root.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Marc Aiguier, Bilal Kanso. A logic for complex computing systems: Properties preservation along integration and abstraction. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2014, 24 (1), pp.1-46. 〈10.7561/sacs.2014.1.1 〉. 〈hal-01056530〉

Partager

Métriques

Consultations de la notice

377

Téléchargements de fichiers

292