• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formalizacja i sprawdzanie modeli stylu architektury oprogramowania

Formalizacja i sprawdzanie modeli stylu architektury oprogramowania

Paperback

General Computers

ISBN10: 6202438789
ISBN13: 9786202438780
Publisher: Wydawnictwo Nasza Wiedza
Published: Sep 6 2025
Pages: 88
Weight: 0.28
Height: 0.21 Width: 6.00 Depth: 9.00
Language: Polish
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.

Also in

General Computers