ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

دانلود کتاب خدمات وب و روشهای رسمی: چهارمین کارگاه بین المللی، WS-FM 2007، بریزبن، استرالیا، 28-29 سپتامبر 2007. مجموعه مقالات

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

مشخصات کتاب

Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

ویرایش: 1 
نویسندگان: , , , , ,   
سری: Lecture Notes in Computer Science 4937 
ISBN (شابک) : 9783540792291, 9783540792307 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 177 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 34,000



کلمات کلیدی مربوط به کتاب خدمات وب و روشهای رسمی: چهارمین کارگاه بین المللی، WS-FM 2007، بریزبن، استرالیا، 28-29 سپتامبر 2007. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، مدیریت سیستم های محاسباتی و اطلاعاتی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب خدمات وب و روشهای رسمی: چهارمین کارگاه بین المللی، WS-FM 2007، بریزبن، استرالیا، 28-29 سپتامبر 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب خدمات وب و روشهای رسمی: چهارمین کارگاه بین المللی، WS-FM 2007، بریزبن، استرالیا، 28-29 سپتامبر 2007. مجموعه مقالات



این کتاب مجموعه مقالات پس از کارگاه آموزشی چهارمین کارگاه بین‌المللی خدمات وب و روش‌های رسمی، WS-FM 2007 است که در بریزبن، استرالیا، در سپتامبر 2007 و همزمان با پنجمین کنفرانس بین‌المللی درباره مدیریت فرآیند کسب و کار، BPM 2007.

9 مقاله کامل اصلاح شده ارائه شده همراه با 2 مقاله دعوت شده به دقت بررسی و از بین 22 مورد ارسالی انتخاب شدند. این مقالات به کاربرد روش‌های رسمی و تکنیک‌های استدلال در فناوری خدمات وب و نظریه‌های رسمی الهام‌گرفته از تحولات در زمینه خدمات وب می‌پردازند. این مقالات دارای موضوعاتی مانند تجزیه و تحلیل و طراحی سرویس‌محور، رویکردهای رسمی به مدل‌سازی سازمانی و مدل‌سازی فرآیند کسب‌وکار، توسعه مدل‌محور، آزمایش و تجزیه و تحلیل خدمات وب، خدمات وب برای مدیریت فرآیند کسب‌وکار، امنیت، عملکرد و کیفیت وب هستند. خدمات، هماهنگی و تراکنش‌های سرویس وب، هستی‌شناسی‌های سرویس وب و توصیف معنایی، کشف و ترکیب سرویس‌های وب مبتنی بر هدف، پردازش رویدادهای پیچیده در معماری‌های سرویس‌گرا، و همچنین مدیریت داده‌های نیمه ساختاریافته و فناوری XML.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Web Services and Formal Methods, WS-FM 2007, held in Brisbane, Australia, in September 2007 in conjunction with the 5th International Conference on Business Process Management, BPM 2007.

The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The papers address the application of formal methods and reasoning techniques to Web service technology, and formal theories inspired by developments in the field of Web services. The papers feature topics such as service-oriented analysis and design, formal approaches to enterprise modeling and business process modeling, model-driven development, testing, and analysis of Web services, Web services for business process management, security, performance and quality of Web services, Web service coordination and transactions, Web service ontologies and semantic description, goal-driven discovery and composition of Web services, complex event processing in service-oriented architectures, as well as semi-structured data management and XML technology.



فهرست مطالب

Front Matter....Pages -
Towards a Theory of Web Service Choreographies....Pages 1-16
Controlling Petri Net Process Models....Pages 17-30
Extending Model Checking to Data-Aware Temporal Properties of Web Services....Pages 31-45
Analyzing BPEL4Chor: Verification and Participant Synthesis....Pages 46-60
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers....Pages 61-76
A Feature-Complete Petri Net Semantics for WS-BPEL 2.0....Pages 77-91
From BPEL to SRML: A Formal Transformational Approach....Pages 92-107
Modeling Web Service Interactions Using the Coordination Language Reo....Pages 108-123
Synthesis of Web Services Orchestrators in a Timed Setting....Pages 124-138
From Public Views to Private Views – Correctness-by-Design for Services....Pages 139-153
Event Structure Semantics of Orc....Pages 154-168
Back Matter....Pages -




نظرات کاربران