ارائه روشي جديد براي تبديل مدل دوسويه بر اساس چارچوب اپسيلون و تكنيك‌هاي رديابي‌پذيري

A New Approach for Bidirectional Model Transformation Based on the Epsilon Framework and Traceability Techniques

توسعه مدل رانده روش نويني در توليد نرم‌افزار است كه در آن، از روي مدل و با به‌كارگيري مجموعه روش‌هايي تحت عنوان تبديل مدل، كد پياده‌سازي به‌صورت خودكار/ نيمه‌خودكار توليد مي‌شود. كليه فعاليت‌هاي ممكن در روش‌هاي مدل رانده با استفاده از تبديل‌ها انجام مي‌گيرد. يكي از اين فعاليت‌ها، تبديل مدل‌به‌مدل است كه در ساده‌ترين حالت، ارتباطي تك‌سويه را بين مدل مبدأ و مقصد تعريف مي‌كند. در اين حالت، فقط مي‌توان مدل مقصد را از روي مدل مبدأ به دست آورد. اما در حالت كلي‌تر، مدل‌هاي مبدأ و مقصد مستقلاً تغيير مي‌يابند. درنتيجه، براي سازگاري به تبديل‌هاي پيشرفته‌تري به‌نام تبديل دوسويه نياز است. روش‌هاي تبديل دوسويه داراي چالش‌هايي مانند ابهام در زبان تبديل، نمادسازي خاص و صوري‌سازي گران هستند. جهت رفع اين چالش‌ها، در اين مقاله، روش جديدي براي تبديل دوسويه برمبناي چارچوب مدل رانده اپسيلون و تكنيك‌هاي رديابي‌پذيري پيشنهاد مي‌شود. در اين روش، روابط بين مدل‌هاي مبدأ و مقصد صوري‌سازي شده، سپس روي محكي شناخته‌شده پياده‌سازي مي‌شود. اين روش بر اساس 10 معيار با سه روش تبديل دوسويه مقايسه مي‌گردد. نتيجه مقايسه‌ها برتري‌هاي روش پيشنهادي از قبيل قابليت حمل، نگه‌داري، مصالحه و پشتيباني عملگري را نشان مي‌دهد.

Model-driven development is a new paradigm in software development in which the implementation code is automaticallysemi-automatically generated from the model, using a set of techniques named model transformations. All activities in model-driven approaches are performed via the application of transformations. One of such activities is model-to-model transformation, which defines a unidirectional relation between the source and target models in the simplest case studies. In this case, the only possibility is to produce the target model from the source model. However, in general, the source and target models are evolved independently. Therefore, a more advanced transformation called bidirectional transformation (Bx) is required to restore consistency. Bx approaches have several challanges such as ambiguities in transformation language, special notation, and expensive formalization. In order to cope with such challenges, in this paper, a new Bx approach is proposed based on the Epsilon model-driven framework and traceability techniques. In this approach, the relation between the source and target models is formalized, and then is implemented on a well-known benchmark. The proposed Bx approach is compared with three bidirectional approaches based on ten criteria. The result of comparison demonstrates the superiority of the proposed approach in terms of portability, preservation, reconciliation, and operation support.