پشتیبانی جایگزینی سرویس و مدیریت تراکنش ها در ترکیب سرویس های مبتنی بر وب

پشتیبانی جایگزینی سرویس و مدیریت تراکنش ها در ترکیب سرویس های مبتنی بر وب

اسلاید 1: 1پشتيباني جايگزيني سرويس و مديريت تراکنشها در ترکيب سرويسهاي مبتني بر وب فاطمه چيت‌فروش‌زادهp_f_chitfroush@yahoo.comمريم يزدان‌دوست‌بابکيm_y_doost@yahoo.comاستاد پروژه: دکتر محمد قدسي استاد مشاور: دکتر حسن ابوالحسني

اسلاید 2: 2رئوس مطالبمقدمهترکيب سرويس مرکببررسي درخواست يك سرويس مركب از طرف کاربر كشف سرويس انتخابتوليد توصيف براي سرويس هاي مركبزبان هاي Choreography زبانهاي هم آهنگي BPEL4WSOWL-SPetri-netاجرای سرويس مرکبموتور اجرا بخش مديريت تراکنش بخش جايگزيني سرويس

اسلاید 3: 3رئوس مطالب(ادامه)ديدگاههاي مختلف در زمينه تركيب سرويسهاي مبتني بروبتركيب وب‌سرويس‌ها به شكل ايستا و پوياتركيب سرويس‌ها به شكل اتوماتيك يا دستيتركيب سرويس‌ها بر اساس توصيف و يا مدل‌هاتركيب سرويس‌ها با استفاده از برنامه‌ريزي هوش‌مصنوعيهم‌زماني اجرا و تركيب وب‌سرويس‌هاادامه‌ی کارجزء هماهنگ‌کننده اجراي وب‌سرويس‌هاجزء جايگزيني سرويسجزء مديريت تراکنش ها مراجع

اسلاید 4: 4مقدمهوبِ معنايي: نسل بعدي وب که علاوه بر اطلاعات، معنا را نيز در بر مي‌گيرد در نتيجه اطلاعات قابل پردازش، جستجو و به اشتراک‌گذاري به وسيله‌ي ابزارهاي اتوماتيک می‌شود.وب‌سرويس: يک برنامه‌ی کاربردي دسترس‌پذير است که ديگر برنامه‌هاي کاربردي و انسان‌ها مي‌توانند به‌طور اتوماتيک آن را کشف، و از آن استفاده کنند. سرويس مرکب: ترکيبي از چند سرويس ساده يا مرکب ديگر با هدف انجام يک کار مشترکترکيب اتوماتيک وب‌سرويس‌ها :ترکيب سرويس‌هااجراي سرويس مرکب

اسلاید 5: 5ترکيب سرويس مرکب بررسي درخواست يك سرويس مركب از طرف کاربركشف سرويسانتخابتوليد توصيف براي سرويس‌هاي مركب

اسلاید 6: 6مراحل ترکيب سرويس مرکب بررسي درخواست يك سرويس‌مركب از طرف کاربر: دريافت يك توصيف سطح بالا از سرويس‌مركب موردنياز كاربر توسط موتور‌ترکيب و شکستن آن به زيردرخواست‌هاكشف سرويس: پيداكردن سرويس‌هاي مناسب جهت اجراي زيردرخواست‌هاي مشخص‌شدهثبت توصيف معنايی سرويسها در repositoryکشف سرويس موردنياز با ارائه‌ی توصيف معنايي آنتوليد ليستی از سرويسهای کشف‌شده به‌ازای هر درخواستانتخاب: انتخاب مناسب‌ترين سرويس از ليست سرويس‌هاي كشف‌شده در فاز قبل با توجه به معيارهاي:FunctionalNon-functional : كارايي، قابليت اطمينان، امنيت، قابليت گسترش، QoSنيازمندي‌هاي كاربرقابليت تركيب سرويسها (Composability): تشکيل مدل قابليت تركيب

اسلاید 7: 7مراحل ترکيب سرويس مرکب (ادامه)توليد توصيف براي سرويس‌هاي مركب: شامل ليست سرويس‌هاي شركت‌كننده در تركيبترتيب آن‌هاروشِ ارتباط آن‌هاپيغام‌هاي رد و بدل شونده بين آن‌هابه وسيله‌ی يک زبان توصيف:زبان‌هاي Choreography: مدلي از رفتار خارجي سرويس‌ها، در قالب پيغام‌هايي كه بين اجزا ردوبدل مي‌شوندزبان‌هاي هم‌آهنگي (Orchestration): ارتباطات كلي بين وب‌سرويس‌ها در يك وب‌سرويس مركب و چگونگي استفاده‌ي وب‌سرويس مركب از سرويس‌هاي كمكيهماهنگ کننده (Coordinator): مديريت و هم‌زماني تبادلات و هم‌چنين كنترل ارتباطات بين اجزا

اسلاید 8: 8زبان‌هاي ChoreographyمفهومChoreography به ارتباطات دوطرفه­اي كه بين دو سرويس مختلف، از طريق پيغام، وجود دارد. WS-CDL (Web Service Choreography Description Language) [22]:جديدترين زباني است كهW3C جهت توصيف رفتارهاي مشترك و غيرمشترك سرويس ها از يك ديد كاملا كلي طراحي كرده استبر مبناي XMLمدلي غير لايه ايWSCI (Web Service Choreography Interface) [4]:بر مبنايXML براي توصيف پيغام هاي ورودي و خروجي سرويس هاهيچ پشتيباني براي معنا نداشتهمدلي غير لايه اي است.

اسلاید 9: 9زبان‌هاي هم‌آهنگي (Orchestration)BPEL4WS:بر پايه زبان­هاي WSFL (متعلق به IBM) و XLANG (متعلق بهMicrosoft ) بناشده است و ترکيبي از امكانات اين دو زبان را در خود دارد. مبتني بر XML تعريف سرويس ها را به شكل فرآيند محور (work flow based)وجود تعداد زيادي سرور براي اجراي سرويس هاي مركب BPEL4WS براي بسترهاي J2EE و .Net Petri-net [32]:اختصاص دادن يك Petri-net به هر فرآِنددر هرزمان سرويس در يكي از حالات not instantiated، ready، running، suspended، و يا completed قراردارد.

اسلاید 10: 10زبان‌هاي هم‌آهنگي (Orchestration)OWL-S:تعريف معنایی سرويس ها و به شكلي قابل فهم براي ماشين ←با استفاده از Ontology:كشف اتوماتيك سرويس، صدا کردن سرويس ها، تركيب، ارتباط بين آنها وكنترل اجراي آنهابخش های OWL-S:Profile: معرفي سروِس: اين اطلاعات در مراحل كشف سرويس توسط ديگر سرويس ها، كاربران يا عامل ها و.. به كارمي رود. مدل فرآيند (Process Model): اطلاعات دقيق تري راجع به عمليات سرويسطريقه ي استفاده ي سرويسبيان جزئيات معنايي درخواست هاشرايطي كه تحت آنها خروجي هاي خاص توليد مي شوندنحوه درخواست براي يك سرويس، ورودي ها، خروجي ها، پيش شرط ها و اثرات سرويسGrounding: جزئيات چگونگيِ ارتباط با يك سرويس از طريق پيغام هاپروتكل ارتباطي، فرمت پيغام ها و ديگر جزئيات مربوط به سرويس مثل شماره پورت هايي كه سرويس روي آنها قابل دسترسي است

اسلاید 11: 11زبان‌هاي هم‌آهنگي (Orchestration)OWL-S

اسلاید 12: 12مقايسه زبان‌هاي هم‌آهنگي (Orchestration)زبان انتخاب شده جهت توصيف سرويس مرکب در پايان نامه

اسلاید 13: 13اجراي سرويس مرکب موتور اجرا بخش مديريت تراکنش بخش جايگزيني سرويس

اسلاید 14: 14اجراي سرويس مرکب فراخوانی سرويس‌هاي شركت‌كننده در وب‌سرويس مركب به ترتيبي كه درنهايت يك وظيفه‌مندي موردنظر را به انجام برسانند. ورودی: توصيف وب‌سرويس مركب وظيفه: آغاز اجراي وب‌سرويس مركبفراخوانی سرويس‌هاي شركت‌كننده در سرويس مركب به ترتيبي بر اساس توصيف وب‌سرويس مركبنظارت بر اجراي سرويس مرکبشناسايي و كنترل خطاهاي زمان اجراجايگزيني سرويس‌هامديريت تراكنش

اسلاید 15: 15اجزاي اصلي يک چهارچوب اجرا‌کننده‌ي سرويس مرکب موتور اجرا (Execution Engine)بخش جايگزيني سرويس (Replacement Component)بخش مديريت تراکنش (Transaction Management Component)

اسلاید 16: 16موتور اجرا (Execution Engine)نظارت بر اجراي وب‌سرويس‌ مركب (Monitoring)برخورد مناسب با خطاهاي به وجودآمده در زمان اجراي سرويس مركب: مشكلات مربوط به سرويس: مثل crash کردن سرور سرويس يا خطاي زمان اجراي سرويس (Exception) مشكلات مربوط به شبكهمشكلات مربوط به تركيب: ناشی از طراحي بدِ تركيب مثل رسيدن به يك بن‌بست ارتباطي در تركيب خطاي زمان اجراي مربوط به جريان‌كار تركيب (Composition Workflow)تصميم فراخوانی بخش‌های جايگزيني سرويس و بخش مديريت تراکنش بر اساس خطا

اسلاید 17: 17بخش جايگزيني سرويس (Replacement Component)وظيفه: جايگزيني سرويس‌ در زمان اجرا با سرويس‌ معادلِ ديگری كه به تنهايي و يا به‌شكل مركب بتواند وظايف سرويس تعويض‌شده را انجام دهند.سرويس جايگزين‌شونده: سرويسی که با خطا مواجه شدهسرويسی که كند شدهسرويسی که كارايي خود را ازدست‌داده است هنگامي كه تعريف بخشي از سرويس مركب در زمان اجرا تغييرکند[16] و ]41[ به جايگزيني يك سرويس خطادار هنگام خطا پرداخته‌اندايده: انتخاب يك سرويس با قابليت‌هاي مشابه سرويس جايگزين شونده، از ليست سرويس‌های کشف‌شده در فاز كشف سرويس‌ها

اسلاید 18: 18بخش مديريت تراکنش (Transaction Management Component)تعريف کلاسيک تراکنش (تراکنش‌هاي ACID): تغيير حالتي که چهار ويژگيِ زير را دارد:Atomicity: «يا همه يا هيچ‌کدام» سازگاري (Consistency): صحت در تغيير حالت Isolation: عدم تأثير متقابل تراکنش‌هايي است که هم‌زمان باهم اجرا مي‌شوندماندگاري (Durability): عدم امکان لغوکردن تراکنشي که پايان‌يافته است نيز معروفند. دو رويکرد متفاوت در قبال مديريت تراکنش‌ها:رويکرد بدبينانه: قفل‌کردن منابع در دسترس تراکنشرويکرد خوش‌بينانه [1 و 20]: مبنا: در برخي محيط‌ها، امکان بروز ناسازگاري بسيار پايين است ← هزينه‌ي قفل‌کردن منابع در چنين محيط‌هايي به‌صرفه نيسترويکرد: به جاي قفل‌کردن منابع، تغييرات تراکنش را در محلي مياني نگهداري کرده و در پايان تراکنش تغييرات را يکباره ماندگار مي‌کنيم.

اسلاید 19: 19بخش مديريت تراکنش (ادامه) (Transaction Management Component) ويژگي‌هاي محيط وب‌سرويس‌ها:اتصال و پيوستگي بسيار کم(loosely coupled)قابليت ‌اطمينان پايينبرخورداری از درجه‌ي بالايي از خودمختاريمدت اجرای طولانی: با توجه به ماهيت سناريوها در اين محيط، معمولا تراکنش‌ها مدت زيادي به طول مي‌انجامند (مثالا تراکتشی شامل خريد، پرداخت و تحويل کالا که در مجموع چندين روز به طول مي انجامد).تعلق منابع درگير در يک تراکنش به حوزه‌هاي متفاوتتراکنش‌هاي ACID برای اين محيط به نظر سخت‌گيرانه مي‌آيند. اجبارکردن چهار ويژگي تراکنش‌هاي ACID نتايج نامطلوبي به دنبال خواهدداشت. براي برآوردن نياز تراکنش‌ها در چنين محيطي تراکنش‌هايي با سخت‌گيري کمتر و ضعيف‌تر مطرح شده است. «تراکنش‌هاي طولاني مدت» يا Long Running Transactions [30]«تراکنش‌هاي طولاني مدت» ويژگي Isolation در تراکنش‌ها را پياده‌سازي نمي‌کنند

اسلاید 20: 20بخش مديريت تراکنش (ادامه) (Transaction Management Component) ايده‌ي «خنثاکردن» (Compensation)تراکنش T ↔ خنثاکننده‌ي C[30] خنثاکننده‌ي Cسرويسي مستقل است که بعد از اتمام تراکنش و خارج از قلمرو آن اجرا مي‌شود C بعد از اتمام T انجام می‌شودT نه منابع مورد نيازش را قفل مي‌کند و نه تغييرات موقتي در سيستم ايجاد مي‌کندتغييرات همگي واقعي بوده و بلافاصله درسيستم قابل مشاهده هستند.درحالتي که به هردليل خارجي، تراکنش سطح بالاتر با مشکلي مواجه شود، سرويس C براي جبران‌کردن و برطرف‌کردن آثار T اجرا می‌شودميزان موفقيت C در ازبين‌بردن تمامي آثار تراکنش T بستگي به زمينه دارد

اسلاید 21: 21بخش مديريت تراکنش (ادامه) (Transaction Management Component)چهارچوب‌هاي ارائه شده براي پشتيباني مديريت تراکنش‌ها Web Service Transaction Management (WS-TXM) [13]:(بخشي از چهارچوبWeb Service Composite Application Framework (WS-CAF) که توسط شرکت SUN ارائه‌شده است[10])معماري لايه‌اي دارد و بر روي دو لايه‌ي ديگرِ چهارچوبِ WS-CAF بنا شده است:Web Service Context (WS-CTX) [12]Web Service Coordination Framework (WS-CF) [11]به طور خاص به اجراي رفتارهاي تراکنشي مي‌پردازد و سه نوع رفتار را براي تراکنش‌ها پشتيباني مي‌کند:تراکنش‌هاي قديميِ ACIDتراکنش‌هاي طولاني‌مدت (Long Running Actions يا LRAs) تراکنش‌هاي فرآيندتجاري: يک يا چند تراکنش از دو نوع ديگر را شامل مي‌شوند.به مسئله‌ي تعريف و مشخص‌کردن تراکنش‌ها و سرويس‌هاي مرکب نپرداخته است.

اسلاید 22: 22بخش مديريت تراکنش (ادامه) (Transaction Management Component)WS-Transaction: مشابه WS-TXM توسط شرکت‌هاي BEA, IBM و Microsoft ارايه شده است.که به رفتار تراکنش‌ها پرداخته‌است.دو نوع رفتار براي تراکنش‌ها درنظرگرفته استتراکنش‌هاي اتميک (Atomic Transactions)فعاليت‌هاي تجاري (Business Activities)اين چهارچوب بر روي چهارچوب ديگري که توسط همين گروه ارايه شده است بنا شده که به پشتيباني ارتباط تراکنش‌ها مي‌پردازد (WS-Coordination)BPEL4WS را به عنوان زبانِ تعريف سرويس مرکب پشتيباني مي‌کند.

اسلاید 23: 23بخش مديريت تراکنش (Transaction Management Component)WebTransact [28] : معماري چند لايهيک مدل تراکنشيWeb Service Transaction Language: مبتنی بر XML گسترشی بر زبان WSDLتعريف سرويس‌های مرکبامکان تعريف و توصيف تراکنش‌ها در سطوح مختلفتمرکز بر رفع مشکل انواع مختلف ناهمگونی موجود در فضای وب‌سرويس‌ها (نحوی، ساختاری و محتوايی)ايده‌ي سرويس ميانجي (Mediator Service): سرويسي که با مجردکردن مفاهيم سرويس‌ها، به عنوان واسطي بين هماهنگ‌کننده‌ي سرويس‌ها و سرويس‌هاي اصلي قرارمي‌گيرد

اسلاید 24: 24بخش مديريت تراکنش (Transaction Management Component)چهارچوب‌هاي ديگربا اهميت و حوزه‌ي پوشش ضعيف‌تر: Transactional Web Service Orchestration (TWSO) [21] Business Transaction Framework (BTF)[42]پژوهش‌هايي که صرفا به تعريف و مشخص‌کردن رفتار تراکنشی پرداخته‌اند:استفاده از زبان UML جهت تعريف و مشخص‌کردن رفتار تراکنشی و نگاشت به استانداردهاي ديگري مثل BPEL4WS: کار آقاي شهرام دوستدار و همکارانش [5 و 33]. کارOrriens و همکارانش ]25 و 26[.

اسلاید 25: 25ديدگاههاي مختلف در زمينه تركيب سرويسهاي مبتني بروبتركيب وب‌سرويس‌ها به شكل ايستا و پوياتركيب سرويس‌ها به شكل اتوماتيك يا دستيتركيب سرويس‌ها بر اساس توصيف و يا مدل‌هاتركيب سرويس‌ها با استفاده از برنامه‌ريزي هوش‌مصنوعيهمزماني اجرا و تركيب وب‌سرويس‌ها

اسلاید 26: 26تركيب وب‌سرويس‌ها به شكل ايستا و پويا تركيب ايستا در طول زمانِ طراحي، اجزاي تركيب انتخاب شده به يكديگر لينك مي‌شوندمناسب برای محيط‌های بدون تغيير ماژول‌هاي تشكيل‌دهنده‌ی پلتفرم اجرای سرويسهای مرکبStarWSCop [38] : سيستم هوشمند براي تجزيه‌ي نيازهاي كاربرانباري از وب‌سرويس‌هاي ثبت‌شدهموتور كشف‌سرويسموتور تركيبمانيتوركننده جهت ثبت وقايع و مطلع‌ساختن موتور تركيب.سيستمe-flow تعريف، اجرا و مانيتوركردن e-serviceهاي مركبكشف پوياي سرويستراكنش‌هاي ACIDنمايش يك سرويس مركب به وسيله‌ي يك گراف كه ترتيب اجراي نودها را در پروسه نشان ميدهد

اسلاید 27: 27تركيب سرويس‌ها به شكل اتوماتيك يا دستي تركيب دستی: انتخاب سرويس‌هاي شركت‌كننده در ترکیب توسط كاربر از بين سرويس‌هاي موجودترکيب اتوماتيک يا مبتنی‌بر آنتولوژی [39]:چهار ماژول اصلی: specification, matchmaking, selection, generationارايه‌ی يك «مدل قابليت تركيب» معرفی زبان سطح بالای CSSL در ماژول selectionWSDL + معنا = CSSL استفاده از محدوديتهای QoS در ماژول selection

اسلاید 28: 28گسترش WSDL با استفاده از آنتولوژی

اسلاید 29: 29تركيب سرويس‌ها بر اساس توصيف و يا مدل‌هاترکيب با استفاده از مدل (Orriens):بر اساس ترکيب پويای وب‌سرويس‌هامدل مبتنی‌بر UML با استفاده از دو مفهوم: المان‌هاي تركيب سرويس قوانين تركيب سرويس ترکيب با استفاده از توصيف (enTish):بيان درخواست‌هاي كاربر به شكل صوري توصيف صوري سرويس‌هاي موجود تركيب سرويس‌ها درزمان اجرا

اسلاید 30: 30تركيب سرويس‌ها با استفاده از برنامه‌ريزي هوش‌مصنوعي مسئله‌ي برنامه‌ريزي: پنج‌تايي (S, S0, G, A, Г). در محيط وب‌سرويس‌ها:SO و G حالت‌هاي اوليه و نهاييِ تعريف‌شده در نيازمندي‌هاي درخواست‌دهنده‌A مجموعه‌ي سرويس‌هاي موجودГ نشان‌دهنده تابع تغيير حالت هر سرويسDAML-S (و متعاقباً OWL-S) تنها زبان وب‌سرويسي است كه امكان برقراري ارتباط مستقيم با برنامه‌ريزي هوش‌مصنوعي را داراست.

اسلاید 31: 31SHOP2 مبتني بر DAML-S سيستم برنامه‌ريزي HTN (Hierarchical Task Network)يك وظيفه را به وظايف بسيار كوچك تجزيه‌مي‌كندمفهوم تجزيه‌ي وظايف در HTN بسيار مشابه مفهوم تجزيه‌ي Process در DAML-S است اين سيستمِ برنامه‌ريزي كانديد بسيار خوبي براي استفاده در تركيب اتوماتيك وب‌سرويس‌ها به شمار مي‌رود. پايگاه دانش SHOP2 شامل:عملگرها (operators): توصيفي از آنچه براي انجام يك زيروظيفه‌ مورد‌نياز است متد: شيوه‌ي تجزيه‌ي يك وظيفه‌ي مركب به زير وظيفه‌هايك مسئله‌ي برنامه‌ريزي در SHOP2 يك سه تائي (S, T, D) است که به عنوان وروردي به SHOP2 داده شده و يك برنامه (p1p2…….pn)=P را برمي‌گرداند.pn…,p2,p1 عملگرهايي هستند كه درمجموع باعث رسيدن از S بهT درD مي‌شوند.

اسلاید 32: 32همزماني اجرا و تركيب وب‌سرويس‌ها مشکل تركيب و اجراي وب‌سرويس‌هاي مركب به شكل پي‌درپي : محيط‌هاي پويا با تغييرات زياد زمان اجراراه حل: هم‌زماني اجرا و تركيب در وب‌سرويس‌ها ايده: استفاده از عامل‌هاي نرم‌افزاري و تقسيم برنامه به بخش‌هاي كوچك‌تر. پس‌از برنامه‌ريزي هر بخش، بخش مذكور اجرا شده و بخش بعدی برنامه‌ريزي می‌شود.دو نوع عامل:کاربر: در نقش كاربر درخواست كننده‌ي سرويس مركب تامين‌کننده: در نقش تامين‌كنندگان سرويس‌ها معيارِهای انتخاب سرويس شرکت‌کننده در ترکيب توسط عامل‌كاربر: هزينه‌ي اجرا محل قرارگيري عامل‌هاي تامين‌كنندهعامل سوم: عامل‌كمكي

اسلاید 33: 33

اسلاید 34: 34ادامه‌ی کارجزء هماهنگ‌کننده اجراي وب‌سرويس‌هاجزء جايگزيني سرويسجزء مديريت تراکنش ها

اسلاید 35: 35ادامه کار در اين پايان‌نامه چهارچوبي جهت اجراي سرويس‌هاي مرکب ارايه مي‌شودورودی: توصيف يک سرويس مرکب با زبان OWL-S (البته نسخه‌اي گسترش‌يافته ازOWL-S).جنبه‌هاي مختلف چهارچوب پيشنهادی:جزء هماهنگ‌کننده اجراي وب‌سرويس‌ها (Coordinator Component)جزء جايگزيني سرويس (Replacement Component)جزء مديريت تراکنش ها (Transaction Management Component)

اسلاید 36: 36جزء هماهنگ‌کننده اجراي وب‌سرويس‌ها (Coordinator Component)جزء اجراکننده سرويس مرکب شامل بخشهای زير می‌باشد:بخش هماهنگ‌کننده بين سرويسها (Coordinator Component): ايجاد ارتباط بين سرويس‌هاي بدوی سرويس مرکبانتقال اطلاعات بين سرويس‌هابرقراري ارتباط با ساير اجزاء چهارچوببخش مديريت زمينه (Context Management):ايجاد زمينه‌ی مشترک برای سرويسهاي جزء يک سرويس مرکب: محلي جهت نگهداري اطلاعات زمينه‌اي مشترک بين سرويس‌هانگهداری حالت سرويس مرکب (State) اين بخش مورداستفاده‌ی بخش هماهنگ‌کننده است.مدلي از زمينه (Context Model) در اين بخش ارايه خواهد شد.

اسلاید 37: 37جزء جايگزيني سرويس (Replacement Component)«مدل قابليت جايگزيني» (Replaceability Model) شامل همه‌ي معيارها جهت انتخاب سرويس جايگزين‌شونده:معيارهاي Functional:معيارهاي نحوي (Syntactic): ميزان و نحوه سازگاری نحوی بايد به‌دقت در مدل مذکور مشخص شودبرخي ناسازگاري‌هاي نحوي به وسيله‌ی ميانجي‌گري‌هايي مثل تبديل و يا اجتماع نوع‌هاي داده‌اي قابل‌حل هستند.معيارهاي معنايي (Semantic):سرويس جايگزين‌شونده بايد از لحاظ معنايي معادل سرويس ازکارافتاده بوده و قابليت انجام تمامي کارهاي آن را داشته باشد.سرويس جايگزين‌شونده و سرويس ازکارافتاده بايد متعلق به حوزه‌های (Domain) و دسته (Category) يکسانی باشند.انجام اين مقايسه‌ي معنايي به قابليت مدل‌کردنِ معنايي دو سرويس بستگي دارد.قابليت مدل‌کردن و توصيف معنايي سرويس و حوزه و دسته و ... ← OWL-SمعيارهايNon-Functional: خصوصياتی مثل QoS، زمان‌بندي، امنيت، قابليت‌اطمينان و... قابليت مدل‌کردن اين خصوصيات در زبان مدل‌کردن سرويسها ضروری است ← OWL-S

اسلاید 38: 38جزء جايگزيني سرويس (Replacement Component)موارد ديگري که براي جايگزيني سرويس ازکارافتاده با سرويس يا سرويس‌هاي مشابه درنظرگرفته شوند: نياز به ليستي از سرويس‌هاي کانديد جهت جايگزينی:نگهداری ليست سرويس‌های يافت‌شده در مرحله کشف سرويس ← نياز به نگهداري ليست سرويس‌هاي مشابهِ هر سرويس، از فاز کشف سرويس تا انتهاي اجراي سرويس مرکب ← گسترش زبان OWL-S (مشخصا بخش پروفايل)، و اضافه کردن يک ليست از سرويس‌هاي کانديد به ازاي هر سرويسدسترس‌پذيري اين سرويس‌ها بايد بررسي شود.در صورت عدم دسترسي به سرويس‌کانديد مناسب دوباره فاز کشف سرويس تکرار می‌شود.بررسی قابليت‌جايگزيني باتوجه به معيارهاي مدل‌قابليت‌جايگزينيدرک مشترکي از محيط اجراي وب سرويس مرکب به شکل (زمينه يا context) درهنگام جايگزيني به سرويس جديد منتقل شود ← با استفاده از بخش مديريت زمينه (Context Management) در جزء اجراکننده سرويس مرکب برخي اصلاحات و يا تغييرات برای سرويس جديد براي جايگزين شدن توسط يک واسط، قبل از جايگزيني انجام مي شود، مثلا تبدِل برخي پارامترها (مثل ورودي و خروجي سرويس) ترکيبي از سرويس هاي دردسترس جهت جايگزينی با سرويس از کار افتاده ← اجرای مراحل ترکيب سرويس

اسلاید 39: 39جزء مديريت تراکنش ها (Transaction Management Component)بررسي احتمال استفاده از رويکرد بدبينانه در محيطِ خاص وب سرويس هادر صورت استفاده از رويکرد خوش بينانه بخش هاي زير بايد مدنظر قرارگيرند:امکان تعريف و مشخص کردن تراکنش ها در تعريف سرويس هاي مرکب ← گسترش زبان OWL-Sمدل کردن انواع رفتارهاي تراکنشي در محيط وب سرويس ها حداقل انواع رفتارهاي تراکنشيفعاليت هاي ACIDفعاليت هاي طولاني مدت (LRAs): در مدل LRAs بايد حتماً به ازاي هر فعاليت يک سرويس خنثاکننده نيز در هماهنگ کننده ی سرويس مرکب ثبت شده باشد.فعاليت هاي غيرحفاظت شده (Unprotected)فرآيندهاي تجاري

اسلاید 40: 40مراجعAdya, Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions, PhD thesis MIT, Department of Electrical Engineering and Computer Science, March 1999.Akram, M.S, Medjahed, B. and Bouguettaya, A. “Supporting Dynamic Changes in Web Service Environments”, ICSOC, LNCS 2910, Springer-Verlag Berlin Heidelberg, pp.319–334, 2003.Ambroszkiewicz, S. Benatallah, B. and Shaw, M.C. (Eds.). “Entish: An Approach to Service Composition”, TES 2003, LNCS 2819, Springer-Verlag Berlin Heidelberg, pp.168–178, 2003.Arkin, A., Askary, S., Fordin, S., Jekeli, W., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Susan Struble S., Takacsi-Nagy, P., Trickovic, I. and Zimek, S. “Web Service Choreography Interface (WSCI)”, 2002, 1.0, http://www.w3.org/TR/wsci/Benjamin A. Schmit, Schahram Dustdar, “Systematic Design of Web Service Transactions”. TES, 2005, pp:23-33.B. Medjahed, B. Benatallah, A. Bouguettaya, A. Elmagarmid. WebBIS: An Infrastructure for Agile Integration of Web Services, International Journal on Cooperative Information Systems (IJCIS), 13(2), June 2004.B. Medjahed, A. Bouguettaya, and A. Elmagarmid. “Composing Web Services on the Semantic Web”. The VLDB Journal, 12(4):333--351, November 2003.B. Medjahed, A. Bouguettaya. A Dynamic Foundational Architecture for Semantic Web Services, Distributed and Parallel Databases (DAPD), 17(2), March 2005.B. Medjahed, A. Bouguettaya. A Multilevel Composability Model for Semantic Web Services, IEEE Transactions on Knowledge and Data Engineering (TKDE), 17(7), July 2005.Bunting, D., Hurley, M.C.O., Little, M., Mischkinsky, J., Newcomer, E., Webber, J. and Swenson, K. (2003b) “Web Services Composite Application Framework (WS-CAF) Ver1.0”, July 28, 2003.Bunting, D., Hurley, M.C.O., Little, M., Mischkinsky, J., Newcomer, E., Webber, J. and Swenson, K. (2003a) “Web Services Coordination Framework (WS-CF) Ver1.0”, http://developers.sun.com/techtopics/webservices/wscaf/wscf.pdf, July 28.

اسلاید 41: 41مراجع(ادامه)Bunting, D., Hurley, M.C.O., Little, M., Mischkinsky, J., Newcomer, E., Webber, J. and Swenson, K. (2003d), “Web Services Context (WS-Context) Ver1.0, http://developers.sun.com/techtopics/webservices/wscaf/wsctx.pdf, July 28.Bunting, D., Hurley, M.C.O., Little, M., Mischkinsky, J., Newcomer, E., Webber, J. and Swenson, K. (2003c), “Web Services Transaction Management (WS-TXM) Ver1.0”, http://developers.sun.com/techtopics/webservices/wscaf/wstxm.pdf, July 28.“Business Process Execution Language for Web Services, version 1.1”, http://www.oasis-open.org/committees/download.php/2046/BPEL%20V1-1%20May%205%202003%20Final.pdfCasati, F. and Shan, M-C., “Dynamic and Adaptive Composition of E-services”, Elsevier Science Ltd., 12th International Conference on Advanced Information Systems Engineering (CAiSE 00), 2001.Courbis,C., Finkelstein,A. “Towards an aspect weaving BPEL engine”. Third AOSD Workshop on Aspects, Components, and Patterns for Infrastucture Software (ACP4IS) Lancaster, UK, 2004. D. Tidwell, “Web Services: the Webs next revolution”, http://www-106.ibm.com/developerworks/edu/ws-dw-wsbasics-i.html, 2000.E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. “Web Services Description Language (WSDL) 1.1”. W3C Note, March 15, 2001.F. Curbera et al., “Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI” IEEE Internet Computing, vol. 6, no. 2, 2002, pp. 86–93.Gruber R. E. “Optimistic Concurrency Control for Nested Distributed Transactions”. S.M. thesis, Massachusetts Institute of Technology, 1989Hrastnik, P. Winiwarter, W. “TWSO — Transactional Web Service Orchestrations”, International Conference on Next Generation Web Services Practices. NWeSP. Aug. 2005: 45- 50.Kavantzas, N., Burdett, D., Ritzinger, G., “Web Services Choreography Description Language Version 1.0”, http://www.w3.org/TR/2004/WD-ws-cdl-10-20040427/, April 2004.

اسلاید 42: 42مراجع(ادامه)Milanovic, N. Malek, M. “Current solutions for Web service composition”, Internet Computing, IEEE, Nov.-Dec. 2004, (51- 59).Orriens, B., Yang, J. and Papazoglou, M.P. (2003a) Orlowska, M.E. et al. (Eds.): “Model Driven Service Composition”, ICSOC, LNCS 2910, Springer-Verlag Berlin Heidelberg, pp.75–90.Orriens, B., Yang, J. and Papazoglou, M.P. (2003b) Jeusfeld, M.A. and Pastor, Ó. (Eds.): “A Framework for Business Rule Driven Web Service Composition”, ER 2003 Workshops, LNCS 2814, Springer-Verlag Berlin Heidelberg 2003, pp.52–64Orriens, B., Yang, J. and Papazoglou, M.P. (2003c) Benatallah, B. and Shan, M-C. (Eds.): “A Framework for Business Rule Driven Service Composition”, TES, LNCS 2819, Springer-Verlag Berlin Heidelberg, pp.14–27“OWL-S: Semantic Markup for Web Services”. David Martin, editor. Technical Overview (associated with OWL-S Release 1.1).Pires, P.F., Benevides, M.R.F. and Mattoso, M. (2003) “Building Reliable Web Services Compositions, Web Databases and Web Services” 2002, LNCS 2593, Springer-Verlag Berlin Heidelberg, pp.59–72.P. Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. “Analysis of Web Services Composition Languages: The Case of BPEL4WS”. In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors, 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200--215. SpringerVerlag, Berlin, 2003.R. Bruni, G. L. Ferrari, H. C. Melgratti, U. Montanari, D. Strollo, E. Tuosto: “From Theory to Practice in Transactional Composition of Web Services”. EPEW/WS-FM 2005R. Chinnici, M. Gudgin, J.-J. Moreau, J. Schlimmer, and S. Weerawarana. “Web Services Description Language (WSDL) 2.0 -- Part 1: Core Language”. W3C Working Draft, August 3, 2004.R. Hamadi and B. Benatallah, “A Petri-Net-Based Model for Web Service Composition”, Proc. 14th Australasian Database Conf. Database Technologies, ACM Press, 2003, pp. 191–200.Schmit, B.A. Dustdar, S, “Towards transactional Web services”, Seventh IEEE International Conference on E-Commerce Technology Workshops, 2005. , July 2005, 12- 20.“Semantic Web Service Ontology (SWSO)”, SWSL Committee, 2005. Available in http://www.daml.org/services/swsl/report/.

اسلاید 43: 43مراجع(ادامه)Sheila McIlraith and Tran Cao Son. “Adapting golog for composition of semantic web services”. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2002.Sheila McIlraith, Tran Cao Son, and Honglei Zeng. “Semantic web services”. IEEE Intelligent Systems, 16(2):46-53, March/April 2001.S. Narayanan and S. McIlraith, “Simulation, Verification and Automated Composition of Web Services”, In the Proceedings of the Eleventh International WWW Conference, Honolulu, Hawaii, USA, May 2002. ACM.Sun, H., Wang, X., Zhou, B. and Zou, P. “Research and Implementation of Dynamic Web Services Composition”, APPT 2003, LNCS 2834, Springer-Verlag Berlin Heidelberg, pp.457–466.Su, S.Y.W., Meng, J., Krithivasan, R., Degwekar, S. and Helal, S. “Dynamic inter-enterprise workflow management in a constraint-based e-service infrastructure”, Electronic Commerce Research, Kluwer Academic Publishers, 2003, Vol. 3, pp.9–24.T. Berners-Lee, J. Hendler, and O. Lassila, “The Semantic Web”. Scientific American, 284(5):34-43, 2001.T. Friese, J. P. Muller and B. Freisleben, Self-Healing Execution of Business Processes Based on a Peer-to-Peer Service Architecture, Systems Aspects in Organic and Pervasive Computing - ARCS 2005.Wang, T. “Towards a transaction framework for contract-driven service-oriented business processes”. In A. Hanemann (Ed.), Proceedings of the IBM PhD Student Symposium at ICSOC 2005 (pp. 43-48).Wu, Dan and Sirin, Evren and Parsia, Bijan and Hendler, James and Nau, Dana. “Automatic Web Services Composition Using SHOP2”. 2003 Z. Maamar, Q. Z. Sheng and B. Benatallah. “Interleaving Web Services Composition and Exectution using Software Agents and Delegation”. In Proc. Workshop on Web Services and Agent-Based Engineering. July 2003