این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
International Journal of Engineering، جلد ۲۹، شماره ۱۱، صفحات ۱۵۴۹-۱۵۵۷
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی Web Service Choreography Verification Using Z Formal Specification
چکیده انگلیسی مقاله Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides verifying the mentioned concerns, we find out whether the choreographies are realizable by web services protocols at orchestration level. In this regard we detect the interactions between each two distinct participants which lead to deadlock or unspecified reception. An ‘itinerary purchase’ case study for prototyping the transformation rules is presented and the Z/EVES tool is used to demonstrate the protocol compatibility. Also, we define multiple attributes to compare the choreography description languages/models from the verification and adaptation viewpoints.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله Zahra Sajadi |
Electrical & Computer Engineering Department, Shahid Beheshti University

Yousef Rastegari |
Electrical & Computer Engineering Department, Shahid Beheshti University

F. Shams |
Electrical & Computer Engineering Department, Shahid Beheshti University

نشانی اینترنتی http://www.ije.ir/article_72825_71b9b37d023410ff2a0efcbcf25294bd.pdf
فایل مقاله اشکال در دسترسی به فایل - ./files/site1/rds_journals/409/article-409-2062206.pdf
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات