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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Trudy Instituta sistemnogo programmirovaniâ Jg. 27; H. 5; S. 143 - 156
Hauptverfasser:	Kornykhin, E., Khoroshilov, A.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Schlagworte:	архитектурное моделирование верификация моделей язык программирования python, язык моделирования aadl
ISSN:	2079-8156, 2220-6426
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!