ارائه مدلی قابل اجرا از معماری نرم افزار مبتنی بر شبکه پتری رنگی

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

This Paper With 8 Page And PDF Format Ready To Download

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

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

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

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

STSEE01_070

تاریخ نمایه سازی: 28 آذر 1392

Abstract:

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

Authors

منصوره یونسی

دانشجوی کارشناسی ارشد گروه فناوری اطلاعات

مهسا بوستانی

دانشجوی کارشناسی ارشد گروه فناوری اطلاعات،

همایون موتمنی

عضو هیات علمی گروه علمی مهندسی نرم افزار، ساری،

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Modeling Techniques Using a Verifiableه [9] B. M. Faul, Colored ...
  • S. Emadi, F. Shams, _ "Tran sformation of Usecase and ...
  • G. Booch, J. Rumbaugh, I. Jacobson, "The unified modeling language ...
  • H. Motameni, A. Movaghar, B. Kardel *Verifying and ...
  • Symbolic and Numerc Algorithms for Scientific Computing (SYNASC), Romania, 2005. ...
  • R. ElMansouri, A. Chaoui, E. Kerkouche, Kh. UML Statechart and ...
  • L. Bass, P. Clements, R. kazman, "Software Architecture in Practice", ...
  • K. Jensen, "Coloured Petri Net Base Concepts, Analysis Methods and ...
  • K. Jensen, L. M. Kristensen, L. Wells, 0Coloured Petri Net ...
  • M. Shin, A. Levis, L. Wagenhals, "Transforming of UML-Based system ...
  • validating system behavior", Workshop of UML Conference, California USA, 2002. ...
  • B. Agarwal, _ _ _ :Transformation of UML Activity Diagrams ...
  • H. Motameni, A Movaghar, I. Daneshfar, H. Nematzadeh, J. Bakhshi, ...
  • H. Motameni, A. Movaghar, "Using Markov Theory for Deriving Non-Functionl ...
  • H. Motameni, A. Movaghar, M. Ebrahimi, S. Peirovi, A. KHosrozadeh ...
  • H. Motameni, T. Ghassempouri, H. Nematzadeh, "Evaluating the Reliability of ...
  • H. Nematzadeh, Safaai Bin Deris, H. Maleki, Z. Nematzadeh, "Evaluating ...
  • H. Motameni, M. Mozafari, A. Movaghar, "Evaluating UML state diagrams ...
  • T. S. Staines, "Intuitive Mapping of UML 2 Activity Diagrams ...
  • Workshop _ the Engineering of Computer Based Systems, pp. 191-200, ...
  • S. Emadi, F. Shams, "A New Executable Model for Software ...
  • K. Fukuzawa, M. Saeki, "Evaluating software architectures by colored petri ...
  • M. Fowler, "UML Distilled: A Brief Guide to the Standard ...
  • نمایش کامل مراجع