بررسی کاربردهای شبکه های پتری در مهندسی نرم افزار

Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,809

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

CEIT01_229

تاریخ نمایه سازی: 9 تیر 1393

Abstract:

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

Authors

نونا قاسمی

گروه کامپیوتر آموزشکده فنی و حرفه ای سما، تنکابن

معصومه شهرامی راد

گروه کامپیوتر، موسسه آموزش عالی غیرانتفاعی غیردولتی شفق، تنکابن

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • کازو، تاکانا، مقدمه‌ای بر منطق فازی برای کاربردهای علمی، ترجمه ...
  • مادی، سیما، شمس، فریدون، ارائه مدلی قابل اجرا از معماری ...
  • انکی، هدی، بابامیر، سید مرتضی، ارزیابی کمی خصیصه‌های قابلیت اطمینان ...
  • مجمع، نگار، بابامیر، سید مرتضی، مدیریت ریسک در پروژه های ...
  • مسگریان، عفت، ارزیابی پارامترهای کیفی با تبدیل نمودار توالی به ...
  • قاسمی، نونا، ارائه رهیافتی بدیع جهت یکپارچه‌سازی شبکه پتری و ...
  • Joseph Barjis, The Importance of Business Process Modeling in Software ...
  • C.A. Petri. Komm unikation mit Automaten. PhD thesis, Institut fur ...
  • Khodakaram Salimifard , Mike Wright , Petri net-based modeling of ...
  • Ian Summerville, Software Engineering, Eighth Edition (ISBN 13: 978-0-321-3 1379-9, ...
  • Tadao Murata Petri Nets: Properties, Analysis and Applications, IEEE, 77(4):541-580, ...
  • W.M.P. _ der Aalst, Workflow Verification: Finding Control-Flow Errors using ...
  • Wil van der Aalst and Kees van Hee, Workflow Management ...
  • K. Jensen and . M. Kristensen, Coloured Petri Nets _ ...
  • B. B erard, F. Cassez, S. Haddad, O. Roux & ...
  • W.M.P. van der Aalst, A.H.M. ter Hofstede and M. Weske, ...
  • Management (BPM 2003), volume 267 of Lecture Notes in Computer ...
  • W.M.P. van der Aalst, Three Good Reasons for Using a ...
  • W.M.P van der Aalst, G. De Michelis, C.A Ellis, Proceedings ...
  • W.M.P van der Aalst, J. Desel, A. Oberweis, Business Process ...
  • W.M.P. Van der Aalst, A.H.M. ter Hofstede, and M. Dumas. ...
  • W.M.P. _ der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and ...
  • W.M.P van der Aalst, Challenges in Business Process Management: Verification ...
  • Walter Nauber, Design and Analysis with Petri Nets, IN STITUTE ...
  • Motameni, H. Montazeri, M. Siasifar, A. Movaghar and M. Zandakbari ...
  • th IEEE International Conferences _ Computer, Information, and Systems Sciences, ...
  • H. Motameni, A. Movaghar and B. Kardel, "Verifying and Evaluating ...
  • Nematzadeh Balagatabi, Hossin, Modeling Activity ...
  • of Science, Master of Science, University Technology Malaysia, 2008. ...
  • Motameni, H. Montazeri, M. Fadavi Amiri, " Mapping Activity Diagram ...
  • Nematzadeh .H, Safaai Bin Deris, Motameni.H, "Reliability Testing of unl ...
  • Sequence Diagram Using Fuzzy Petri Net", International Journal of Recent ...
  • Motameni.H, Ghas sempouri.T, "Transforming Fuzzy Communication Diagram to Fuzzy Petri ...
  • _ _ Transforming Fuuzy State Diagram _ Fuzzy Petri Net, ...
  • Collaborated Diagram to Fuzzy Petri Net, American Journal of Scientific ...
  • Motameni.H, Movaghar.A, Daneshfar.I, Nemat Zadeh.H, "Mapping to Convert Activity Diagram ...
  • Akbari.E, Noorian Talooki.R, Motameni.H, Mapping _ _ _ _ Petri ...
  • _ _ _ _ _ embedded real-time systems with energy ...
  • Eerke A. Boiten, John Derrick, Graeme Smith, Integrated ...
  • Formal Method, _ conference, _ ISBN 3-540-21377-5 S pringer-Verlag , ...
  • Xudong He, PZ nets _ a formal method integrating Petri, ...
  • Gabriel Ciobanu, Maciej Koutny, Timed Mobility in process algebra and ...
  • نمایش کامل مراجع