کاربرد گراف سیاست مقید شده جهت توصیف و تحلیل سیاستهای کنترل دسترسی در فرایندهای BPEL

ترکیب وب سرویسها از ایده های نو در زمینه سیستم های مبتنی بر سرویس است روشهای ترکیب وب سرویسها تنها به توصیف ویژگی های عملکردی وب سرویس ترکیبی می پردازند. به علاوه تحقیقاتی نیز که به وارسی و تحلیل فرایند ترکیبی پرداخته اند تنها نیازمندی های عملکردی ترکیب را مدنظر قرا رداده اند کنترل دسترسی به عنوان یکی از ویژگیهای غیرعملکردی در ترکیب وب سرویسها، از نمونه مواردی است که نیاز به توصیف و تحلیل درستی دارد این امر به منظور اطمینان از درستی فرایند ترکیب تضمین برآوردن سیاستهای کنترل درسترسی وب سرویسهای شریک و عدم نقض یک سیاست توسط سیاستهای دیگران الزامی است.

کلیدواژه ها:

ترکیب وب سرویسها ، سیاست کنترل دسترسی ، ترکیب سیاستها ، وارسی ، BPEL