A New Executable Model for Software Architecture Based on Coloured Petri Net
محل انتشار: همایش مهندسی کامپیوتر و توسعه پایدار با محوریت شبکه های کامپیوتری، مدلسازی و امنیت سیستم ها
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,352
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CESD01_002
تاریخ نمایه سازی: 25 اسفند 1392
چکیده مقاله:
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
کلیدواژه ها:
نویسندگان
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
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :