دانلود مقاله ترجمه شده روش متا مدلینگ برای مجموعه نمودار های UML به شبکه های پتری

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

سیستم ها ی متمرکز نرم افزاری سیستم های پیچیده ای هستند که مدل کردن ، طراحی و آنالیز آن ها کار دشواری می باشد. در این سیستم ها یک نرم افزار با نرم افزار دیگر،سیستمی دیگر ، ابزار ها ، سنسور ها  ، محرک ها و افراد در فعل و انفعال می باشد. پیچیدگی این سیستم ها به دلیل تعداد زیاد المان ها و فاکتورهای اطمینان افزایش پیدا می کند مخصوصاً زمانی که این سیستم ها وارد پروسه زندگی انسان می شوند . آن ها باید به چندین جزء کوچکتر تقسیم شوند تا بتوان پیچیدگی را مدیریت کرد و بررسی و توسعه آن  ها را سهولت بخشید. سپس ضروری است از متد هایی استفاده شود که توانایی حل پیچیدگی و بدست آوردن راه حلی برای توسعه را داشته باشد…