Python-based constraint language for architecture models
The paper presents an approach to specify constraints on AADL models in Python-based language and a toolset allowing to verify that constraints. The goal of the approach is to enable reusing of existing rich facilities of Python language, tools, and libraries as well as to reduce learning curve of e...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/679 |
| _version_ | 1811251097207046144 |
|---|---|
| author | E. . Kornykhin A. . Khoroshilov |
| author_facet | E. . Kornykhin A. . Khoroshilov |
| author_sort | E. . Kornykhin |
| collection | DOAJ |
| description | The paper presents an approach to specify constraints on AADL models in Python-based language and a toolset allowing to verify that constraints. The goal of the approach is to enable reusing of existing rich facilities of Python language, tools, and libraries as well as to reduce learning curve of engineers. Constraints must be placed into component annexes. These constraints must be written in Python programming language as functions with one argument (an object to be checked), Boolean result, and special decorator. A plugin for a modeling environment generates a program in Python from the model components declarations. While it is executing this program creates an object with the model instance and checks the object by functions from annexes. This approach is implemented in MASIW Framework that allows checking constraints on model instance. The implementation is made upon PyDev, a well-known Eclipse-plugin for Python developing in Eclipse and reuses integration of Eclipse with Python from PyDev. |
| first_indexed | 2024-04-12T16:15:23Z |
| format | Article |
| id | doaj.art-4f03fb62f90343fc894892c173f38beb |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-04-12T16:15:23Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-4f03fb62f90343fc894892c173f38beb2022-12-22T03:25:45ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0127514315610.15514/ISPRAS-2015-27(5)-8679Python-based constraint language for architecture modelsE. . Kornykhin0A. . Khoroshilov1ВМК МГУИСП РАН; ВМК МГУ; Московский физико-технический институт (государственный университет); НИУ ВШЭThe paper presents an approach to specify constraints on AADL models in Python-based language and a toolset allowing to verify that constraints. The goal of the approach is to enable reusing of existing rich facilities of Python language, tools, and libraries as well as to reduce learning curve of engineers. Constraints must be placed into component annexes. These constraints must be written in Python programming language as functions with one argument (an object to be checked), Boolean result, and special decorator. A plugin for a modeling environment generates a program in Python from the model components declarations. While it is executing this program creates an object with the model instance and checks the object by functions from annexes. This approach is implemented in MASIW Framework that allows checking constraints on model instance. The implementation is made upon PyDev, a well-known Eclipse-plugin for Python developing in Eclipse and reuses integration of Eclipse with Python from PyDev.https://ispranproceedings.elpub.ru/jour/article/view/679архитектурное моделированиеверификация моделейязык программирования python, язык моделирования aadl |
| spellingShingle | E. . Kornykhin A. . Khoroshilov Python-based constraint language for architecture models Труды Института системного программирования РАН архитектурное моделирование верификация моделей язык программирования python, язык моделирования aadl |
| title | Python-based constraint language for architecture models |
| title_full | Python-based constraint language for architecture models |
| title_fullStr | Python-based constraint language for architecture models |
| title_full_unstemmed | Python-based constraint language for architecture models |
| title_short | Python-based constraint language for architecture models |
| title_sort | python based constraint language for architecture models |
| topic | архитектурное моделирование верификация моделей язык программирования python, язык моделирования aadl |
| url | https://ispranproceedings.elpub.ru/jour/article/view/679 |
| work_keys_str_mv | AT ekornykhin pythonbasedconstraintlanguageforarchitecturemodels AT akhoroshilov pythonbasedconstraintlanguageforarchitecturemodels |