Execution of natural language requirements using State Machines synthesised from Behavior Trees

Kim, Soon-Kyeong; Myers, Toby; Wendland, Marc-Florian; Lindsay, Peter

doi:10.1016/j.jss.2012.06.013

Cited by 11 publications

(12 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Thus, paper [13] discusses the issues on comparing and merging the elements of a system whose description are published in the form of Use Case diagrams, Activity diagrams, and data flow diagrams. Article [14] addresses the issue of converting the publications on requirements by rightsholders in an executable system model using behavior models by applying the Activity and State diagrams of UML. Solving the tasks on analyzing the requirements to IS, the description of which employed the UML class diagrams, was considered by one of the authors of the current article in [15].…”

Section: Literature Review and Problem Statementmentioning

confidence: 99%

Improvement of the method of scenario analysis of functional requirements to an information system

Mohammed

Muhamed

Ievlanov

et al. 2019

EEJET

View full text Add to dashboard Cite

Розглянуто задачу вдосконалення базового методу сценарного аналізу функціональних вимог до інформаційної системи (ІС). Проаналізовано результати досліджень методів сценарного аналізу функціональних вимог до ІС. Головним їх недоліком визнано необхідність виконання цих методів аналітиками виключно вручну. Для усунення цього недоліку запропоновано вдосконалити базовий метод сценарного аналізу за рахунок використання моделей і методів, основаних на формальному представленні знань. Для формального опису представлення сценарію виконання функціональної вимоги на рівні знань запропоновано використовувати модель структурних паттернів проектування функціональних вимог. Показано, що формальний опис знань, які вилучаються з діаграм Use Case, є частковим випадком даної моделі. Запропоновано модель підкласу структурних паттернів проектування сценаріїв виконання функціональних вимог. Розроблено вдосконалений метод сценарного аналізу функціональних вимог до ІС. Суть вдосконалення полягає у виділенні з публікацій сценаріїв виконання функціональних вимог знань та наступному аналізі знання-орієнтованих описів цих сценаріїв з метою виявлення дублюючих один інший сценаріїв виконання різних функціональних вимог до ІС. Для виявлення та усунення випадків подібного дублювання запропоновано використовувати вдосконалений метод синтезу варіантів описів архітектури створюваної ІС. Наведено приклад апробації вдосконаленого методу сценарного аналізу функціональних вимог під час аналізу функціональних вимог до проекту функціонального модуля безпеки праці. Результати апробації підтверджують достовірність запропонованого методу. Запропонований вдосконалений метод сценарного аналізу функціональних вимог до ІС дозволяє отримати описи архітектури створюваної ІС на основі значно меншого обсягу інформації про функціональні вимоги до цієї ІС Ключові слова: функціональні вимоги, метод сценарного аналізу, діаграма Use Case, знання-орієнтована модель, опис архітектури

show abstract

Section: Literature Review and Problem Statementmentioning

confidence: 99%

Improvement of the method of scenario analysis of functional requirements to an information system

Mohammed

Muhamed

Ievlanov

et al. 2019

EEJET

View full text Add to dashboard Cite

show abstract

“…The process has been found beneficial in the industrial trials of BTs [14]. Over the course of time, BTs have been enhanced to include probabilistic and timed Behavior Tree and execution of requirements using state-machines [26,12,27]. Other related work also include a theoretical model for simulation of requirements [28].…”

Section: Behavior Treesmentioning

confidence: 99%

“…The completed IBT/DBT can be translated into other formal specification languages through tool support [10,28,27,26,30]. The Symbolic Analysis Laboratory (SAL) [31] is one such language for which the tool support is available.…”

Section: Behavior Engineering Processmentioning

confidence: 99%

“…However, the simple visual execution of BTs is of limited advantage in the formal analysis. More recently, execution of BT requirements using State Machines (SM) that are synchronized with the BT model has been proposed using the Text-BE tool [27]. The objective of transformation of BTs into SM models is to support MDE using UML.…”

Section: Related Workmentioning

confidence: 99%

“…The strategy can also be useful in removing defects from the BT model by analyzing the dynamic aspects of the specification. The transformation of BTs into SM is based on M2M transformation using the BT meta-model defined in the Eclipse Modeling Framework (EMF) and the standard Object Management Group (OMG) Unified Modeling Language (UML) superstructure [27]. The resultant SM models the behavior originally specified in the BT model.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations