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!

Be the first to leave a comment!