Abstract
The paper presents transformations from UML 2.0 Sequence Diagrams to Time Petri nets with inhibitor arcs. The transformation is not restricted to messages calls and responses, but also to some of the new Sequence Diagrams operators. This model-to-model transformation is based on metamodels and is useful to improve semantics, as Petri nets can be executed by simulation and formally proved. The advantages of this multi-formalism approach are that different views are represented, complex systems development is done based on several levels of detail, and complexity is managed with abstraction and modularization
چکیده
مقاله تبدیل رشته نمودار های UMLبه شبکه همزمان پتری را با کمان های بازدارنده ارائه می دهد . تبدیل شامل رشته عملگرهای نمودار جدید می باشد . این تبدیل مدل به مدل بر پایه متا مدل می باشد و در بهبود و اصلاح معنایی کاربرد دارد ، بطوریکه شبکه های پتری می توانند بصورت شبیه سازی شده اجرا شوند .مزیت روش این است که نظریه های مختلف ارائه می شود ، سیستم های پیچیده بر اساس سطوح مختلف جزئیات توسعه پیدا می کنند و پیچیدگی توسط مدولاریزه و چکیده کردن مدیریت می شود.
1.مقدمه
سیستم ها ی متمرکز نرم افزاری سیستم های پیچیده ای هستند که مدل کردن ، طراحی و آنالیز آن ها کار دشواری می باشد. در این سیستم ها یک نرم افزار با نرم افزار دیگر،سیستمی دیگر ، ابزار ها ، سنسور ها ، محرک ها و افراد در فعل و انفعال می باشد. پیچیدگی این سیستم ها به دلیل تعداد زیاد المان ها و فاکتورهای اطمینان افزایش پیدا می کند مخصوصاً زمانی که این سیستم ها وارد پروسه زندگی انسان می شوند . آن ها باید به چندین جزء کوچکتر تقسیم شوند تا بتوان پیچیدگی را مدیریت کرد و بررسی و توسعه آن ها را سهولت بخشید. سپس ضروری است از متد هایی استفاده شود که توانایی حل پیچیدگی و بدست آوردن راه حلی برای توسعه را داشته باشد…