consistency check of live sequence charts spesification based on runs
Publish Year: 1390
نوع سند: مقاله کنفرانسی
زبان: English
View: 1,951
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CSCCIT01_003
تاریخ نمایه سازی: 8 بهمن 1390
Abstract:
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.
Keywords:
uml. Msc. Scenario. Consistency ckeck
Authors
yahya ghanbarzadeh
islamic azad university
ayaz isazadeh
university of tabriz
japer karimpour
university of tabriz
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :