ورود
مقالات فارسیISIکنفرانسهاژورنالها

ارزیابی عملکرد سیستم های توزیع شده: یک روش مدلسازی مبتنی بر مؤلفهبر اساس شبکه های پتری شئ گرا

محل انتشار: اولین کنفرانس ملی نوآوری در مهندسی کامپیوتر و فنآوری اطلاعات
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 887

فایل این مقاله در 20 صفحه با فرمت PDF قابل دریافت می باشد

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

لینک ثابت به این مقاله:
https://civilica.com/doc/263024

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

CEIT01_427

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

چکیده مقاله:

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

کلیدواژه ها:

سیستم های توزیع شده ، شبکه پتری ، ارزیابی ، عملکرد ، شئ گرا

نویسندگان

نسترن بیوراحمدی

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

علی هارون آبادی

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • A Component ب 1. Masri, T. Bourdeaudبuy, and A. Toguyeni, ...
  • Workshop on Formal Methods for Wireles Systems Vol. 242, No ...
  • Network ب 3. Masri, T. Bourdeaudبbuy, and A. Toguyeni, Protocol ...
  • Operating Systemsپ Prentic Distributedب 4. Tanenbaum, Hall, 1995. ...
  • of Modular and Hierarchical Controllers Designب 5.Toguyeni, for Reconfigurable Manufacturing ...
  • What Do You Mean by COST? ب 7. Carney and ...
  • Distributed ب 9. Coulouris, J. Dollimore, and T. Kindberg, Systems: ...
  • Wireless LAN Medium Access Control (MAC) and Physical ب IEEE ...
  • Coloured Petri nets: A high level language for ب 15. ...
  • A ب 18. Berruet, J. Lallican, A Rossi, and J-L. ...
  • th ed. پ and Computer Communications Dataب 19. Stallings, Prentice-Hall, ...
  • Brereton and D. Budgen, _ Component-B ased Systems: A Classification ...
  • Bastide and E Barboni, _ Component-B ased Behaioural Modeling with ...
  • Communication with Automata.پ Technical Report د 6. Petri, PADC -TR-65-377 ...
  • IEEE ب 8. Anastasi, E Borgia, M. Conti, and E. ...
  • GAsler, S. Graf, M. Maj ster-Cederbau. M. Martens, and An ...
  • Sarjoughian, W. Wang, K. Kempf, and H. Mittelman, Hybrid discrete ...
  • OS1 Reference Mode]-The IS0 Mode] of ب 12. Zimmermann, IEEE ...
  • http ://nsnam.isi _ ed u/n snam/i nd ex.php/Main Page-2008. ...
  • Heusse, F. Rousseau, G. B erger-Sabbatel , and A. Duda, ...
  • Petri Nets World: http :/www.petri netz.d e/-2009. ...
  • The Reference Net Workshop. Renew: _ :www .renew.de/ , 2008. ...
    • نمایش کامل مراجع