A Bidirectional Transformation Approach towards Automatic Model Synchronization? Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Masato Takeichi Department of Mathematical Informatics Graduate School of Information Science and Technology University of Tokyo, Hongo 7-3-1, Bunkyo-ku, Tokyo 113-8656, Japan {Yingfei Xiong, liu, hu, takeichi}@mist.i.u-tokyo.ac.jp

Model-driven architecture (MDA) [1] is a discipline in software engineering that relies on models as first class entities and that aims to develop, maintain and evolve software by performing model transformations. Refinement, abstraction, refactoring, and integration of models are special cases of model transformations that can be found in many areas of software engineering [2]. However, there are situations where only a transformation from one model to another is not enough. Users may change models after the transformation in both the source side and the target side, causing the maintenance problem. Consider the following scenario: first designers create a UML model to describe the system design, and then perform a model transformation on the UML model to produce a Java source model for programmers to implement the system. Programmers add code and methods to the Java source model, while at the same time, designers change the name of a class on the UML model. Now the UML model and the Java source model become inconsistent and need to be synchronized. Simply performing the transformation from UML model to Java source model again will not synchronize the models, because the modifications on the Java source model will be lost. To synchronize the models, we need to propagate the changes both from the UML model to the Java source model and from the Java source model to the UML model. We call the process of propagating changes across heterogeneous models (models of different formats) as model synchronization. Existing model synchronization systems and model synchronization frameworks [3] require users to manually write code to deal with each type of modification on each type of model. However, this is often a difficult task and it is also difficult to know whether manually-written code is correct or not. In this paper we propose a more automated approach: to extract necessary information from the existing transformations, and to automatically synchronize models without requiring users to write extra code. Our approach is based on bidirectional transformation. Bidirectional transformation is originated from the view-updating techniques [4] and now intensively studied by researchers on XML transformation [5][6]. In bidirectional transformation, researchers give semantics to uni-directional transformations so ?

This research was supported in part by a grant from Japan Society for the Promotion of Science (JSPS) Grant-in-aid for Scientific Research (A) 19200002, and by the National Natural Science Foundation of China under Grant No. 60528006.

2

that the transformation system can reflect modifications on the target model back into the source. In other words, transformations can be bidirectionally executed. In our approach, we apply the idea of bidirectional transformation to model transformation, and use bidirectional model transformations to support model synchronization. Our system is built upon ATL Virtual Machine on which ATL bytecode is executed. ATL byte code is part of a widely-used model transformation language called Atlas Transformation Language (ATL) [7]. ATL consists of a high-level declarative language and the low-level byte-code language. If other model transformation languages can be translated into ATL byte-code, they can also be executed by the ATL engine. The main contributions of our work can be summarized as the following: – We propose an approach to automatic model synchronization by extracting necessary information from existing transformations. – We propose a set of properties to ensure the correctness of a synchronization process. Also, we discuss how our approach is related to the properties. – We have implemented our approach on ATL Virtual Machine and have tested our system on several ATL transformations. In addition, our system can support other transformation language if these languages can be translated to ATL byte-code. One limitation of our current system is that we cannot deal well with insertions on the target model. We are solving this problem by introducing virtual holes to the source side. This is one of our future work.

References 1. Frankel, D.S.: Model Driven Architecture: Applying MDA to Enterprise Comput ing. John Wiley & Sons (2003) 2. Czarnecki, K., Helsen, S.: Classification of model transformation approaches. In: OOPSLA 03 Workshop on Generative Techniques in the Context of Model-Driven Architecture. (2003) 3. Ivkovic, I., Kontogiannis, K.: Tracing evolution changes of software artifacts through model synchronization. In: ICSM ’04: Proceedings of the 20th IEEE International Conference on Software Maintenance, Washington, DC, USA, IEEE Computer Society (2004) 252–261 4. Bancilhon, F., Spyratos, N.: Update semantics of relational views. ACM Trans. Database Syst. 6(4) (1981) 557–575 5. Liu, D., Hu, Z., Takeichi, M.: Bidirectional interpretation of XQuery. In: PEPM ’07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, New York, NY, USA, ACM Press (2007) 21–30 6. Foster, J.N., Greenwald, M.B., Moore, J.T., Pierce, B.C., Schmitt, A.: Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In: ACM SIGPLAN–SIGACT Symposium on Principles of Programming Languages (POPL), Long Beach, California. (2005) 233–246 7. Jouault, F., Kurtev, I.: Transforming models with ATL. In: Satellite Events at the MoDELS 2005 Conference, LNCS 3844, Springer (2006) 128–138

Paper

Model-driven architecture (MDA) [1] is a discipline in software engineering .... for bi-directional tree transformations: a linguistic approach to the view update.

58KB Sizes 2 Downloads 364 Views

Recommend Documents

paper
fingerprint, hand geometry, iris, keystroke, signature, voice and odour [1]. In recent ... As most of the cryptographic keys are lengthy and in random order, they are ...

paper
fingerprint, hand geometry, iris, keystroke, signature, voice and odour [1]. In recent years, biometric methods ... authentication [1]. Biometric cryptosystems are ...

paper
In this paper we discuss statistical methods for the investigation of cross- cultural differences ... The ACI data have been analyzed before to find the dimensional ...

Paper
the case where the cost of R&D for one firm is independent of its rivals' R&D .... type of market structure: in 2001, while only 0.2% of the IT service companies in.

Paper
swers has a dedicated category named poll and survey. In our approach, we collect poll and ..... question-answering server. In Proceedings of TREC. Hearst, M.

paper
Page 1 ... own architecture, which can be deployed across different designs by the use of a ... has its own tile and routing architectures, and supporting CAD.

paper
Jun 15, 2009 - In the early 1800s, property owners on New ... In this paper, we specifically consider the extent to which Business Improvement .... California cities finds that one-fifth of cities have BIDs; this number rises to one-half for cities o

Paper
Apr 3, 2007 - originally posted, accountancy age, david pescovitz, tom sanders, global ... howard schultz, shaun nichols, san francisco, de la, hong kong, ...

Paper
Abstract. This paper discusses an optimization of Dynamic Fuzzy Neural Net- .... criteria to generate neurons, learning principle, and pruning technology. Genetic.

Paper
Aug 24, 2009 - Email: [email protected]. University of North ... Email: [email protected]. 1 ...... 0) = 1 a d Prob V = 0. ∣. ∣. ∣(Z.

paper
(1)Jet Propulsion Laboratory, California Institute of Technology, 4800 Oak Grove Dr, Pasadena, CA, 91109, United. States - E-mail: [email protected].

Paper
Graduate School of Information Science and Technology. University of Tokyo, Hongo .... Languages (POPL), Long Beach, California. (2005) 233–246. 7. Jouault ...

Paper Title (use style: paper title) - Sites
Android application which is having higher graphics or rendering requirements. Graphics intensive applications such as games, internet browser and video ...

Paper Title (use style: paper title) - GitHub
points in a clustered data set which are least similar to other data points. ... data mining, clustering analysis in data flow environments .... large than the value of k.

Paper Title
Our current focus is on the molecular biology domain. In this paper .... (5) X (: a list of experimental results), indicating that Y .... protein names in biomedical text.

Non-paper
Oct 5, 2015 - integrating adaptation into relevant social, economic and environmental ... (b) Prioritizing action with respect to the people, places, ecosystems and sectors that are most vulnerable to ... 10. There shall be a high-level session on ad

paper - GitHub
LEVEL to~. UNIVRSU~Y OF MARYLAD. COMPUTER SCIENCE CETER. COLLEGE PARK, MARYLAD. Approved frpb~. budnUk~led10. 3 116 ...

[Paper Number]
duced-cost approaches to an ever growing variety of space missions [1]. .... each solar panel; bus and battery voltage; load currents; and main switch current.

Paper Title (use style: paper title)
College of Computer Science. Kookmin ... of the distinct words for clustering online news comments. In ... This work was supported by the Basic Science Research Program through .... is performed on class-wise reviews as depicted in Fig. 1(b).

Paper Title (use style: paper title)
School of Electrical Engineering, KAIST .... [Online]. Available: http://yann.lecun.com/exdb/mnist/. [5] Design Compiler User Guide, Synopsys, Mountain View, CA, ...

Paper Title (use style: paper title)
on the substrate, substrate pre-deposition process, and Pd deposition .... concentration is below the ignition threshold, which is often important for such a sensor.