1 / 20

Heterogeneous Synchronization in Software Engineering

Heterogeneous Synchronization in Software Engineering. Yingfei Xiong Ph.D. Student The University of Tokyo. Who am I?. Yingfei Xiong [i :ŋfei ʃiɔ ŋ ] ( 熊英飞 | 熊　英飛 ) I am a third-year Ph.D. student at Information Processing Laboratory, University of Tokyo

ronny
Download Presentation

Heterogeneous Synchronization in Software Engineering

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Heterogeneous Synchronizationin Software Engineering YingfeiXiong Ph.D. Student The University of Tokyo

  2. Who am I? • YingfeiXiong [i:ŋfei ʃiɔŋ] (熊英飞 | 熊　英飛) • I am a third-year Ph.D. student at • Information Processing Laboratory, • University of Tokyo • I am from China, speaking only a little Japanese • Advisors Zhenjiang Hu Masato Takeichi

  3. What do I work on? • Heterogeneous Synchronization in Software Engineering • Try to provide fundamental support for synchronization in software engineering applications UML Class Diag. Eclipse Views Sequence Diag. ------------ ------------ ------------ ----------- Code

  4. An EJB Modeling Application(Enterprise JavaBeans)

  5. Consistency relations on data Equal Equal

  6. Update Propagation in Both Directions User Department User Department

  7. Simultaneous Updates User Department User Department

  8. Intra-relations on data Equal Dependent

  9. Intra-relations on data SignModule SignModule

  10. My Research • Operation-based Synchronization • State-based Synchronization • no intra-relation support Synchronizer Update Operation Update Operation Synchronizer Data Data

  11. Operation-based Synchronization • Beanbag • a new language for operation-based synchronization • support intra-relations

  12. An Overview of Beanbag Users Updates ------------ ------------ ------------ ------------ Synchronizer Compile Application Data Beanbag Program Updates

  13. Features of Beanbag Users Operation-based Synchronization with no propagation direction imposed Intra-relations and inter-relations are captured in a unified way Updates ------------ ------------ ------------ ------------ Synchronizer Compile Application Data Beanbag Program Allow fine control over synchronization behavior Updates

  14. Find out more • Technique Report • Beanbag: Operation-based Synchronization with Intra-relations. GRACE-TR-2008-04. • Web site • http://www.ipl.t.u-tokyo.ac.jp/~xiong/beanbag.html • You may find the link on my homepage

  15. State-based Model Synchronization consistent a0 b0 Modify Modify a1 b1 Synchronizer a2 b2 consistent

  16. From Unidirectional Transformation An unidirectional Transformation program SyncATL Interpreter ATL Transformation Program Synchronizer • propagates updates on the target model back to the source • allows simultaneous updates on the two models

  17. Find out more • Conference paper: • Towards Automatic Model Synchronization from Model Transformations. In Proc. ASE 2007 • Web Site: • http://www.ipl.t.u-tokyo.ac.jp/~xiong/modelSynchronization.html • The link can be found on my homepage

  18. From Bidirectional Transformation Wrapper Any Bidirectional Model Transformation Synchronizer • allows simultaneous updates on the two models

  19. Properties • We prove that bidirectional transformation properties [Stevens07] lead to synchronization properties [Xiong07]. • On going work. No publication yet. • Stability • Preservation • Consistency • Hippocraticness • Correctness

  20. Tentative Topics • Long Talk (30+ mins, fine if tomorrow morning) • Beanbag: Operation-based Synchronization with Intra-relations • Short Talks / Informal Discussion • From Unidirectional Model Transformation to(towards) Model Synchronization • From Bidirectional Model Transformation to Model Synchronization • Tool Demos • Beanbag and SyncATL

More Related