Logo des Repositoriums

Auflistung nach Autor:in "Garcia, Miguel"

1 - 2 von 2
  • Konferenzbeitrag
    Certification of Transformation Algorithms in Model-Driven Software Development
    (Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Garcia, Miguel; Möller, Ralf
    The increasing reliance on Model-Driven Software Development calls for model compilers to assume the role of today’s compilers, i.e., reliability of these com- ponents is of utmost importance. We describe how to certify model transformations in this context by bridging the gap between the languages in which such transformations are specified (e.g., Essential MOF, OCL, OO programs) and the decision procedures needed to verify properties expected of such transformations. Two major aspects are investigated in this paper: (i) valid output is obtained for each valid input, (ii) the output satisfies certain properties. Results from application projects validate our approach, which internally applies model-driven techniques to the certification process itself by mapping transformation specifications into the +CAL model-checking language.
  • Konferenzbeitrag
    Rules for Type-checking of Parametric Polymorphism in EMF Generics
    (Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Garcia, Miguel
    The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametric polymorphism (also known as "parameterized types" or "generics") thus achieving the same benefits realized in other generic type systems (most notably, Java 5). To our knowledge, this is the first formal account in the literature of the resulting type system, including the well-formedness rules (WFRs) for type expressions. We offer an initial formalization of the type system of EMF Generics by formulating those WFRs in OCL (Object Constraint Language). The insights thus gained are applicable to solve the type-checking problem for custom DSLs (Domain Specific Languages).