Информация о книге

9783659682360

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Основы информационных технологий » Информатика » Formalization and Model Checking of Software Architectural Style

Dwivedi A., Formalization and Model Checking of Software Architectural Style

LAP Lambert Academic Publishing, 2015 г., 80 стр., 9783659682360


Описание книги

In this study, formal models of ATM system are described using state-based languages such as, Z, B, and Alloy as well as event-based language such as, Monterey Phoenix. Model checking is being carried out by automated tools, viz. Z/EVES, Atelier B, and Alloy Analyzer for Z, B, and Alloy specifications respectively. Furthermore, a comparative analysis of different characteristics shown by varied formal approaches has been presented. Software architecture plays an important role in the high level design of a system in terms of components, connectors, and configurations. The main building block of software architecture is an architectural style that provides domain specific design semantics. In the analysis of complex architectural style, an attempt has been made in our work to formalize one complex style e.g., C2 (component and connector) using formal specification language Alloy. For consistency checking of modeling notations, the model checker tool e.g., Alloy Analyzer is used.

Поделиться ссылкой на книгу




Об авторе

Dwivedi A.


Последние поступления в рубрике "Информатика"



Наука о данных. Базовый курс Наука о данных. Базовый курс Келлехер Д.

Сегодня наука о данных используется практически во всех сферах: вы видите подобранные специально для вас рекламные объявления, рекомендованные на основе ваших предпочтений фильмы и книги, ссылки на предполагаемых друзей в соцсетях, отфильтрованные......

Теория конфликтов и игр Теория конфликтов и игр Смольяков Э.Р.

Предлагаемая монография представляет собой введение в совершенно новую научную дисциплину - теорию конфликтных равновесий, которая со временем найдет естественные приложения в любых областях человеческой деятельности -......

Homo Roboticus? Люди и машины в поисках взаимопонимания Homo Roboticus? Люди и машины в поисках взаимопонимания Маркофф Д.

Хотим мы этого или нет, но скоро нам придется сосуществовать с автономными машинами. Уже сейчас мы тратим заметную часть времени на взаимодействие с механическими подобиями людей в видеоиграх или в виртуальных системах - от FAQbots до Siri. Кем они......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Dwivedi A., Formalization and Model Checking of Software Architectural Style в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.