Rasoolzadegan, Abbas, Abdollahzadeh Barforoush, Ahmad. (1391). Developing Reliable yet Flexible Software through If-Then Model Transformation Rules. نشریه مهندسی عمران امیرکبیر, 44(1), 1-24. doi: 10.22060/eej.2012.35
Abbas Rasoolzadegan; Ahmad Abdollahzadeh Barforoush. "Developing Reliable yet Flexible Software through If-Then Model Transformation Rules". نشریه مهندسی عمران امیرکبیر, 44, 1, 1391, 1-24. doi: 10.22060/eej.2012.35
Rasoolzadegan, Abbas, Abdollahzadeh Barforoush, Ahmad. (1391). 'Developing Reliable yet Flexible Software through If-Then Model Transformation Rules', نشریه مهندسی عمران امیرکبیر, 44(1), pp. 1-24. doi: 10.22060/eej.2012.35
Rasoolzadegan, Abbas, Abdollahzadeh Barforoush, Ahmad. Developing Reliable yet Flexible Software through If-Then Model Transformation Rules. نشریه مهندسی عمران امیرکبیر, 1391; 44(1): 1-24. doi: 10.22060/eej.2012.35

Developing Reliable yet Flexible Software through If-Then Model Transformation Rules

AUT Journal of Electrical Engineering
مقاله 1، دوره 44، شماره 1، 2012، صفحه 1-24    اصل مقاله (2.59 M)
نوع مقاله: Research Article
شناسه دیجیتال (DOI): 10.22060/eej.2012.35
نویسندگان
Abbas Rasoolzadegan* 1؛ Ahmad Abdollahzadeh Barforoush2
1Corresponding Author, A. Rasoolzadegan is with the department of Information Technology and Computer Engineering, Amirkabir University of Technology, Tehran, Iran (e-mail: rasoolzadegan, @aut.ac.ir).
2A. Abdollahzadeh Barforoush is with the department of Information Technology and Computer Engineering, Amirkabir University of Technology, Tehran, Iran (e-mail: ahmad@aut.ac.ir).
چکیده
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically force developers to use semi-formal methods instead. Semi-formal (visual) modeling methods, which are widely used in practical large-scale software development, are not good enough for reliable software development. This paper proposes a new approach to the development of reliable yet flexible software by transforming formal and semi-formal models into each other. In this way, the advantages of both methods are incorporated in to the software development process. The structured rules, proposed in this paper, transform formal and visual models into each other through the iterative and evolutionary process. The feasibility as well as the effectiveness of the proposed approach is demonstrated using the multi-lift system as a test case. 
کلیدواژه‌ها
Model transformation؛ Flexibility؛ design patterns؛ UML؛ Reliability؛ Object-Z
مراجع
آمار
تعداد مشاهده مقاله: 2,649
تعداد دریافت فایل اصل مقاله: 1,929
پیوندهای مفید
آمار
تعداد نشریات9
تعداد شماره‌ها455
تعداد مقالات5,771
تعداد مشاهده مقاله8,374,551
تعداد دریافت فایل اصل مقاله6,932,648