دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
دانلود کتاب خدمات وب و روش های رسمی: هفتمین کارگاه بین المللی ، WS-FM 2010 ، هوبوکن ، نیویورک ، ایالات متحده آمریکا ، 16 تا 17 سپتامبر 2010. مقالات منتخب اصلاح شده
مشخصات کتاب
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
ویرایش: 1 نویسندگان: Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.) سری: Lecture Notes in Computer Science 6551 : Programming and Software Engineering ISBN (شابک) : 9783642195884, 9783642195891 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 198 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 62,000
کلمات کلیدی مربوط به کتاب خدمات وب و روش های رسمی: هفتمین کارگاه بین المللی ، WS-FM 2010 ، هوبوکن ، نیویورک ، ایالات متحده آمریکا ، 16 تا 17 سپتامبر 2010. مقالات منتخب اصلاح شده: برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، مهندسی نرم افزار، مدیریت محاسبات و سیستم های اطلاعاتی، ذخیره سازی و بازیابی اطلاعات، رابط های کاربری و تعامل انسان با کامپیوتر
در صورت تبدیل فایل کتاب Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب خدمات وب و روش های رسمی: هفتمین کارگاه بین المللی ، WS-FM 2010 ، هوبوکن ، نیویورک ، ایالات متحده آمریکا ، 16 تا 17 سپتامبر 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب خدمات وب و روش های رسمی: هفتمین کارگاه بین المللی ، WS-FM 2010 ، هوبوکن ، نیویورک ، ایالات متحده آمریکا ، 16 تا 17 سپتامبر 2010. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کارگاه آموزشی هفتمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2010، که در شهر هوبوکن، نیوجرسی، ایالات متحده آمریکا، در سپتامبر 2010 برگزار شد، تشکیل شده است. 11 مقاله کامل اصلاح شده ارائه شده همراه با یک مقاله دعوت شده به دقت بررسی و از بین 26 مقاله ارسالی انتخاب شد. مقالات دارای موضوعاتی مانند خدمات وب. محاسبات سرویس گرا؛ پردازش ابری؛ روش های رسمی؛ مشخصات تایید؛ آزمایش کردن؛ و مدیریت فرآیند کسب و کار
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management.
فهرست مطالب
Front Matter....Pages -
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles....Pages 1-24
Simplified Computation and Generalization of the Refined Process Structure Tree....Pages 25-41
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving....Pages 42-55
Passive Testing of Web Services....Pages 56-70
On Lifecycle Constraints of Artifact-Centric Workflows....Pages 71-85
Conformance Verification of Privacy Policies....Pages 86-100
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings....Pages 101-115
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers....Pages 116-130
Soundness-Preserving Refinements of Service Compositions....Pages 131-145
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways....Pages 146-160
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems....Pages 161-175
On Nondeterministic Workflow Executions....Pages 176-190
Back Matter....Pages -
