دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
دانلود کتاب خدمات وب و روش های رسمی: نهمین کارگاه بین المللی، WS-FM 2012، تالین، استونی، 6-7 سپتامبر 2012، مقالات منتخب اصلاح شده
مشخصات کتاب
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.) سری: Lecture Notes in Computer Science 7843 ISBN (شابک) : 9783642382291, 9783642382307 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 151 [159] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 29,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روش های رسمی: نهمین کارگاه بین المللی، WS-FM 2012، تالین، استونی، 6-7 سپتامبر 2012، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روش های رسمی: نهمین کارگاه بین المللی، WS-FM 2012، تالین، استونی، 6-7 سپتامبر 2012، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی نهمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2012، که در سپتامبر 2012 در تالین، استونی برگزار شد، تشکیل شده است. آنها جنبه هایی مانند مدل سازی و تحلیل سرویس های وب، کشف سرویس و هماهنگی سرویس با روش های رسمی مانند شبکه های BPEL، CSP، Maude و Petri را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
فهرست مطالب
Front Matter....Pages -
Formal Approaches for Synthesis of Web Service Business Protocols....Pages 1-15
Contract-Oriented Services....Pages 16-29
Service Discovery with Cost Thresholds....Pages 30-48
Conformance Checking of Services Using the Best Matching Private View....Pages 49-68
Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes....Pages 69-86
Formal Modeling and Analysis of the REST Architecture Using CSP....Pages 87-102
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications....Pages 103-117
Preference and Similarity-Based Behavioral Discovery of Services....Pages 118-133
Reconfiguration Mechanisms for Service Coordination....Pages 134-149
Back Matter....Pages -
