ناشر تخصصی کنفرانس های ایران

لطفا کمی صبر نمایید

Publisher of Iranian Journals and Conference Proceedings

Please waite ..
ناشر تخصصی کنفرانسهای ایران
ورود |عضویت رایگان |راهنمای سایت |عضویت کتابخانه ها
عنوان
مقاله

A New Executable Model for Software Architecture Based on Coloured Petri Net

سال انتشار: 1392
کد COI مقاله: CESD01_002
زبان مقاله: انگلیسیمشاهده این مقاله: 1,129
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد

خرید و دانلود فایل مقاله

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این مقاله را که دارای 9 صفحه است به صورت فایل PDF در اختیار داشته باشید.
آدرس ایمیل خود را در کادر زیر وارد نمایید:

مشخصات نویسندگان مقاله A New Executable Model for Software Architecture Based on Coloured Petri Net

Mansoure Younesi - Mazandaran University of Science and TechnologyBabol
Maryam Musavi - Mazandaran University of Science and TechnologyBabo
Mahnaz Hamzehniya - Mazandaran University of Science and TechnologyBabol
Homayoun Motameni - Islamic Azad University, Sari, Iran

چکیده مقاله:

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. With the growing use of UML diagrams for software architecture description and the importance of non-functional requirements evaluation at the early stages of design and its development process, providing an executable model of these diagrams is often considered to be significant. UML diagrams have some shortcomings such as being semi-formal. In order to overcome this shortcoming, many efforts have been made to transform this language into formal methods including Petri nets. This paper is an attempt to transform Activity diagrams created in UML into Coloured Petri net (CPN). So that the non-functional parameters could be estimated from the obtained Coloured Petri net. The final goal in this paper is evaluation of reliability. We presented a case tool for evaluating reliability parameter with the help of quality factors stated in ISO/IEC 9126 model. With evaluating this properties, developers can take step for identifying shortcomings and improving themt. so costs and potential losses reduced

کلیدواژه ها:

UMl, Activity Diagram, Coloured Petri Net, Reliability, Verification and Validation

کد مقاله/لینک ثابت به این مقاله

کد یکتای اختصاصی (COI) این مقاله در پایگاه سیویلیکا CESD01_002 میباشد و برای لینک دهی به این مقاله می توانید از لینک زیر استفاده نمایید. این لینک همیشه ثابت است و به عنوان سند ثبت مقاله در مرجع سیویلیکا مورد استفاده قرار میگیرد:

https://civilica.com/doc/238829/

نحوه استناد به مقاله:

در صورتی که می خواهید در اثر پژوهشی خود به این مقاله ارجاع دهید، به سادگی می توانید از عبارت زیر در بخش منابع و مراجع استفاده نمایید:
Younesi, Mansoure and Musavi, Maryam and Hamzehniya, Mahnaz and Motameni, Homayoun,1392,A New Executable Model for Software Architecture Based on Coloured Petri Net,همایش مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدلسازی و امنیت سیستم ها,Mashhad,https://civilica.com/doc/238829

در داخل متن نیز هر جا که به عبارت و یا دستاوردی از این مقاله اشاره شود پس از ذکر مطلب، در داخل پارانتز، مشخصات زیر نوشته می شود.
برای بار اول: (1392, Younesi, Mansoure؛ Maryam Musavi and Mahnaz Hamzehniya and Homayoun Motameni)
برای بار دوم به بعد: (1392, Younesi؛ Musavi and Hamzehniya and Motameni)
برای آشنایی کامل با نحوه مرجع نویسی لطفا بخش راهنمای سیویلیکا (مرجع دهی) را ملاحظه نمایید.

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

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

  • engineering -Product quality - Part 3: Internal metris ", 2002. ...
  • Bass, L et al. (2012). Software Architecture in Practice. Third ...
  • Booch, G et al. (2005). The unified modeling language user ...
  • Emadi, S and Shams, F. (2009). A New Executable Model ...
  • Emadi, S and Shams, F. (2009). Transformation of Usecase and ...
  • ElMansouri, R et al. (2009). From UML Statechart and Collaboration ...
  • Faul, B. M. (2004). Verifiable Modeling Techniques Using a Colored ...
  • Fowler, M. (2003). UML Distilled: A Brief Guide to the ...
  • Fukuzawa, K and Saeki, M. (2002). Evaluating software architectures by ...
  • _ Acw International _ _ _ _ _ _ (SEKE), ...
  • Motameni, H et al. (2011). Evaluating the Reliability of Commun ...
  • Motameni, H and Movaghar, A. (2006). Using Markov Theory for ...
  • H. Motameni, H et al .(2008). Designing a Software Tool ...
  • Motameni, H et al. (2005). Verifying and Evaluating UML Activity ...
  • Motameni, H et al. (2006). Evaluating UML state diagrams using ...
  • Motameni, H et al. (2008). Analytic Evaluation on Petri Net ...
  • Nematzadeh, H et al. (2009). Evaluating Reliability of System Sequence ...
  • Shin, M et al. (2002). Transforming of UML-Based system Model ...
  • مدیریت اطلاعات پژوهشی

    صدور گواهی نمایه سازی | گزارش اشکال مقاله | من نویسنده این مقاله هستم

    اطلاعات استنادی این مقاله را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

    علم سنجی و رتبه بندی مقاله

    مشخصات مرکز تولید کننده این مقاله به صورت زیر است:
    نوع مرکز: موسسه غیرانتفاعی
    تعداد مقالات: 1,272
    در بخش علم سنجی پایگاه سیویلیکا می توانید رتبه بندی علمی مراکز دانشگاهی و پژوهشی کشور را بر اساس آمار مقالات نمایه شده مشاهده نمایید.

    مقالات مرتبط جدید

    به اشتراک گذاری این صفحه

    اطلاعات بیشتر درباره COI

    COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

    کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.

    پشتیبانی