The concept of cloud computing has arisen thanks to academic work in the fields of utility computing, distributed computing, virtualisation, and web

No abstract

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

No abstract

Membrane Computing (MC) is defined as one of the main areas in computer sciences; MC has the aim of discovering novel computational models from studying biological cells, specifically the cellular membranes. Mitogen-Activated Protein Kinases (MAPK) cascade was the subject of research in the areas of modeling and simulation. Various software tools such as Performance Evaluation Process Algebra (PEPA) have been used to solve the MAPK cascade for the purpose of improving the effectiveness of signaling. In this study, the MAPK cascade is modeled by using MC. The models of Membrane Computing could be totally fully utilized by applying parallel computing platforms. P-Lingua can be defined as a programming language for MeCoSim and MC, where MC simulators are used to model and simulate MAPK. P-Lingua will be applied to structure, develop and examine the implementation of MAPK cascades in membrane computing. MeCoSim supports charts, outputs, and inputs which have been adapted to MC. The simulation results have been put to comparison with PEPA model. The results indicate that MC improves the MAPK implementation compared to PEPA. This study showed that MC, with its biological characteristics, could improve the implementation regarding biological processes including MAPK.