Bidirectional Synchronization of Multiple Views of Software Models

: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiview design environments. Tool implementers have tried a variety of ad-hoc techniques to maintain views in-synch, with modest results. To improve this state of affairs, a declarative approach is elaborated to automate multiview synchronization, building upon existing metamodeling techniques and recent advances in the field of function inversion for bidirectionalization. An application of these ideas to EMOF and a discussion of the resulting Declarative MVC software architecture are also provided. A significant benefit of the approach is the resulting comprehensive solution to a recurrent problem in the software modeling field.

• Type: Conference
• Year: 2008
• Where: DSML
• Authors: Miguel Garcia
• Keywords: Domain-Specific Modeling Languages, DSML 2008, Formal Methods, Metamodeling Techniques, Multiview Design Environments