Formalisation et vérification de modèles de styles architecturaux logiciels [French]

By Ashish Kumar Dwivedi

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.

• Format: Paperback
• Language: French
• ISBN: 6202433671
• ISBN13: 9786202433679
• Release Date: September 2025
• Publisher: Editions Notre Savoir
• Length: 88 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"