A Comparative Look at Model Transformation Languages

Total Page:16

File Type:pdf, Size:1020Kb

A Comparative Look at Model Transformation Languages A comparative look at model transformation languages Matthew Stephan Andrew Stevenson Queen’s University Queen’s University Kingston, Canada Kingston, Canada [email protected] [email protected] ABSTRACT Model-driven development(MDD) is a paradigm in which Model-driven development is an emerging area in software software is constructed in a model-centric fashion. Models development that provides a way to express system require- are the main artifacts of interest to stakeholders and system ments and architecture at a high level of abstraction through developers and the underlying code that implements the models. It involves using these models as the primary system is generated from these models. In a perfect model- artifacts during the development process. One aspect that centric development project, models are the only elements is holding back MDD from more wide-spread adoption is that change as the implementing software code is generated the lack of a well established and easy way of performing and updated automatically. model to model (M2M) transformations. We propose to explore and compare popular M2M model transformation One large area of importance in MDD is the notion of model languages in existence: EMT , Kermeta, and ATL. Each transformations, that is, the ability to transform one model of these languages support transformation of Ecore models to another through modifying the model itself or by creating within the Eclipse Modeling Framework (EMF). We attempt a new version of the model. Model transformations can be to implement the same transformation rule on identical meta split into two categories, model-to-model transformations models in each of these languages to achieve the appropriate and model-to-text/code transformation [5]. The model- transformed model. We provide our observations in using to-text transformation task, sometimes referred to as code each tool to perform the transformation and comment on generation, is relatively more mature and explored compared each language/tool's expressive power, ease of use, and to model-to-model(M2M) transformations. modularity. We conclude by noting that ATL is our language / tool of choice because it strikes a balance Progressing in the area of model-to-model transformations between ease of use and expressive power and still allows is crucial in continuing to foster the adoption of MDD as for modularity. We believe this, in conjunction with ATL's noted in [5, 9] as these are important operations. Although role in the official Eclipse M2M project will lead to wide- there are many classifications of model transformation ap- spread use of ATL and, hopefully, a step forward in M2M proaches [3], all with much promise, it is still unclear which transformations. approach is the best for M2M transformations in practice or if some are best suited to specific contexts. Categories and Subject Descriptors D.2.12 [Software Engineering]: [Interface definition lan- In this paper, we utilize and evaluate 3 fairly well known guages] M2M model transformation languages each belonging to a different category of M2M as defined in [3]. The languages that we compare, along with their corresponding categories, General Terms are EMF Model Transformation Framework [1], a graph- Languages transformation based approach; KerMeta [7], a direct- manipulation approach; and Atlas [6] (ATL), which is a Keywords hybrid approach and is part of the official Eclipse M2M Model transformations, Model-driven development, model project. transformation languages, meta modeling Section 2 begins by first providing a brief summary of M2M 1. INTRODUCTION transformations and Eclipse Modeling Framework (EMF) Ecore models and continues with the M2M approaches that we discuss in the remainder of the paper. Section 3 outlines the procedure that we will follow in order to perform the comparison, which includes a discussion of the M2M transformation that will be attempted on all 3 languages and the various dimensions that the 3 approaches will be compared on. Section 4 presents the observations we make when using each of the respective approaches to accomplish the M2M transformation. The paper concludes with Section 5, in which we summarize our observations and provides many useful built-in collection operations such chose which tool we consider the best given our criteria. as iterators, filters, and common set operators. An ATL program is composed of rules that indicate how model 2. BACKGROUND elements are identified and subsequently modified in order This section provides brief background information on M2M to obtain the target model. transformations, EMF Ecore, and the three languages we use. Figure 1 illustrates a sample rule we have taken from the ATL user guide. The rule has a source and a target metamodel, MMAuthor and MMPerson, respectively. The 2.1 M2M Transformations Authors within the MMAuthor metamodel, denoted by !Au- M2M transformation refers to the process of modifying a thor following the source Metamodel name, are represented model to create either a new model or update itself [8]. by the variable a. Persons in the target metamodel, bound Generally model transformation can be seen as an operation to variable p, are new model objects that have their features that takes existing model elements, follows some guidelines name and surname set to name and surname found in the or rules as to what should be modified and how it should corresponding Author object. modified, and then produces either an entirely new model containing appropriate elements or the modified version of There are three types of rules in ATL: Matched rules, such the model with the new/modified elements. Model-to-model as the one presented in Figure 1 that are automatically transformations involve the process of going from platform- called; lazy rules, which are ones only executed when independent models (PIM)s to either other PIMs or from called by another rule; and called rules, which do not PIMs to platform-specific models (PSM)s not in the form of include a source pattern and may contain optional local code. variables/parameters. There are two types of execution modes in ATL: the normal mode and the refining mode. The 2.2 Ecore refining mode is used to focus on specific transformations Ecore [10] is Eclipse's implementation of the Essential Meta- the program, for example, to transform one source model Object Facility (EMOF). It provides the M2 layer, which is element into one target model element and focus while the Ecore language that allows modelers to develop meta leaving the rest implicitly copied. models, called Ecore models. Ecore models are the M1 layer and can be used to specify systems or a family of systems r u l e Author f that can later be instantiated (M0 layer). That is, Eclipse's from implementation allows users to develop Ecore meta models a : MMAuthor ! Author (M1 layer) to allow for instantiation of system models (M0 to p : MMPerson!Person ( layer) that can be developed within an Eclipse application. name <− a . name , A completed Ecore (meta) model allows for code generation, surname <− a . surname validation, and instantiation of Ecore instance models. It is ) widely used in both industry and research and all three of g the model transformation languages discussed in this project work with Ecore models. Figure 1: Sample ATL Rule 2.3 Languages Used 2.3.2 EMF Model Transformation Framework The three modeling transformation languages used by us The EMF Model Transformation (EMT) framework pro- for this project all work with Ecore models as we figure vides an entirely graphical interface to describe in-place this will provide a common foundation for comparison. We transformation rules on an Ecore model. It includes a attempt to select languages that are prevalent in research compiler and a code generator so that the transformations and industry, based on quantity of documentation and other created within it can be reused. EMT is built upon information sources, and that are different enough that AGG [11], which is a graph transformation tool. a comparison will exhibit the benefits and drawbacks of various approaches to achieving M2M transformation. As shown in Figure 2, the Eclipse editor is divided into Left- Hand Side (LHS) and Right-Hand Side (RHS) panes that 2.3.1 Atlas Transformation Language show how model elements are structured before and after the The ATLAS Transformation Language (ATL) is one of transformation. Optionally, a negative application condition three transformation engines within the Eclipse Model- (NAC) pane can be used to show the one or more situations To-Model subproject, which, itself, is part of the Eclipse where a rule should not be applied. Model elements in Modeling Project. The other two engines are based on the LHS can be mapped to corresponding elements in the the Query/View/Transformation (QVT) standard set by the RHS and NAC section to indicate their identity, and are Object Management Group, but their implementations are represented visually by having the same colour in those still relatively immature so we consider them out of scope panes. Unmapped elements in the LHS are deleted in the for the work in this paper. transformation and unmapped elements in the RHS are created. The example in Figure 2, is an example of a ATL is a ruled-based domain-specific language that de- transformation that will move all Eclasses with name equal scribes transformations from one Ecore metamodel to an- to 'n' to the package with its name equal to 'p'. The other Ecore metamodel. It supports an interesting mix NAC pane indicates that any packages already containing of declarative and imperative language paradigms, and the Eclass to be moved can be ignored. EMT has been c l a s s Class2RDBMS f /∗∗ The trace of the transformation ∗/ reference class2table : Trace<Class , Table > /∗∗ Set of keys of the output model ∗/ reference fkeys : Collection <FKey> operation transform(inputModel : ClassModel ) : RDBMSModel i s do // Initialize the trace class2table := Trace<Class , Table >.new class2table .create f k e y s := Set<FKey>.new r e s u l t := RDBMSModel .
Recommended publications
  • The Model Transformation Language of the VIATRA2 Framework
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Science of Computer Programming 68 (2007) 214–234 www.elsevier.com/locate/scico The model transformation language of the VIATRA2 framework Daniel´ Varro´ ∗, Andras´ Balogh Budapest University of Technology and Economics, Department of Measurement and Information Systems, H-1117, Magyar tudosok krt. 2., Budapest, Hungary OptXware Research and Development LLC, Budapest, Hungary Received 15 August 2006; received in revised form 17 April 2007; accepted 14 May 2007 Available online 5 July 2007 Abstract We present the model transformation language of the VIATRA2 framework, which provides a rule- and pattern-based transformation language for manipulating graph models by combining graph transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs for querying (e.g. recursive graph patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions. c 2007 Elsevier B.V. All rights reserved. Keywords: Model transformation; Graph transformation; Abstract state machines 1. Introduction The crucial role of model transformation (MT) languages and tools for the overall success of model-driven system development has been revealed in many surveys and papers during the recent years. To provide a standardized support for capturing queries, views and transformations between modeling languages defined by their standard MOF metamodels, the Object Management Group (OMG) has recently issued the QVT standard. QVT provides an intuitive, pattern-based, bidirectional model transformation language, which is especially useful for synchronization kind of transformations between semantically equivalent modeling languages.
    [Show full text]
  • Model Transformation Languages Under a Magnifying Glass:A Controlled Experiment with Xtend, ATL, And
    CORE Metadata, citation and similar papers at core.ac.uk Provided by The IT University of Copenhagen's Repository Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT Regina Hebig Christoph Seidl Thorsten Berger Chalmers | University of Gothenburg Technische Universität Braunschweig Chalmers | University of Gothenburg Sweden Germany Sweden John Kook Pedersen Andrzej Wąsowski IT University of Copenhagen IT University of Copenhagen Denmark Denmark ABSTRACT NamedElement name : EString In Model-Driven Software Development, models are automatically processed to support the creation, build, and execution of systems. A large variety of dedicated model-transformation languages exists, Project Package Class StructuralElement modifiers : Modifier promising to efficiently realize the automated processing of models. [0..*] packages To investigate the actual benefit of using such specialized languages, [0..*] subpackages [0..*] elements Modifier [0..*] classes we performed a large-scale controlled experiment in which over 78 PUBLIC STATIC subjects solve 231 individual tasks using three languages. The exper- FINAL Attribute Method iment sheds light on commonalities and differences between model PRIVATE transformation languages (ATL, QVT-O) and on benefits of using them in common development tasks (comprehension, change, and Figure 1: Syntax model for source code creation) against a modern general-purpose language (Xtend). Our results show no statistically significant benefit of using a dedicated 1 INTRODUCTION transformation language over a modern general-purpose language. In Model-Driven Software Development (MDSD) [9, 35, 38] models However, we were able to identify several aspects of transformation are automatically processed to support creation, build and execution programming where domain-specific transformation languages do of systems.
    [Show full text]
  • Data Transformation Language (DTL)
    DTL Data Transformation Language Phillip H. Sherrod Copyright © 2005-2006 All rights reserved www.dtreg.com DTL is a full programming language built into the DTREG program. DTL makes it easy to generate new variables, transform and combine input variables and select records to be used in the analysis. Contents Contents...................................................................................................................................................3 Introduction .............................................................................................................................................6 Introduction to the DTL Language......................................................................................................6 Using DTL For Data Transformations ....................................................................................................7 The main() function.............................................................................................................................7 Global Variables..................................................................................................................................8 Implicit Global Variables ................................................................................................................8 Explicit Global Variables ................................................................................................................9 Static Global Variables..................................................................................................................11
    [Show full text]
  • Model-Based Hardware Generation and Programming - the MADES Approach
    1 Model-based hardware generation and programming - the MADES approach Ian Gray∗, Nikos Matragkas∗, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris Kolovos, Richard Paige University of York, York, U.K. F Abstract—This paper gives an overview of the model-based hardware the proposed hardware development flow and the way generation and programming approach proposed within the MADES that embedded software can be targeted at the resulting project. MADES aims to develop a model-driven development process complex architectures. for safety-critical, real-time embedded systems. MADES defines a sys- tems modelling language based on subsets of MARTE and SysML that allows iterative refinement from high-level specification down to 1.1 MADES Project Goals final implementation. The MADES project specifically focusses on three The MADES project (Model-based methods and tools unique features which differentiate it from existing model-driven develop- ment frameworks. First, model transformations in the Epsilon modelling for Avionics and surveillance embeddeD systEmS) aims framework are used to move between system models and provide to develop the elements of a fully model-driven ap- traceability. Second, the Zot verification tool is employed to allow early proach for the design, validation, simulation, and code and frequent verification of the system being developed. Third, Compile- generation of complex embedded systems to improve Time Virtualisation is used to automatically retarget architecturally- the current practice in the field. MADES differentiates neutral software for execution on complex embedded architectures. itself from similar projects in that way that it covers This paper concentrates on MADES’s approach to the specification of hardware and the way in which software is refactored by Compile-Time all the phases of the development process: from system Virtualisation.
    [Show full text]
  • Feather: a Feature Model Transformation Language
    1 Feather: A Feature Model Transformation Language Ahmet Serkan Karataş * area of usage to include dynamic systems that can face Abstract: Feature modeling has been a very popular approach fluctuating context conditions, changing user requirements, for variability management in software product lines. Building need to include and facilitate novel resources rapidly, and so on. a feature model requires substantial domain expertise, however, The constant need for adaptation required to enhance the even experts cannot foresee all future possibilities. Changing variability management capabilities of SPLs to cover runtime, requirements can force a feature model to evolve in order to which gave birth to the dynamic software product lines adapt to the new conditions. Feather is a language to describe (DSPLs). In addition to the properties they inherit from SPLs, model transformations that will evolve a feature model. This DSPLs have several other properties such as dynamic article presents the structure and foundations of Feather. First, variability management, flexible variation points and binding the language elements, which consist of declarations to times, context awareness, and self-adaptability [21]. characterize the model to evolve and commands to manipulate A major factor affecting the success of a software product its structure, are introduced. Then, semantics grounding in line, classic or dynamic, is the variability management activity feature model properties are given for the commands in order it incorporates [12]. In the literature there are reports of various to provide precise command definitions. Next, an interpreter variability modeling and management approaches such as that can realize the transformations described by the commands in a Feather script is presented.
    [Show full text]
  • Comparative Studies of 10 Programming Languages Within 10 Diverse Criteria Revision 1.0
    Comparative Studies of 10 Programming Languages within 10 Diverse Criteria Revision 1.0 Rana Naim∗ Mohammad Fahim Nizam† Concordia University Montreal, Concordia University Montreal, Quebec, Canada Quebec, Canada [email protected] [email protected] Sheetal Hanamasagar‡ Jalal Noureddine§ Concordia University Montreal, Concordia University Montreal, Quebec, Canada Quebec, Canada [email protected] [email protected] Marinela Miladinova¶ Concordia University Montreal, Quebec, Canada [email protected] Abstract This is a survey on the programming languages: C++, JavaScript, AspectJ, C#, Haskell, Java, PHP, Scala, Scheme, and BPEL. Our survey work involves a comparative study of these ten programming languages with respect to the following criteria: secure programming practices, web application development, web service composition, OOP-based abstractions, reflection, aspect orientation, functional programming, declarative programming, batch scripting, and UI prototyping. We study these languages in the context of the above mentioned criteria and the level of support they provide for each one of them. Keywords: programming languages, programming paradigms, language features, language design and implementation 1 Introduction Choosing the best language that would satisfy all requirements for the given problem domain can be a difficult task. Some languages are better suited for specific applications than others. In order to select the proper one for the specific problem domain, one has to know what features it provides to support the requirements. Different languages support different paradigms, provide different abstractions, and have different levels of expressive power. Some are better suited to express algorithms and others are targeting the non-technical users. The question is then what is the best tool for a particular problem.
    [Show full text]
  • WOL: a Language for Database Transformations and Constraints
    University of Pennsylvania ScholarlyCommons Database Research Group (CIS) Department of Computer & Information Science April 1997 WOL: A Language for Database Transformations and Constraints Susan B. Davidson University of Pennsylvania, [email protected] Anthony S. Kosky University of California Follow this and additional works at: https://repository.upenn.edu/db_research Davidson, Susan B. and Kosky, Anthony S., "WOL: A Language for Database Transformations and Constraints " (1997). Database Research Group (CIS). 13. https://repository.upenn.edu/db_research/13 Copyright 1997 IEEE. Reprinted from Proceedings of the 13th International Conference on Data Engineering, April 1997, pages 55-65. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it. This paper is posted at ScholarlyCommons. https://repository.upenn.edu/db_research/13 For more information, please contact [email protected]. WOL: A Language for Database Transformations and Constraints Abstract The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underlying databases, and by the presence of non-standard database constraints. We describe a declarative language, WOL, for specifying such transformations, and its implementation in a system called Morphase.
    [Show full text]
  • SPOT: a DSL for Extending Fortran Programs with Metaprogramming
    Hindawi Publishing Corporation Advances in Soware Engineering Volume 2014, Article ID 917327, 23 pages http://dx.doi.org/10.1155/2014/917327 Research Article SPOT: A DSL for Extending Fortran Programs with Metaprogramming Songqing Yue and Jeff Gray Department of Computer Science, University of Alabama, Tuscaloosa, AL 35401, USA Correspondence should be addressed to Songqing Yue; [email protected] Received 8 July 2014; Revised 27 October 2014; Accepted 12 November 2014; Published 17 December 2014 Academic Editor: Robert J. Walker Copyright © 2014 S. Yue and J. Gray. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Metaprogramming has shown much promise for improving the quality of software by offering programming language techniques to address issues of modularity, reusability, maintainability, and extensibility. Thus far, the power of metaprogramming has not been explored deeply in the area of high performance computing (HPC). There is a vast body of legacy code written in Fortran running throughout the HPC community. In order to facilitate software maintenance and evolution in HPC systems, we introduce a DSL that can be used to perform source-to-source translation of Fortran programs by providing a higher level of abstraction for specifying program transformations. The underlying transformations are actually carried out through a metaobject protocol (MOP) and a code generator is responsible for translating a SPOT program to the corresponding MOP code. The design focus of the framework is to automate program transformations through techniques of code generation, so that developers only need to specify desired transformations while being oblivious to the details about how the transformations are performed.
    [Show full text]
  • The Transformation Language XSL
    Chapter 8 The Transformation Language XSL 8.1 XSL: Extensible Stylesheet Language • developed from – CSS (Cascading Stylesheets) scripting language for transformation of data sources to HTML or any other optical markup, and – DSSSL (Document Style Semantics and Specification Language), stylesheet language for SGML. Functional programming language. • idea: rule-based specification how elements are transformed and formatted recursively: – Input: XML – Output: XML (special case: HTML) • declarative/functional: XSLT (XSL Transformations) 305 APPLICATIONS • XML XML → – Transformation of an XML instance into a new instance according to another DTD, – Integration of several XML instances into one, – Extraction of data from an XML instance, – Splitting an XML instance into several ones. • XML HTML → – Transformation of an XML instance to HTML for presentation in a browser • XML anything → – since no data structures, but only ASCII is generated, LATEX, postscript, pdf can also be generated – ... or transform to XSL-FO (Formatting objects). 306 THE LANGUAGE(S) XSL Partitioned into two sublanguages: • functional programming language: XSLT “understood” by XSLT-Processors (e.g. xt, xalan, saxon, xsltproc ...) • generic language for document-markup: XSL-FO “understood” by XSL-FO-enabled browsers that transform the XSL-FO-markup according to an internal specification into a direct (screen/printable) presentation. (similar to LaTeX) • programming paradigm: self-organizing tree-walking • XSL itself is written in XML-Syntax. It uses the namespace prefixes “xsl:” and “fo:”, bound to http://www.w3.org/1999/XSL/Transform and http://www.w3.org/1999/XSL/Format. • XSL programs can be seen as XML data. • it can be combined with other languages that also have an XML-Syntax (and an own namespace).
    [Show full text]
  • Optimized Declarative Transformation First Eclipse Qvtc Results
    Optimized declarative transformation First Eclipse QVTc results Edward D. Willink1 Willink Transformations Ltd., Reading, UK, ed/at/willink.me.uk, Abstract. It is over ten years since the first OMG QVT FAS1 was made available with the aspiration to standardize the fledgling model transformation community. Since then two serious implementations of the operational QVTo language have been made available, but no im- plementations of the core QVTc language, and only rather preliminary implementations of the QVTr language. No significant optimization of these (or other transformation) languages has been performed. In this paper we present the first results of the new Eclipse QVTc implemen- tation demonstrating scalability and major speedups through the use of metamodel-driven scheduling and direct Java code generation. Keywords: optimization, declarative transformation, scheduling, code generation, QVTc 1 Introduction The OMG QVT specification [11] was planned as the standard solution to model transformation problems. The Request for Proposals in 2002 stimulated 8 re- sponses that eventually coalesced into a revised merged submission in 2005 for three different languages. The QVTo language provides an imperative style of transformation. It stim- ulated two useful implementations, SmartQVT and Eclipse QVTo. The QVTr language provides a rich declarative style of transformation. It also stimulated two implementations. ModelMorf never progressed beyond beta releases. Medini QVT had disappointing performance and is not maintained. The QVTc language provides a much simpler declarative capability that was intended to provide a common core for the other languages. There has never been a QVTc implementation since the Compuware prototype was not updated to track the evolution of the merged QVT submission.
    [Show full text]
  • Malan: a Mapping Language for the Data Manipulation Arnaud Blouin, Olivier Beaudoux, S
    Malan: A Mapping Language for the Data Manipulation Arnaud Blouin, Olivier Beaudoux, S. Loiseau To cite this version: Arnaud Blouin, Olivier Beaudoux, S. Loiseau. Malan: A Mapping Language for the Data Ma- nipulation. ACM symposium on Document engineering, Sep 2008, Sao Paulo, Brazil. pp.66–75, 10.1145/1410140.1410153. hal-00470261 HAL Id: hal-00470261 https://hal.archives-ouvertes.fr/hal-00470261 Submitted on 5 Apr 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Malan: A Mapping Language for the Data Manipulation Arnaud Blouin Olivier Beaudoux Stéphane Loiseau GRI - ESEO GRI - ESEO LERIA, University of Angers Angers, France Angers, France Angers, France [email protected] [email protected] stephane.loiseau@univ- angers.fr ABSTRACT it does not guarantee the correctness of the transformation Malan is a MApping LANguage that allows the generation process. Working at the schema level by specifying schema of transformation programs by specifying a schema mapping mappings avoids such drawbacks. In our previous work [8], between a source and target data schema. By working at the we started the application of the mapping concept to docu- schema level, Malan remains independent of any transfor- ment transformation.
    [Show full text]
  • QVT Declarative Documentation
    QVT Declarative Documentation QVT Declarative Documentation Edward Willink and contributors Copyright 2009 - 2016 Eclipse QVTd 0.14.0 1 1. Overview and Getting Started ....................................................................................... 1 1.1. What is QVT? ................................................................................................... 1 1.1.1. Modeling Layers ...................................................................................... 1 1.2. How Does It Work? ............................................................................................ 2 1.2.1. Editing ................................................................................................... 2 1.2.2. Execution ................................................................................................ 2 1.2.3. Debugger ................................................................................................ 2 1.3. Who is Behind Eclipse QVTd? ............................................................................. 2 1.4. Getting Started ................................................................................................... 3 1.4.1. QVTr Example Project .............................................................................. 3 1.4.2. QVTc Example Project .............................................................................. 5 1.5. Extensions ......................................................................................................... 5 1.5.1. Import ...................................................................................................
    [Show full text]