دکتر وحید رافع - resume

 
 
 

آدرس ایمیل جناب آقای دکتر وحید رافع:

rafe@iust.ac.ir

 

آدرس home pageجناب آقای دکتر وحید رافع: webpages.iust.ac.ir/rafe

 

نام و نام خانوادگی

وحید رافع

رتبه علمی

استادیار

پست الکترونیکی

v-rafe@araku.ac.ir
تلفن

2622200
 
دانشگاههای محل تحصیل
دکتری دانشگاه علم و صنعت ایران
کارشناسی ارشد دانشگاه علم و صنعت ایران
کارشناسی دانشگاه علم و صنعت ایران
   
عناوین و افتخارات
 
زمینه های تخصصی
  1. مهندسی نرم افزار
  2. روشهای فرمال
  3. سیستمهای توزیع شده
فعالیتهای اجرایی
  1. سرپرست مرکز انفورماتیک از خرداد 91 تا کنون
تجربیات تخصصی
     
پروژه های صنعتی برون دانشگاهی تاریخ  محل اجرای طرح
     
پروژه های تحقیقاتی درون دانشگاهی  تاریخ  محل اجرای طرح
     
راهنمایی پایان نامه های تحصیلات تکمیلی
  1. محمد مهدی رحیمی نداف: ارائه روشی برای آنالیز کارایی برای سیستمهای توصیف شده با تبدیل گراف
مقالات منتشر شده در مجلات علمی
  • V. Rafe, Saeed Doostali: "ASM2Bogor: An Approach for Verification of Models Specified through Asmeta Language", Journal of Visual Languages and Computing, Vol. 23, No. 5, pp. 287-298, (2012)
  • V. Rafe, M. Monfaredzadeh:” A Qualitative Framework to Assess Hospital / Medical Websites”, Journal of Medical Systems, Springer, Online First, 26 August 2011.
  • V. Rafe, Sh. Jamali, M. Rahmani, F. Mahdian: “From Class Diagrams to Relational Tables: A Graph Transformation-based Approach”, Electrical Review, Vol. 2011, No. 8, pp 163-165, 2011.
  • V. Rafe, A. Nikanjam, M. Rezaei.: “ Galoan: A Multi-agent Approach To Herd Cows”, Annals of Mathematics and Artificial Intelligence, (AMAI), Springer, Online First, 16 March 2011.
  • Y. Asadollahi, V. Rafe, S. Asadollahi : “A Formal Framework to Model and Validate Event-Based Software Architectures”, Journal of Procedia-Computer Science, Elsevier Science B.V., Vol. 3, No. 1, pp 961-966, 2011.
  • V. Rafe, F. Mahdian: “Style-based modeling and verification of fault tolerance service oriented architectures”, Journal of Procedia-Computer Science, Elsevier Science B.V., Vol. 3, No. 1, pp 972-976, 2011.
  • V. Rafe, A.T. Rahmani, R. Rafeh: “Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems”, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, Vol. 20, No. 5, pp 679-694, 2010.
  • V. Rafe, A. T. Rahmani, L. Baresi, P. Spoletini: “Towards Automated Verification of Layered Graph Transformation Specifications”, Journal of IET Software, Vol.3 No.4, pp. 276-291   (2009).
  • M. Sharifi, H. Momeni, V. Rafe: “Optimal Real-Time Task Allocation in Wireless Sensor Actor Networks”, Australian Journal of Basic and Applied Sciences, , Vol. 4, No. 8, pp 3455-3466, 2010.
  • V. Rafe and A. T. Rahmani: “A Novel Approach to verify graph Schema-Based software systems”, journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, Vol. 19, No. 6, pp 857-870,  (2009).
  • V. Rafe and A. T. Rahmani: “Towards Automated Software Model Checking Using Graph Transformation Systems and Bogor”, journal of Zhejiang University- Science A (JZUS), Springer, No.8, pp. 1093-1105 (2009).
  • L. Baresi, V. Rafe, A. T. Rahmani and P. Spoletini: “An Efficient Solution for Model Checking Graph Transformation Systems”, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 213, Elsevier Science B.V., ISSN: 1571-0661, PP. 3-21 (2008)
مقالات ارائه شده در کنفرانس های علمی
  • A. Moeini, V. Rafe, F. Mahdian: “An Approach to Refactoring Legacy Systems”, in Proc. of Third IEEE International conference on Advanced Computer Theory and Engineering (ICACTE), China, 2010
  • F. Mahdian, V. Rafe: “Different Models of Dependable Services in Service-Oriented Architecture”, in Proc. of Third IEEE International conference on Advanced Computer Theory and Engineering (ICACTE), China, 2010
  • V. Rafe, H. Momeni and M. Sharifi: “Energy-aware Task Allocation in Wireless Sensor Actor Networks”, in Proc. of second Intl. Conf. on Computer and Electrical Engineering (ICCEE09), IEEE Press, Dubay, 2009.
  • V. Rafe: “Designing a Framework for Distributing Serial Applications”, in Proc. of second Intl. Conf. on Computer and Electrical Engineering (ICCEE09), IEEE Press, Dubay, 2009.
  • F. Mahdian, V. Rafe, A. T. Rahmani, R. Rafeh: “Modeling Fault Tolerant Services in Service-Oriented Architecture”, in Proc. of Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE09),China, pp. 319-320  2009
  • S. Asadollahi, V. Rafe, A. T. Rahmani, R. Rafeh: “Towards Automated Software Verification Using Model Checking Techniques”, in Proc. of Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE09),China, pp. 305-306  2009
  • H. Momeni, V. Rafe, M. Sharifi, A. T. Rahmani: “A Graph Transformation-Based Approach to Task Allocation in Wireless Sensor Actor Networks”, in Proc. of 21st IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE09), USA, 2009.
  • V. Rafe, A. T. Rahmani: “Formal Analysis of Workflows Using UML 2.0 Activities and  Graph Transformation Systems”, in Proc. of 5thInternational Colloquium on Theoretical Aspects of Computing (ICTAC), Lectute Notes in Computer Science (LNCS), ISSN: 0302-9743pp. 305-318, Istanbul, Turkey, (2008)
  • V. Rafe, A. T. Rahmani: “A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows” Proc. of the 13th Int'l CSI Computer Conference (CSICC'08), Kish Island, Iran, Communications in Computer and Information Science (CCIS), Springer  (2008)
  •  V. Rafe, A. T. Rahmani: “On the Analysis and Verification of Graph Transformation Systems”. In proc. of 3th International Conference on Information, Knowledge and Technology (IKT07), Mashhad, Iran, (2007)
  • L. Baresi, V. Rafe, A. T. Rahmani and P. Spoletini: “An Efficient Model Checking Approach for Graph Transformation Systems”. In proc. of 3th Workshop on Graph Transformation for Verification and Concurrency (GT-VC). Lisbon, Portugal, http://www.ti.inf.uni-due.de/events/gtvc2007/ (2007)
  • V. Rafe, “Model Checking of Graph Transformation Systems”. Technical Report. Politecnico di Milano University, (2007)
  • A. T. Rahmani, V. Rafe, S. Sedighian and A. Abbaspour:”An MDA-Based Modeling and Design of Service Oriented Architechtures”,in Proc. of International Conference on Computational Science (3) (ICCS 2006), Lectute Notes In Computer Science (LNCS), Vol. 3993, PP 578-585, England (2006)
  • A. T. Rahmani and V. Rafe: “Comparison and Analysis of Distributed Technologies in IT Environments”, In Proc. of 10th Iranian International Computer Conference,Tehran, Iran, 2005 (In Farsi).
  • S. Hashemi, V. Rafe, et al. : “A Novel Distributed Clustering Approach for Noisy and Huge Data”, In Proc. of 10th Iranian International Computer Conference, Tehran, Iran 2005 (In Farsi).
  • H. Momeni, M. Sharifi, A. T. Rahmani and V. Rafe, “Providing Local ORB-Like Services to Collocated CORBA Components”, In Proc. of the IEEE Conference on Cluster and HeteroPar, Boston, Masachusete, USA, (2005)
  • M. Sharifi, A. T. Rahmani, V. Rafe and H. Momeni, “CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support”, Lecture Notes in Computer Science (LNCS), Vol. 3291, Springer-Verlag, ISBN: 3-540-23662-7, pp. 1143-1154,Cyprus (2004)
تالیف کتاب
  • V. Rafe, H.R Moghasemi: “Principles of Compiler design”, Book published by Gostaresh Oloome Payeh, 2010, (In Farsi)
     
تجربه تدریس
  • Design and Analysis of Algorithms
  • Data Structures
  • Theory of Languages
  • Principles of Compilers
  • Object Oriented Design
  • Concurrent Programming
  • Parallel Algorithms
  • Software Architectures
  • Software Verification Techniques
 
 
دانشگاه علم و صنعت ایران- دفاعیه های دکترا
دفاعیه دکتری در دانشکده مهندسی کامپیوتر
 
 

AWT IMAGE

 مهندس وحید رافع (دانشجوی دوره دکتری مهندسی کامپیوتر- نرم‌افزار)، 14 اسفند از رساله دکتری خود با عنوان «پالایش و تحلیل رفتاری مدل‌های مستقل از سکوّ» به راهنمایی دکتر عادل ترکمان رحمانی دفاع کرد.

  چکیده رساله:

  امروزه، یکی از فرآیندهای مهم در تولید نرم‌افزار پالایش مدل است. اما نکته مهم در این فرآیند، پالایش خودکار این مدل‌هاست، چرا که تولید غیر مکانیزه آنها، ممکن است همراه باخطا بوده و یا حتی امکان‌پذیر نباشد. همچنین، اطمینان از صحت مدل‌هایی که در فرآیند پالایش تولید می‌شوند، به خصوص مدل اولیه‌ای که مبنای پالایش است، بسیار مهم است. وجود خطا به ویژه در سیستم‌های حساس باعث ضررهای جانی و مالی می‌شود.

  برای تولید خودکار نرم‌افزار و همچنین اطمینان از صحت آن، استفاده از روش‌ها و زبان‌های صوری برای بیان مدل‌ها ضروری می‌باشد. لذا روش ارائه شده در این رساله نیز صوری بوده و مبتنی بر سیستم‌های تبدیل گراف می‌باشد.

  در این رساله،‌ با استفاده از سیستم‌های تبدیل گراف، روش مناسبی برای پالایش خودکار مدل های مستقل از سکو، به منظور تولید مدل‌های وابسته به معماری سرویس‌گرا،‌ارائه داده‌ایم. در این روش،‌ابتدا یک چارچوب مناسب، به صورت یک الگو، برای هر سطح از انتزاع در نظر گرفته‌ایم. این چارچوب شامل فرامدل سیستم است که در قالب گراف نوع، مدل شده است. بعلاوه خصوصیات رفتاری اجزاء و قطعات سیستم که شامل مکانیزم‌های ارتباطی میان قطعات و پیکربندی‌های سیستم است. سپس وضعیت سیستم،‌ در قالب یک گراف میزبان مدل می‌شود و این مدل، براساس روش ارائه شده، به صورت خودکار پالایزش می‌شود، تا در نهایت، مدلی که دارای جزئیات معماری سرویس گرا است، بدست آید. در ادامه، صحت روش ارائه شده را،‌براساس خصوصیات صوری روش‌های تبدیل گراف،‌ بررسی و اثبات نموده‌ایم.

  در ادامه، برای درستی‌یابی مدل‌های بدست آمد و با توجه به اینکه روش‌های موجود برای درستی‌یابی سیستم‌های تبدل گراف، کارایی لازم را ندارند، با استفاده از تکنیک وارسی مدل، چارچوبی طراحی کرده‌ایم تا توسط آن، بتوان مدل‌های بدست آمده را بررسی کرد و از صحت آنها مطمئن شد. نتایج آزمایشات نشان می‌دهد که روش ارائه شده در مقایسه با روش‌های موجود،‌دارای قابلیت مناسبتری است. سپس،‌ با استفاده از تکنیک ارائه شده برای وارسی سیستم‌های تبدیل گراف، چگونگی تحلیل رفتارهای مختلف در قالب سناریوهایی که به صورت ویژگی‌های متفاوت (مانند ویژگی دسترس‌پذیری) ارائه شده‌اند را بیان کرده‌ایم.

لینک
 
کتاب   درس و کنکور هوش مصنوعی ویژه: داوطلبان کنکورهای کارشناسی ارشد کامپیوتر
ناشر: گسترش علوم پایه  
پدیدآور: رضا رافع؛ حمیدرضا مقسمی  
قیمت:40000 ریال قیمت انتشارات طاعتی: 40000 ریال
 
 
مدیرکل دفتر امور بانوان جمعیت هلال احمر