Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
VIATRA – Eclipse Modeling Framework (EMF) негізінде құрылған және Eclipse Foundation ұйымдастырған ашық бастапқы кодты модельді трансформациялау аясы. VIATRA модельді трансформациялауды дамытуды қолдайды, ерекше назар оқиғаға негізделген, реактивті трансформацияларға, яғни модельдегі белгілі бір сыртқы өзгерістерге жауап ретінде болатын ережелерге негізделген сценарийлерге беріледі. Модельдегі үлгілерді және өзгерістерді табуға арналған ұсымды сұрауларды қолдауға сүйене отырып, VIATRA трансформацияларды анықтау үшін тілді (VIATRA Query Language, VQL) және негізгі модельдегі өзгерістерге байланысты белгілі бір трансформацияларды орындау үшін реактивті трансформация қозғалтқышын ұсынады.
Open source model transformation framework
VIATRA
is an open source model transformation framework based on the Eclipse Modeling Framework (EMF) and hosted by the Eclipse Foundation. VIATRA supports the development of model transformations with specific focus on event driven,
reactive transformations, i. e., rule based scenarios where transformations occur as reactions to
certain external changes in the model. Building upon an incremental query support for locating patterns
and changes in the model,
VIATRA offers a language (the VIATRA Query Language, VQL) to define transformations and a reactive transformation
engine to execute certain transformations upon changes in the underlying model.
Шығуы мен тарихы
Қазіргі VIATRA жобасы – бұрынғы VIATRA2 аясының толыққанды қайта жазылуы болып табылады, толық үйлесімділікпен және EMF модельдерін толық қолдайды. Жобада әртүрлі нұсқалар арасындағы негізгі айырмашылықтарды сипаттайтын тарих вики-беті бар. VIATRA2 аясының алдыңғы қолданыстарына келетін болсақ, ол DECOS еуропалық жобасының сенімді кіріктірілген жүйелер саласындағы модельдік трансформация қозғалтқышы ретінде қызмет етті. Бұдан бөлек, VIATRA2 үшін дәстүрлі қолдану саласы – 1998 жылдан бастап – әртүрлі салалардан алынған жүйелік модельдерді талдауды қолдау болды (қауіпсіздікке маңызды және/немесе кіріктірілген жүйелер, берік бизнес-қосымшалар, делдалдық бағдарламалар, қызметке бағытталған архитектуралар) әртүрлі модельдеу тілдерін (SysML, UML, BPMN және т.б.) пайдалана отырып сипатталған модельдік жүйелерді жасау процесінде. Мұндай модельді талдау әдетте тексеру және растау, сынақтан өткізу, қауіпсіздік және қорғаныш талдауы, сондай-ақ жобаланып жатқан жүйенің функционалдық емес сипаттамаларын (сенімділік, қолжетімділік, жауап беру жылдамдығы, өткізу қабілеті сияқты) ерте бағалауды қамтиды. Бұл қолдану жағдайлары мен салалар VIATRA үшін маңызды бағыттарды құрайды және көбінесе IncQuery Suite пайдаланушы интерфейсі ретінде қолданылады.
The current VIATRA project is a full rewrite of the previous VIATRA2 framework, coming with full compatibility and support for EMF models. The project features a History wiki page that describes the main differences between the different versions. As for applications of the earlier VIATRA2 framework, it served as the underlying model transformation engine of the DECOS European IP in the field of dependable embedded systems. Furthermore, a traditional application area for VIATRA2 – starting as early as 1998 – was to support the analysis of system models taken from various application areas (safety critical and/or embedded systems, robust e business applications, middleware, service oriented architecture) described using various modeling languages (SysML, UML, BPMN, etc.) during a model driven systems engineering process. Such a model analysis typically also includes the verification and validation, the testing, the safety and security analysis as well as the early assessment of non functional characteristics (such as reliability, availability, responsiveness, throughput, etc.) of the system under design. These use cases and application fields still constitute focal areas for VIATRA, mostly addressed via the IncQuery Suite as an interface on the user's end.
Қадамдасу
Нақты модельге негізделген жүйелерді әзірлеу VIATRA-ның басты қолданыс саласы болғандықтан, (i) модель түрлендірулері математикалық тұжырымдамамен нақты берілуі және (ii) осы түрлендірулер автоматтандырылуы керек, соның арқасында мақсатты математикалық модельдер толық автоматты түрде туындырылуы мүмкін. Бұл мақсатқа жету үшін VIATRA математикалық тұжырымдамаға негізделген ережелер жинағынан тұратын спецификация формализміне, атап айтқанда, граф түрлендіруге (GT) сүйенеді. VIATRA көрінбейтін формальды әдістерге ұмтылады: мұнда формальды егжей-тегжейлі мәліметтер автоматтандырылған модель түрлендірулері арқылы жасырылады, олар жүйелік модельдерді әртүрлі математикалық салаларға (және, мүмкіндігінше, керісінше) проекциялайды. VIATRA-да модель түрлендірулерін анықтаудың негізгі түсінігі – (граф) үлгі болып табылады. Үлгі – модель элементтерінің жиынтығы, олар белгілі бір құрылымға орналастырылып, қосымша шектеулерді орындайды (атрибут шарттарымен немесе басқа үлгілермен анықталғандай). Үлгілер белгілі бір модель мысалдарымен сәйкес келуі мүмкін, ал үлгіні сәтті сәйкестендіру кезінде элементарлық модельді өзгерту граф түрлендіру ережелерімен анықталады. OCL сияқты, граф түрлендіру ережелері түрлендірудің алғы және кейінгі шарттарын сипаттайды, бірақ граф түрлендіру ережелерінің орындалуы кепілдендіріледі, бұл – басты тұжырымдамалық айырмашылық. Атап айтқанда, VIATRA қазіргі кезде реактивті, оқиғаларға негізделген түрлендірулерге баса назар береді, сондықтан VIATRA-да ережелерді орындау механизмі бар, ол модельдегі өзгерістерді (оқиғалар ретінде түсіндіріледі) қадағалайды және егер өзгеріс сол ереженің алғышартының орындалуына әкелсе (немесе басқа да бақылау шарттары орындалса), сол ережені іске қосады.
Since precise model based systems development is the primary application area of VIATRA, it necessitates that (i) the model transformations are specified in a mathematically precise way, and (ii) these transformations are automated so that the target mathematical models can be derived fully automatically. To achieve this, VIATRA relies upon a mathematically precise rule based specification formalism, namely, graph transformation (GT). VIATRA aims at invisible formal methods: here, formal details are hidden by automated model transformations projecting system models into various mathematical domains (and, preferably, vice versa). The basic concept in defining model transformations within VIATRA is the (graph) pattern. A pattern is a collection of model elements arranged into a certain structure fulfilling additional constraints (as defined by attribute conditions or other patterns). Patterns can be matched on certain model instances, and upon successful pattern matching, elementary model manipulation is specified by graph transformation rules. Like OCL, graph transformation rules describe pre and postconditions to the transformations, but graph transformation rules are guaranteed to be executable, which is a main conceptual difference. In particular, as reactive, event driven transformations are the current focus of VIATRA, VIATRA includes a rule execution engine which monitors changes (interpreted as events) in the model, and fires a rule whenever a change led to the fulfillment of the precondition for that rule (and, potentially, if some further control conditions are also met).