دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zhao (auth.), Marlon Dumas, Reiko Heckel (eds.) سری: Lecture Notes in Computer Science 4937 ISBN (شابک) : 9783540792291, 9783540792307 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 177 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب خدمات وب و روشهای رسمی: چهارمین کارگاه بین المللی، WS-FM 2007، بریزبن، استرالیا، 28-29 سپتامبر 2007. مجموعه مقالات: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب 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 است که در بریزبن، استرالیا، در سپتامبر 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 -