دانلود کتاب Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی، WS-FM 2011، کلرمون-فران، فرانسه، 1-2 سپتامبر 2011، مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی، WS-FM 2011، کلرمون-فران، فرانسه، 1-2 سپتامبر 2011، مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
نام کتاب : Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : خدمات وب و روش های رسمی: هشتمین کارگاه بین المللی، WS-FM 2011، کلرمون-فران، فرانسه، 1-2 سپتامبر 2011، مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 5387
نویسندگان : Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 151
ISBN (شابک) : 9783642013645 , 3642013643
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پس از داوری کامل هشتمین کارگاه بین المللی خدمات وب و روش های رسمی، WS-FM 2011، در شهر کلرمون-فران، فرانسه، در سپتامبر 2011 برگزار شد. این کارگاه با نهمین دوره برگزار شد. کنفرانس بین المللی مدیریت فرآیند کسب و کار، BPM 2011. 9 مقاله کامل ارائه شده به دقت بررسی و از 14 مورد ارسالی انتخاب شدند. آنها با محاسبات سرویس گرا (SOC)، محاسبات ابری و روش های رسمی سروکار دارند.
فهرست مطالب :
Front Matter....Pages -
Understanding Distributed Services through the π -Calculus....Pages 1-1
Reliable Contracts for Unreliable Half-Duplex Communications....Pages 2-16
Behavior Based Service Composition....Pages 17-31
Compatibility of Data-Centric Web Services....Pages 32-47
Time and Exceptional Behavior in Multiparty Structured Interactions....Pages 48-63
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations....Pages 64-78
An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework....Pages 79-94
Design of a BPEL Verification Tool....Pages 95-110
Applying Process Analysis to the Italian eGovernment Enterprise Architecture....Pages 111-127
Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures....Pages 128-142
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.
پست ها تصادفی