اعتبار سنجی ترکیب سرویس های وب با استفاده از روش های صوری

امروزه پیشرفت چشم گیری در زمینه سرویس گرایی بخصوص بحث سرویس هایی که تحت وب منتشر شده و نیز ترکیب این سرویس ها در دنیا صورت گرفته است. اعتبار سنجی این ترکیب پیش از اجرای نهایی از اهمیت بالایی برخوردار است. زبان مدل سازی 2.0 BPMN امکان مدل سازی تعامل سرویس ها را با یکدیگر فراهم می نماید. پس از ایجاد مدل در 2.0 BPMN مدل مورد نظر به شبکه های پتری رنگی که یکی از زبان های مدل سازی صوری می باشد تبدیل شده است. سپس با استفاده از نرم افزار توالی پیغام ترسیم خواهد شد. پس از بررسی نمودار چنانچه مدل فاقد اعتبار باشد؛ نمودار MSC مسیر نادرستی را خواهد پیمود. در این حالت لازم است مدل 2.0 BPMN اصلاح شده و دوباره مراحل ذکر شده طی شود و پیش از اجرای نهایی مدل ایرادات آن برطرف گردد. تا جایی که اطمینان حاصل شود که مدل طراحی شده بر طبق نیازهای کاربر می باشد.

کلیدواژه ها:

سرویس وب ، ترکیب ، CPN ، 2.0 BPMN ، اعتبارسنجی ، MSC