B-метод

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

B — загальний термін, яким називають B-Method (формальний метод розробки програмного забезпечення), процес такої розробки, мову запису специфікації, і інструменти що їх підтримують (B-Toolkit)

Історія[ред.ред. код]

Метод розроблений Жаном-Реймондом Абріалем у Великобританії та Франції.

Використовувався при створенні в Європі систем критичних щодо надійності (помилка в яких створює небезпеку для людей та інших ресурсів). Наприклад 14 лінія паризького метро[1]

Недавно створили ще один метод, названий Event-B. Event-B розглядається як вдосконалення B ( відомого також як класичний B). Він має простіший синтаксис, що полегшує його вивчення та використання. Інструменти що його підтримують називаються платформою Rodin.

B-Method[ред.ред. код]

B-Method — це набір математичних технологій для специфікації, проектування та реалізації компонент програмного забезпечення. Системи моделюються як сукупності незалежних Абстрактних Машин, для яких на всіх стадіях розробки застосовується об'єктно-орієнтований підхід.

Абстрактна Машина описується з використанням Abstract Machine Notation (AMN). Стандартна нотація використовується на всіх рівнях опису, від специфікації до реалізації.

AMN — мова формальної специфікації, що базується на станах. Вона вийшла з тої ж школи що і VDM та Z. Абстрактна машина включає стан разом з операціями на тому стані. В специфікаціях та конструюванні Абстрактної Машини стани моделюються з використанням таких понять як множина, відношення, функції, послідовності і подібних. Оператори моделюються з використанням перед- та післяумов.

В реалізації абстрактної машини стан знову моделюється з використанням теоретико-множинної моделі, але цього разу ми вже маємо реалізацію цієї моделі. Ця операція описується з використанням псевдокоду який є підмножиною AMN.

Математичний запис[ред.ред. код]

http://www.b-core.com/ONLINEDOC/MathsNotation.html



Посилання[ред.ред. код]

  1. http://en.wikipedia.org/wiki/B-Method
  2. http://www.b-core.com/
  3. http://www.event-b.org/

Примітки[ред.ред. код]

  1. http://en.wikipedia.org/wiki/Paris_M%C3%A9tro_Line_14#The_Meteor_Project