ارایه روشی برای ارزیابی قابلیت اطمینان معماری نرم افزار مبتنی بر مثال سبک ترکیبی لایه ای و لوله و فیلتر با نگاشت مدل شبکه پتری درزنجیره مارکف
Publish place: The first specialized conference on intelligent computer systems and their applications
Publish Year: 1390
Type: Conference paper
Language: Persian
View: 3,497
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ITICS01_113
Index date: 31 March 2012
ارایه روشی برای ارزیابی قابلیت اطمینان معماری نرم افزار مبتنی بر مثال سبک ترکیبی لایه ای و لوله و فیلتر با نگاشت مدل شبکه پتری درزنجیره مارکف abstract
درچرخه حیات یک نرم افزار معماری اولین محصول خروجی است که درآن میزان دستیابی به نیازمندیهای عملیاتی و کیفی قبل از پیاده سازی قابل ردیابی است معماری نرم افزار درمرحله ای مابین تحلیل و طرحی قرار دارد و ابزاری برای مهار پیچیدگی طراحی سیستمهای بزرگ است معماری دارای سبکهای مختلف از پیش آماده و ارزیابی شده بوسیله معماران ماهر است با استفاده از سبک ها دستیابی به بعضی از صفات کیفی که جز ویژگیهای آن ها است تضمین شده است اما هنگامی که از ترکیبی از سبکه ها استفاده می شود مابین بعضی از صفات متعامد بایدموازنه صورت گیرد دراین مقاله یک الگوی معماری نرم افزار از ترکیب سبکهای لایه ای و لوله و فیلتر ارایه شده است و درآن صفت کیفی قابلیت اطمینان که دغدغه صاحبان سهام بودها ست مورد ارزیابی قرارگرفته است برای کمی سازی و قابل محاسبه بودن عددی این صفت کیفی ابتدا مدل ا جرایی از معماری بوسیله شبکه پتری ارایه شده است. سپس با نگاشت این شبکه پتری درزنجیره مارکف صفت کیفی قابلیت اطمینان با کمی سازی درزنجیره مارکف بصورت مقدار عددی محاسبه شدهاست.
ارایه روشی برای ارزیابی قابلیت اطمینان معماری نرم افزار مبتنی بر مثال سبک ترکیبی لایه ای و لوله و فیلتر با نگاشت مدل شبکه پتری درزنجیره مارکف Keywords:
ارایه روشی برای ارزیابی قابلیت اطمینان معماری نرم افزار مبتنی بر مثال سبک ترکیبی لایه ای و لوله و فیلتر با نگاشت مدل شبکه پتری درزنجیره مارکف authors
حسین عبدالملکی
دانشگاه پیام نور دانشجویکارشناسی ارشد گروه علمی مهندسی کامپیوتر
محمدرضا رزازی
دانشگاه صنعتی امیرکبیر
احمد فراهی
دانشگاه پیام نور استادیار و عضو هیئت علمی تهران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :