Formalizacja i sprawdzanie modeli stylu architektury oprogramowania [Polish]

By Ashish Kumar Dwivedi

W niniejszym badaniu opisano formalne modele systemu ATM przy użyciu język w opartych na stanach, takich jak Z, B i Alloy, a także języka opartego na zdarzeniach, takiego jak Monterey Phoenix. Sprawdzanie modeli odbywa się za pomocą zautomatyzowanych narzędzi, tj. Z/EVES, Atelier B i Alloy Analyzer dla specyfikacji Z, B i Alloy. Ponadto przedstawiono analizę por wnawczą r żnych cech charakterystycznych dla r żnych podejśc formalnych. Architektura oprogramowania odgrywa ważną rolę w projektowaniu wysokopoziomowym systemu pod względem komponent w, lącznik w i konfiguracji. Gl wnym elementem skladowym architektury oprogramowania jest styl architektoniczny, kt ry zapewnia semantykę projektowania specyficzną dla danej dziedziny. W analizie zlożonego stylu architektonicznego podjęto pr bę sformalizowania jednego zlożonego stylu, np. C2 (komponent i lącznik), przy użyciu formalnego języka specyfikacji Alloy. Do sprawdzania sp jności notacji modelowania wykorzystuje się narzędzie do sprawdzania modeli, np. Alloy Analyzer.

• Format: Paperback
• Language: Polish
• ISBN: 6202438789
• ISBN13: 9786202438780
• Release Date: September 2025
• Publisher: Wydawnictwo Nasza Wiedza
• Length: 88 Pages
• Weight: 0.28 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"