Assembling the Proofs of Ordered Model Transformations

In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent. Following the proofs-as-model-transformations approach, in this paper we consider a formalisation in Constructive Type Theory of the concepts of model and model transformation, and show how the correctness proofs of potentially large ordered model transformations can be systematically assembled from the proofs of the specifications of their parts, making them easier to derive.Comment: In Proceedings FESCA 2013, arXiv:1302.478

Regenerative-Relational Tritangtu: Sundanese Triadic Transformation Model

 Tritangtu atau pola pikir tritunggal merupakan kosmologi masyarakat Sunda dan Minang yang terdiri dari tiga entitas (pola tiga). Tritangtu sebagai kearifan lokal juga melatarbelakangi struktur mental pelaku kreatif dalam membuat karya baik berupa pertunjukan, nilai filosofi artefak mau- pun produk budaya lainnya di masyarakat Indonesia. Penelitian ini menggunakan metode etnografi dengan teknik pengumpulan data observasi partisipasi, wawancara mendalam dan dokumentasi. Obyek penelitian ini adalah praktik pelaku kreatif di bidang desain di Bandung. Hasil penelitian ini menunjukkan adanya transformasi tritangtu Sunda dari struktur yang tetap menjadi struktur dinamis. Perubahan struktur ini ditentukan oleh relasi antar struktur pembentuk unsur desain de- ngan segmentasi pasar global. Peminjaman penanda identitas Sunda khususnya budaya rakyat atau tradisi masa lalu merupakan upaya regeneratif dalam usahanya untuk harmonisasi pola tiga dalam menghadapi dan memenangkan persaingan pasar bebas di Indonesia.

Transformation From Semantic Data Model to Rdf

There have been several efforts to use relational model and database to store and manipulate Resource Description Framework (RDF). They have one general disadvantage, i.e. one is forced to map the model of semantics of RDF into relational model, which will end up in constraints and additional properties, such as, validating each assertion against the RDF schema which also stored as a triplets table. In this paper, we introduce Semantic Data Model as a proposed data model language to store and manipulate Resource Description Framework. This study also tries to prescribe the procedure on transforming a semantic data model into a RDF data model. Keyworsd: Semantic Data Model, Resource Description Framework

Feasibility of EPC to BPEL Model Transformations Based on Ontology and Patterns

Model-Driven Engineering holds the promise of transforming\ud business models into code automatically. This requires the concept of\ud model transformation. In this paper, we assess the feasibility of model\ud transformations from Event-driven Process Chain models to Business\ud Process Execution Language specifications. To this purpose, we use a\ud framework based on ontological analysis and workflow patterns in order\ud to predict the possibilities/limitations of such a model transformation.\ud The framework is validated by evaluating the transformation of several\ud models, including a real-life case.\ud The framework indicates several limitations for transformation. Eleven\ud guidelines and an approach to apply them provide methodological support\ud to improve the feasibility of model transformation from EPC to\ud BPEL

Marginal Deformations of WZNW and Coset Models from O(d,d) Transformation

We show that O(2,2) transformation of SU(2) WZNW model gives rise to marginal deformation of this model by the operator $\int d^2 z J(z)\bar J(\bar z)$ where $J$, $\bar J$ are U(1) currents in the Cartan subalgebra. Generalization of this result to other WZNW theories is discussed. We also consider O(3,3) transformation of the product of an SU(2) WZNW model and a gauged SU(2) WZNW model. The three parameter set of models obtained after the transformation is shown to be the result of first deforming the product of two SU(2) WZNW theories by marginal operators of the form $\sum_{i,j=1}^2 C_{ij} J_i \bar J_j$, and then gauging an appropriate U(1) subgroup of the theory. Our analysis leads to a general conjecture that O(d,d) transformation of any WZNW model corresponds to marginal deformation of the WZNW theory by combination of appropriate left and right moving currents belonging to the Cartan subalgebra; and O(d,d) transformation of a gauged WZNW model can be identified to the gauged version of such marginally deformed WZNW models.Comment: 26 pages, phyzzx.tex, TIFR-TH-92-6

Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation

Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.Comment: 8 pages, 4 figures; to appear in HASE 2019 proceeding

The TTC 2013 Flowgraphs Case

This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there's a model-to-text problem, there are two in-place transformation problems, and finally there's a task dealing with validation of models resulting from the transformations. The tasks build upon each other, but the transformation case project also provides all intermediate models, thus making it possible to skip tasks that are not suited for a particular tool, or for parallelizing the work among members of participating teams.Comment: In Proceedings TTC 2013, arXiv:1311.753

T-duality and Generalized Complex Geometry

We find the explicit T-duality transformation in the phase space formulation of the N=(1,1) sigma model. We also show that the T-duality transformation is a symplectomorphism and it is an element of O(d,d). Further, we find the explicit T-duality transformation of a generalized complex structure in this model. We also show that the extended supersymmetry of the sigma model is preserved under the T-duality.Comment: 18 pages; added references; published versio

A Linda-based Platform for the Parallel Execution of Out-place Model Transformations

Context: The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore computers are becoming commonplace. However, existing model transformation engines are mostly based on sequential and in-memory execution strategies, and thus their capabilities to transform large models in parallel and distributed environments are limited. Objective: This paper presents a solution that provides concurrency and distribution to model transformations. Method: Inspired by the concepts and principles of the Linda coordination language, and the use of data parallelism to achieve parallelization, a novel Javabased execution platform is introduced. It offers a set of core features for the parallel execution of out-place transformations that can be used as a target for high-level transformation language compilers. Results: Significant gains in performance and scalability of this platform are reported with regard to existing model transformation solutions. These results are demonstrated by running a model transformation test suite, and by its comparison against several state-of-the-art model transformation engines. Conclusion: Our Linda-based approach to the concurrent execution of model transformations can serve as a platform for their scalable and efficient implementation in parallel and distributed environments.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech