پایان نامه همگام سازی تدریجی مدل ها با استفاده از تبدیلات یک طرفه در معماری مدل رانه

فهرست و منابع پایان نامه همگام سازی تدریجی مدل ها با استفاده از تبدیلات یک طرفه در معماری مدل رانه

فهرست:

 1                       فصل اول - مقدمه ....................................................................................................................................................١

 1-1                       طرح مسئله .................................................................................................................................................................... ٢

 2-1                       اهداف تحقیق ................................................................................................................................................................ ٣

 3-1                       محدوده تحقیق ............................................................................................................................................................. ٤

 4-1                       مراحل انجام تحقیق ..................................................................................................................................................... ٥

 5-1                       ساختار پایان نامه ........................................................................................................................................................... ٧

 2                       فصل دوم - مفاهیم بنیادین و پیشینه تحقیق ......................................................................................................٨

 1-2                       مقدمه .............................................................................................................................................................................. ٩

 2-2                       سری تکاملی توسعه نرم افزار ........................................................................................................................................ ٩

 1-2-2                     دوره اول : زبان های نسل سوم ........................................................................................................................ ١٠

 2-2-2                     دوره دوم : برنامه نویسی ساخت یافته ............................................................................................................. ١٠

 3-2-2                     دوره سوم : مهندسی نرم افزار شئگرا............................................................................................................ ١١

 4-2-2                     دوره چهارم : مهندسی مدل رانه ..................................................................................................................... ١١

 3-2                       توسعه مدل رانه ........................................................................................................................................................... ١٣

 4-2                       معماری مدل رانه ........................................................................................................................................................ ١٣

 1-4-2                     مفاهیم اصلی در معماری مدل رانه ............................................................................................................... ١٤

 2-4-2                     انواع مدل ها در معماری مدل رانه ...................................................................................................................١٦

 3-4-2                     تبدیل .................................................................................................................................................................. ١٨

 4-4-2                     معماری مدل رانه در عمل ............................................................................................................................... ١٩

 5-4-2                     برخی استانداردها در معماری مدل رانه ....................................................................................................... ٢٢

 5-2                       همگام سازی مدل ....................................................................................................................................................... ٣٠

 1-5-2                     رویکردهای مورد استفاده در همگام سازی ................................................................................................. ٣٠

 6-2                       پشیینه تحقیق ............................................................................................................................................................ ٣٢

هشت

 1-6-2                     همگام سازی با استفاده از تبدیلات دوطرفه ............................................................................................... ٣٢

 2-6-2                     همگام سازی با استفاده از تبدیلات یک طرفه ..............................................................................................٣٦

 3-6-2                     ویژگی های روش های همگام سازی............................................................................................................... ٤١

 4-6-2                     مقایسه روش ها.................................................................................................................................................. ٤١

 7-2                       جمع بندی .................................................................................................................................................................... ٤٤

 3                       فصل سوم - همگام سازی تدریجی مدل ها با تبدیلات یک طرفه ................................................................... ٤٥

 1-3                       مقدمه ............................................................................................................................................................................٤٦

 2-3                       معماری روش پیشنهادی ..........................................................................................................................................٤٦

 1-2-3                      تعاریف و نمادگذاری ها.................................................................................................................................... ٤٧

 3-3                       فرآیند همگام سازی مدل ها ..................................................................................................................................... ٥١

 1-3-3                      ساخت پایگاه دانش .......................................................................................................................................... ٥٢

 2-3-3                      انتشار تغییرات افزودن عنصر جدید به مدل ها با استفاده از پایگاه دانش .......................................... ٥٤

 3-3-3                      انتشار تغییرات به روزرسانی و حذف با استفاده از سوابق تبدیلات ........................................................٥٦

 4-3-3                      بررسی وجود تضاد ن یب تغییرات ................................................................................................................... ٥٨

 5-3-3                      افزودن تغییرات به مدل ها.............................................................................................................................. ٥٩

 6-3-3                      به روزرسانی سوابق تبدیل ................................................................................................................................٦٠

 4-3                       ویژگی های روش پیشنهادی ....................................................................................................................................٦٠

 5-3                       جمع بندی .....................................................................................................................................................................٦١

 4                       فصل چهارم - ارزیابی روش پیشنهادی ............................................................................................................. ٦٢

 1-4                       مقدمه ............................................................................................................................................................................٦٣

 2-4                       نحوه ارزیابی و شاخص ها ..........................................................................................................................................٦٣

 3-4                       ارزیابی بر اساس مطالعه موردی..............................................................................................................................٦٣

 1-3-4                     انتخاب و طراحی سناریو.................................................................................................................................٦٣

 2-3-4                     اجرای روش پیشنهادی....................................................................................................................................٦٨

نه

 4-4                       ارزیابی بر اساس ویژگی ها و مقایسه با روش های مشابه .................................................................................. ٨٣

 5-4                       نتایج ارزیابی................................................................................................................................................................ ٨٥

 6-4                       جمع بندی .....................................................................................................................................................................٨٦

 5                       فصل پنجم - جمع بندی و کارهای آینده ............................................................................................................٨٧

 1-5                       مقدمه ........................................................................................................................................................................... ٨٨

 2-5                       مروری بر پایان نامه .................................................................................................................................................... ٨٨

 3-5                       بازبیین اهداف تحقیق ............................................................................................................................................... ٨٨

 4-5                       نوآوری های تحقیق .................................................................................................................................................... ٩٢

 5-5                       محدودیت ها ................................................................................................................................................................ ٩٢

 6-5                       نتیجه گیری.................................................................................................................................................................. ٩٣

 7-5                       کارهای آینده .............................................................................................................................................................. ٩٤

 6                       پیوست ١- واژه نامه ............................................................................................................................................... ٩٥

 7                       پیوست ٢- فهرست اختصارات ........................................................................................................................... ٩٧

 8                       پیوست ٣- تبدیل مورد استفاده در مطالعه موردی .......................................................................................... ٩٨

 9                       پیوست ٤- مقاله مستخرج از پایان نامه ............................................................................................................. ١٠٤

مراجع    .....................................................................................................................................................................................١٠٥

منبع:

[1]       D. I. Hearnden, “Deltaware: Incremental Change Propagation for Automating

Software Evolution in Model-Driven Architecture”, PhD thesis, University of

Queensland, 2007.

[2]       K. Czarnecki and S. Helsen, “Feature-based survey of model transformation

approaches,” IBM Systems Journal, vol. 45, no. 3, pp. 621-645, 2006.

[3]       K. Czarnecki and S. Helsen, “Classification of model transformation

approaches,” in Proceedings of the 2nd OOPSLA Workshop on Generative

Techniques in the Context of the Model Driven Architecture, 2003, pp. 1-17.

[4]       S. Shah, K. Anastasakis, and B. Bordbar, “Using Traceability for Reverse

Instance Transformations with SiTra,” kyriakos.anastasakis.net.

[5]       I. Madari, L. Angyal, and L. Lengyel, “Traceability-based Incremental Model

Synchronization,” WSEAS Transactions on Computers, vol. 8, no. 10, pp. 1691–

1700, 2009.

[6]       Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei, “Towards automatic

model synchronization from model transformations,” in Proceedings of the

twenty-second IEEE.ACM international conference on Automated software

engineering, 2007, pp. 164–173.

[7]       OMG, Meta Object Facility ( MOF ) Core Specification, no. January. 2006.

[8]       I. Kurtev, “State of the Art of QVT : A Model Transformation Language

Standard,” Data Engineering, no. ii, pp. 377-393, 2008.

[9]       OMG, Meta Object Facility (MOF) 2.0 Query.View.Transformation

Specification, no. January. 2008.

[10]   D. Ameller, “Considering Non-Functional Requirements in Model-Driven

Engineering”, MSc thesis, Universitat Politècnica de Catalunya, 2009

 106

[11]   E. W. Dijkstra, “Letters to the editor: go to statement considered harmful,”

Communications of the ACM, vol. 11, no. 3, pp. 147-148, 1968.

[12]   O. J. Dahl, E. W. Dijkstra, and C. A. R. Hoare, Structured programming.

Academic Press Ltd., 1972.

[13]   E. W. Dijkstra, “The humble programmer,” Communications of the ACM, vol.

15, no. 10, pp. 859-866, Oct. 1972.

[14]   B. J. Cox, “Object oriented programming. An evolutionary approach,” Reading,

Mass.: Addison-Wesley, 1986, vol. 1, 1986.

[15]   P. Pin-shan, “The Entity-Relationship Unified View of Data Model-Toward a,”

Database, vol. 1, no. 1, pp. 9-36, 1976.

[16]   D. C. Schmidt, “Guest editor’s introduction: Model-driven engineering,”

Computer, vol. 39, no. 2, pp. 25–31, 2006.

[17]   “http:..java.sun.com.products.jmi..” .

[18]   B. Hailpern and P. Tarr, “Model-driven development: The good, the bad, and the

ugly,” IBM Systems Journal, vol. 45, no. 3, pp. 451-461, 2006.

[19]   B. Selic, “The pragmatics of model-driven development,” IEEE Software, vol.

20, no. 5, pp. 19-25, Sep. 2003.

[20]   F. Truyen, “The Fast Guide to Model Driven Architecture The Basics of Model

Driven Architecture,” URL: http:..www. omg. org.mda.presentations. htm,

January, 2006.

[21]   J. Miller and J. Mukerji, “MDA Guide Version 1.0. 1,” Object Management

Group, vol. 234, no. May, p. 51, 2003.

[22]   S. J. Mellor, a N. Clark, and T. Futagami, “Model-driven development - Guest

editor’s introduction,” IEEE Software, vol. 20, no. 5, pp. 14-18, Sep. 2003.

 107

[23]   J. Miller, J. Mukerji, C. Burt, and D. Dsouza, “Model Driven Architecture

(MDA),” Architecture, pp. 1-31, 2001.

[24]   A. Kleppe, J. Warmer, and W. Bast, MDA explained: the model driven

architecture: practice and promise. Addison-Wesley Longman Publishing Co.,

Inc.

[25]   I. Poernomo, “The meta-object facility typed,” Proceedings of the 2006 ACM

symposium on Applied computing - SAC  ’06, pp. 1845-1849, 2006.

[26]   OMG, OMG Meta Object Facility (MOF) Specification v1. 4, vol. 2005, no. July.

OMG Document formal.02-04-03 [Online]. Available: http:..www. omg.

org.cgibin.apps.doc, 2002.

[27]   Y. Xiong, H. Song, Z. Hu, and M. Takeichi, “Synchronizing concurrent model

updates based on bidirectional transformation,” Software and Systems Modeling,

pp. 1–16, 2011.

[28]   Y. Xiong, “A Language-based Approach to Model Synchronization in Software

Engineering”, PhD thesis, University of Tokyo, 2009.

[29]   H. Giese and R. Wagner, “Incremental model synchronization with triple graph

grammars,” Model Driven Engineering Languages and Systems, pp. 543–557,

2006.

[30]   E. Kindler and R. Wagner, "Triple graph grammars: Concepts, extensions,

implementations, and application scenarios", University of Paderborn, 2007.

[31]   A. Schürr, “Specification of graph translation with triple graph grammars,”

Graph-Theoretic Concepts in Computer Science, pp. 151-163, 1995.

[32]   H. Giese and S. Hildebrandt, “Incremental model synchronization for multiple

updates,” in Proceedings of the third international workshop on Graph and

model transformations, 2008, pp. 1–8.

 108

[33]   H. Giese and R. Wagner, “From model transformation to incremental

bidirectional model synchronization,” Software and Systems Modeling, vol. 8, no.

1, pp. 21–43, 2009.

[34]   J. Greenyer, “A study of model transformation technologies: Reconciling TGGs

with QVT,” Master’s thesis, University of Paderborn, 2006.

[35]   J. Greenyer and E. Kindler, “Reconciling TGGs with QVT,” Model Driven

Engineering Languages and Systems, pp. 16–30, 2007.

[36]   L. Lengyel, T. Levendovszky, T. Vajk, and H. Charaf, “Realizing qvt with graph

rewriting-based model transformation,” Electronic Communications of the

EASST, vol. 4, 2006.

[37]   I. Madari, L. Lengyel, and G. Mezei, “Incremental Model Synchronization by Bi-

Directional Model Transformations,” in 2008 IEEE International Conference on

Computational Cybernetics, 2008, pp. 215-218.

[38]   F. Jouault, “Loosely coupled traceability for ATL,” Proceedings of the European

Conference on Model Driven Architecture (ECMDA) workshop on traceability,

Nuremberg, Germany, vol. 91, 2005.

[39]   L. Bonde, P. Boulet, and J. L. Dekeyser, “Traceability and interoperability at

different levels of abstraction in model transformations,” Forum on Specification

and Design Languages, FDL, vol. 5, 2005.

[40]   P. Stevens, “Bidirectional model transformations in QVT: semantic issues and

open questions,” Software & Systems Modeling, vol. 9, no. 1, pp. 7-20, Dec.

2008.

[41]   I. Nantes, ATL : Atlas Transformation Language Specification of the ATL Virtual

Machine. 2005, pp. 1-62.

[42]   F. Jouault and I. Kurtev, “Transforming models with ATL,” Satellite Events at

the MoDELS 2005 Conference, p. 128--138, 2006.

 109

[43]   A. Razavi, K. Kontogiannis, C. Brealey, and L. Nigul, “Incremental model

synchronization in model driven development environments,” in Proceedings of

the 2009 Conference of the Center for Advanced Studies on Collaborative

Research, 2009, pp. 216–230.

[44]   OMG, OMG Unified Modeling Language (UML), Infrastructure, no. May. 2010.

[45]   OMG, OMG Unified Modeling Language (UML), Superstructure, no. May. 2010