consistency check of live sequence charts spesification based on runs
سال انتشار: 1390
نوع سند: مقاله کنفرانسی
زبان: انگلیسی
مشاهده: 1,946
فایل این مقاله در 6 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSCCIT01_003
تاریخ نمایه سازی: 8 بهمن 1390
چکیده مقاله:
live sequence charts (lsc) are a tipe of interection diagrams that extend message sequence charts (msc) with various means for distinguishing possible necessary and forbidden behavior. The difinition of lsc is very permissive and allows writing inconsistent specifications wich cannot be realized in an implementation . the paper proposes an approach for generating a set of consistent runs given an instance of (a possibly inconsistent) lsc specification. the foundiation presented for this approach on run in lsc. since run attitude the executing stages o a scenario is a sequence rather single-step we belive that our tathematical foundation would significantly reduce the complexity of consistency check technique ; in particular ; we carry out the cheking consistency of lsc on the level of scenario through run.
کلیدواژه ها:
uml. Msc. Scenario. Consistency ckeck
نویسندگان
yahya ghanbarzadeh
islamic azad university
ayaz isazadeh
university of tabriz
japer karimpour
university of tabriz
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :