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

Celý popis

Podrobná bibliografie

Vydáno v:	Trudy Instituta sistemnogo programmirovaniâ Ročník 27; číslo 5; s. 143 - 156
Hlavní autoři:	Kornykhin, E., Khoroshilov, A.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Russian Academy of Sciences, Ivannikov Institute for System Programming 01.10.2018
Témata:	архитектурное моделирование верификация моделей язык программирования python, язык моделирования aadl
ISSN:	2079-8156, 2220-6426
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!