دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
دانلود کتاب سرویس های وب و روش های رسمی: کارگاه سوم بین المللی، WS-FM 2006 وین، اتریش، 8-9 سپتامبر 2006. مقالات
مشخصات کتاب
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ویرایش: [1 ed.] نویسندگان: W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.) سری: Lecture Notes in Computer Science 4184 : Programming and Software Engineering ISBN (شابک) : 3540388621, 9783540388623 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 289 [296] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سرویس های وب و روش های رسمی: کارگاه سوم بین المللی، WS-FM 2006 وین، اتریش، 8-9 سپتامبر 2006. مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سرویس های وب و روش های رسمی: کارگاه سوم بین المللی، WS-FM 2006 وین، اتریش، 8-9 سپتامبر 2006. مقالات
این کتاب مجموعه مقالات داوری سومین کارگاه بین‌المللی خدمات وب و روش‌های رسمی، WS-FM 2006، در وین، اتریش در سپتامبر 2006 همراه با چهارمین کنفرانس بین‌المللی مدیریت فرآیند کسب‌وکار، BPM 2006 برگزار شد. /P>
15 مقاله کامل اصلاح شده ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 40 مقاله ارسالی انتخاب شدند. موضوعات اصلی عبارتند از: پروتکل ها و استانداردهای WS (SOAP، WSDL، UDDI، و غیره). زبان‌ها و روش‌های توصیف برای Coreography/Orchestration/Workflow (BPML، XLANG و BizTalk، WSFL، WS-BPEL، و غیره)؛ تکنیک های هماهنگی برای WS (معاملات، توافقنامه، خدمات هماهنگی و غیره)؛ خدمات کشف پویا WS مبتنی بر معناشناسی (بر اساس تکنیک‌های وب معنایی/ هستی‌شناسی یا سایر نظریه‌های معنایی). امنیت، ارزیابی عملکرد و کیفیت خدمات WS؛ داده های نیمه ساختار یافته و فناوری های مرتبط با XML.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in Vienna, Austria in September 2006 in conjunction with the Fourth International Conference on Business Process Management, BPM 2006.
The 15 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 40 submissions. The main topics of include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies.
