Articles liés à Formalisation et vérification de modèles de styles...

Formalisation et vérification de modèles de styles architecturaux logiciels - Couverture souple

Dwivedi, Ashish Kumar

 
9786202433679: Formalisation et vérification de modèles de styles architecturaux logiciels
Couverture souple
ISBN 10 : 6202433671 ISBN 13 : 9786202433679
Editeur : Editions Notre Savoir, 2025

Synopsis

Dans cette étude, des modèles formels de systèmes ATM sont décrits à l'aide de langages basés sur les états tels que Z, B et Alloy, ainsi que de langages basés sur les événements tels que Monterey Phoenix. La vérification des modèles est effectuée à l'aide d'outils automatisés, à savoir Z/EVES, Atelier B et Alloy Analyzer pour les spécifications Z, B et Alloy respectivement. En outre, une analyse comparative des différentes caractéristiques présentées par diverses approches formelles a été présentée. L'architecture logicielle joue un rôle important dans la conception de haut niveau d'un système en termes de composants, de connecteurs et de configurations. Le principal élément constitutif de l'architecture logicielle est un style architectural qui fournit une sémantique de conception spécifique au domaine. Dans l'analyse des styles architecturaux complexes, nous avons tenté dans notre travail de formaliser un style complexe, par exemple C2 (composant et connecteur), à l'aide du langage de spécification formel Alloy. Pour vérifier la cohérence des notations de modélisation, nous utilisons l'outil de vérification de modèles Alloy Analyzer.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Editions Notre Savoir
Date d'édition
2025
Langue
français
ISBN 10 
6202433671
ISBN 13 
9786202433679
Reliure
Broché
Nombre de pages
88
Coordonnées du fabricant
non disponible
Personne responsable
non disponible