سال انتشار: ۱۳۹۰

محل انتشار: اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات

تعداد صفحات: ۶

نویسنده(ها):

yahya ghanbarzadeh – islamic azad university
ayaz isazadeh – university of tabriz
japer karimpour – university of tabriz

چکیده:

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.