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...

Full description

Saved in:
Bibliographic Details
Published in:Trudy Instituta sistemnogo programmirovaniâ Vol. 27; no. 5; pp. 143 - 156
Main Authors: Kornykhin, E., Khoroshilov, A.
Format: Journal Article
Language:English
Published: Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Subjects:
архитектурное моделирование
верификация моделей
язык программирования python, язык моделирования aadl
ISSN:2079-8156, 2220-6426
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract 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.
AbstractList 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.
Author Khoroshilov, A.
Kornykhin, E.
Author_xml – sequence: 1
  givenname: E.
  surname: Kornykhin
  fullname: Kornykhin, E.
– sequence: 2
  givenname: A.
  surname: Khoroshilov
  fullname: Khoroshilov, A.
BookMark eNo9kM1KAzEYRYMoWGvfwMUsdRH98jfJLEvxp1CwWF2HTPKlnTKdSGa66NtbW3F1L3dxLpwbctmlDgm5Y_DIlGLyab5afkxXlANTlOt79UDNBRlxzoGWkpeXxw66ooap8ppM-n4LAFyBFsBGxCwPwyZ1tHY9hsKnrh-ya7qhaF233rs1FjHlwmW_aQb0wz5jsUsB2_6WXEXX9jj5yzH5enn-nL3RxfvrfDZdUH_8M9RBrSEiaoElr6UHYyrPFRoZUGMZsDS18KpyMWIwmmntNZjaBMNVgEqLMZmfuSG5rf3Ozc7lg02usach5bV1eWh8i1ZGELEueaxASBG9qaSpuGdaRGFqrI8seWb5nPo-Y_znMbAnmfYs0_7KtFxbZa0RP_S6agI
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.15514/ISPRAS-2015-27(5)-8
DatabaseName CrossRef
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Open Access Full Text
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2220-6426
EndPage 156
ExternalDocumentID oai_doaj_org_article_4f03fb62f90343fc894892c173f38beb
10_15514_ISPRAS_2015_27_5__8
GroupedDBID 642
AAYXX
ALMA_UNASSIGNED_HOLDINGS
CITATION
GROUPED_DOAJ
OK1
ID FETCH-LOGICAL-c1568-a0b70fee73e62b4c0889c25e84de7e6de68b3c59affed87177c708b8d825d0973
IEDL.DBID DOA
ISSN 2079-8156
IngestDate Mon Nov 03 21:58:09 EST 2025
Sat Nov 29 05:34:00 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 5
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1568-a0b70fee73e62b4c0889c25e84de7e6de68b3c59affed87177c708b8d825d0973
OpenAccessLink https://doaj.org/article/4f03fb62f90343fc894892c173f38beb
PageCount 14
ParticipantIDs doaj_primary_oai_doaj_org_article_4f03fb62f90343fc894892c173f38beb
crossref_primary_10_15514_ISPRAS_2015_27_5__8
PublicationCentury 2000
PublicationDate 2018-10-01
PublicationDateYYYYMMDD 2018-10-01
PublicationDate_xml – month: 10
  year: 2018
  text: 2018-10-01
  day: 01
PublicationDecade 2010
PublicationTitle Trudy Instituta sistemnogo programmirovaniâ
PublicationYear 2018
Publisher Russian Academy of Sciences, Ivannikov Institute for System Programming
Publisher_xml – name: Russian Academy of Sciences, Ivannikov Institute for System Programming
SSID ssj0002507301
Score 2.0418875
Snippet 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...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 143
SubjectTerms архитектурное моделирование
верификация моделей
язык программирования python, язык моделирования aadl
Title Python-based constraint language for architecture models
URI https://doaj.org/article/4f03fb62f90343fc894892c173f38beb
Volume 27
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Open Access Full Text
  customDbUrl:
  eissn: 2220-6426
  dateEnd: 20201231
  omitProxy: false
  ssIdentifier: ssj0002507301
  issn: 2079-8156
  databaseCode: DOA
  dateStart: 20100101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1LSwMxEA5SPHjxLdYXOXjQQ2g2j01yrGJRkFKsQm9h8wIvVdoq-O_N7G5lPXnxuizL8M0k3zfZzAxCl5mSfCydIaX3OUEJ0hAXBSMmSa0qQVMRa08_qvFYz2Zm0hn1BXfCmvbADXADkShPrmTJUC548toIbZgvFE9cu-hg982qp5NMwR6ciR1CFybLUQXnXLJs6-ZAIQweppOn4TRHSAEFWVfymuhfvNRp31_zzGgXbbcCEQ8bw_bQRpzvo5318AXcrsUDpCdfUPZPgIYC9iDzYNrDCq9PIHGWo7j7nwDXU2-Wh-hldPd8e0_aMQjEZ7M1qahTNMWoeCyZEx4uJnkmoxYhqliGWGrHvTRVSjHk_Ecpr6h2OuTkL0A3niPUm7_N4zHCnqvMiSFTeKWEdsyBwCqSl4lVjibeR2QNgn1vul1YyBIANNuAZgE0y5SV1uo-ugGkft6FXtX1g-xB23rQ_uXBk__4yCnayoY1nWqLM9RbLT7iOdr0n6vX5eKiDo5vcEC7qw
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Python-based+constraint+language+for+architecture+models&rft.jtitle=Trudy+Instituta+sistemnogo+programmirovani%C3%A2&rft.au=Kornykhin%2C+E.&rft.au=Khoroshilov%2C+A.&rft.date=2018-10-01&rft.issn=2079-8156&rft.eissn=2220-6426&rft.volume=27&rft.issue=5&rft.spage=143&rft.epage=156&rft_id=info:doi/10.15514%2FISPRAS-2015-27%285%29-8&rft.externalDBID=n%2Fa&rft.externalDocID=10_15514_ISPRAS_2015_27_5__8
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2079-8156&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2079-8156&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2079-8156&client=summon