Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
ATL (ATLAS Transformation Language) – модельді трансформациялау тілі және OBEO мен AtlanMod әзірлеген және қолдайтын құралдар жиынтығы. Оны AtlanMod тобы (бұрын ATLAS Group деп аталған) бастама көтерді. Модельге бағытталған инженерия (MDE) саласында ATL бастапқы модельдер жиынтығынан мақсатты модельдер жиынтығын жасау мүмкіндіктерін ұсынады. Eclipse Public License шартымен жарияланған ATL, Eclipse Modeling Project (EMP) ішіндегі M2M (Eclipse) компоненті болып табылады.
Model transformation language
ATL (ATLAS Transformation Language) is a model transformation language and toolkit developed and maintained by OBEO and AtlanMod. It was initiated by the AtlanMod team (previously called ATLAS Group). In the field of Model Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of source models. Released under the terms of the Eclipse Public License, ATL is an M2M (Eclipse) component, inside of the Eclipse Modeling Project (EMP).
Шолу
ATL – OBEO және INRIA ұйымдарының QVT ұсыныс сұранысына жауап беру үшін әзірлеген модельдік түрлендіру тілі (MTL). QVT – модельдік түрлендіруді жүзеге асыруға арналған Object Management Group стандарты. Оны синтаксистік немесе семантикалық аударма жасау үшін пайдалануға болады. ATL модельдік түрлендірудің виртуалды машинасы негізінде құрылған. ATL – OMG MOF/QVT RFP-ге ATLAS INRIA & LINA зерттеу тобының берген жауабы. Бұл модельдік түрлендіру тілі, метамодель және мәтіндік нақты синтаксис түрінде берілген. Ол декларативті және императивті ерекшеліктердің қосындысы. Түрлендіруді жазудың басым стилі – декларативті, яғни қарапайым сәйкестіктер оңай түсінікті болады. Дегенмен, кейбір күрделі сәйкестіктерді декларативті түрде өңдеу мүмкін болмағандықтан императивті құрылымдар да қарастырылған. ATL түрлендіру бағдарламасы бастапқы модель элементтерін сәйкестендіріп, мақсатты модель элементтерін құру және бастамалау үшін бағытталатын ережелерден тұрады.
ATL is a model transformation language (MTL) developed by OBEO and INRIA to answer the QVT Request For Proposal. QVT is an Object Management Group standard for performing model transformations. It can be used to do syntactic or semantic translation. ATL is built on top of a model transformation Virtual Machine. ATL is the ATLAS INRIA & LINA research group answer to the OMG MOF/QVT RFP. It is a model transformation language specified both as a metamodel and as a textual concrete syntax. It is a hybrid of declarative and imperative. The preferred style of transformation writing is declarative, which means simple mappings can be expressed simply. However, imperative constructs are provided so that some mappings too complex to be declaratively handled can still be specified. An ATL transformation program is composed of rules that define how source model elements are matched and navigated to create and initialize the elements of the target models.
Сәулет
ATL-ді орындауды қолдау және белгілі бір икемділікті сақтау мақсатында модельдік трансформацияға бағытталған виртуалды машина анықталды және іске асырылды. Шындығында, ATL орындалатын болады, себебі оның метамоделінен виртуалды машинаның байт-кодына арналған нақты түрлендіру бар. Сондықтан, ATL-ді кеңейту, негізінен, жаңа тіл мүмкіндіктерінің орындалу семантикасын қарапайым нұсқаулар түрінде анықтау болып табылады: модельдердегі қарапайым әрекеттер (элементтерді құру және қасиеттерді тағайындау).
A model transformation oriented virtual machine has been defined and implemented to provide execution support for ATL while maintaining a certain level of flexibility. As a matter of fact, ATL becomes executable simply because a specific transformation from its metamodel to the virtual machine bytecode exists. Extending ATL is therefore mainly a matter of specifying the new language features execution semantics in terms of simple instructions: basic actions on models (elements creations and properties assignments).
Мысал
ATL бағдарламасы (T1. Мұнда) Ma.xmi моделін енгізу ретінде қабылдап, Mb.xmi моделін шығару нәтижесінде береді. Екі модель де OMG XMI стандартында жазылуы мүмкін. Ma моделі MMa.km3 метамоделіне сәйкес келеді. Mb моделі MMb.km3 метамоделіне сәйкес келеді. KM3 нотациясы – қарапайым және бейтарап метамодельді сипаттау тілі. ATL бағдарламасының өзі (T1. Мұнда) де модель болып табылады, сондықтан ол мұнда көрсетілмеген (ATL метамоделі) метамодельге сәйкес келеді. ATL бағдарламасы бас бөлімнен, көмекші функциялар деп аталатын жанама әсерлерсіз функциялар жиынтығынан және ережелер жиынтығынан тұрады.
An ATL program (T1. atl here) will take model Ma. xmi as input and will produce model Mb. xmi as output. Both models may be expressed in the OMG XMI standard. The model Ma conforms to metamodel MMa. km3. Model Mb conforms to metamodel MMb. km3. The KM3 notation is a simple and neutral metamodel specification language. The ATL program itself (T1. atl here) is also a model, so it conforms to a metamodel (the ATL metamodel) not presented here. An ATL program is composed of a header, of a set of side effect free functions called helpers and of a set of rules.