دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
دانلود کتاب خدمات وب و روشهای رسمی: پنجمین کارگاه بین المللی ، WS-FM 2008 ، میلان ، ایتالیا ، 4 تا 4 سپتامبر 2008 ، مقالات بازنگری شده
مشخصات کتاب
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
ویرایش: 1 نویسندگان: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.) سری: Lecture Notes in Computer Science 5387 : Programming and Software Engineering ISBN (شابک) : 9783642013638, 3642013635 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 250 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب خدمات وب و روشهای رسمی: پنجمین کارگاه بین المللی ، WS-FM 2008 ، میلان ، ایتالیا ، 4 تا 4 سپتامبر 2008 ، مقالات بازنگری شده: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، مدل ها و اصول
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روشهای رسمی: پنجمین کارگاه بین المللی ، WS-FM 2008 ، میلان ، ایتالیا ، 4 تا 4 سپتامبر 2008 ، مقالات بازنگری شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روشهای رسمی: پنجمین کارگاه بین المللی ، WS-FM 2008 ، میلان ، ایتالیا ، 4 تا 4 سپتامبر 2008 ، مقالات بازنگری شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی پنجمین کارگاه بین‌المللی خدمات وب و روشهای رسمی، WS-FM 2008 است که در سپتامبر 2008 در میلان ایتالیا و همزمان با ششمین کنفرانس بین‌المللی درباره مدیریت فرآیند کسب و کار، BPM 2008.
13 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله دعوت شده به دقت بررسی و از بین 39 مورد ارسالی انتخاب شدند. مقالات دارای موضوعاتی مانند تجزیه و تحلیل، آزمون و تأیید هستند. رقص و محاسبات پردازش؛ معاملات و قابلیت همکاری؛ گردش کار و شبکه های پتری.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.
The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
فهرست مطالب
Front Matter....Pages -
On the Expressive Power of Process Interruption and Compensation....Pages 1-18
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets....Pages 19-36
Contract Compliance and Choreography Conformance in the Presence of Message Queues....Pages 37-54
Verification of Choreographies During Execution Using the Reactive Event Calculus....Pages 55-72
RESTful Petri Net Execution....Pages 73-87
Validation and Discovery of Non-deterministic Semantic e-Services....Pages 88-106
Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis....Pages 107-126
Refactoring Long Running Transactions....Pages 127-142
On-The-Fly Model-Based Testing of Web Services with Jambition....Pages 143-157
Towards a Formal Framework for Workflow Interoperability....Pages 158-174
Security Types for Sessions and Pipelines....Pages 175-190
Why Does My Service Have No Partners?....Pages 191-206
Proof Techniques for Adapter Generation....Pages 207-223
Efficient Controllability Analysis of Open Nets....Pages 224-239
Back Matter....Pages -
