For model transformations, OMG has proposed the metaobject Facility (MOF) standard for metamodel expression and query/view/transformation (QVT) [35] for transformation specifications.
Alloy and its Analyzer have been previously used in the validation of transformation specifications, namely for transformations specified in QVT-R and ATL (ATLAS Transformation Language).
After presenting the general service hierarchy, the chapter also describes a mechanism for transforming XML-encoded data, the Extensible Stylesheet Language Transformation (XSLT) specification, and explains its use as a tool to provide multi-purpose publishing functionality for the Web and the Mobile Internet-based spatial services.
Our technique is based on the concept of transformation contracts, a specification that relates two modeling languages and declares properties that must be fulfilled in such a relation.
LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.
To the central marker interval of the FPS QTL (rs3722990 rs3716673), we fitted a Diploffect linear mixed model (LMM) using DF.IS that included fixed effects of sex and testing chamber and random effects of cage and sibship, and where FPS was subject to a cube root transformation; this model specification follows that described in the parallel HS study of Valdar et al. (2006b).
This paper deals with the application of graph transformations for the specification of conceptual design tools.
We have developed algorithms for transformation of IIS⁎CFuncLang specifications into executable program code, such as PL/SQL program code.
