دانلود کتاب Specification and verification of declarative open interaction models : a logic-based approach – مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق

توضیحات

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and resources, and by complex interaction and coordination dynamics. In this book, Montali answers fundamental questions on open and declarative modeling abstractions via the integration and extension of quite diverse approaches into a computational logic-based comprehensive framework. This framework allows non IT experts to graphically specify interaction models that are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities. The book constitutes a revised and extended version of the authors PhD thesis, which was honored with the 2009 Marco Cadoli prize, awarded by the Italian Association for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between the years 2007 and 2009

————————————————————–

ترجمه ماشینی :

بسیاری از سناریوها و معماری های کاربردی جدید در مدیریت فرآیند کسب و کار یا ترکیب خدمات با توزیع فعالیت ها و منابع، و با تعامل و پویایی هماهنگی پیچیده مشخص می شوند. در این کتاب، مونتالی به سؤالات اساسی در مورد انتزاعات مدل سازی باز و اعلامی از طریق ادغام و گسترش رویکردهای کاملاً متنوع در یک چارچوب جامع مبتنی بر منطق محاسباتی پاسخ می دهد. این چارچوب به متخصصان غیر فناوری اطلاعات اجازه می‌دهد تا مدل‌های تعامل را به صورت گرافیکی مشخص کنند که سپس به طور خودکار به یک نمایش رسمی مربوطه و مجموعه‌ای از صداهای کاملاً خودکار و امکانات تأیید کامل تبدیل می‌شوند. این کتاب نسخه اصلاح شده و توسعه یافته پایان نامه دکترای نویسندگان را تشکیل می دهد که در سال 2009 جایزه مارکو کادولی را دریافت کرد که توسط انجمن ایتالیایی برنامه نویسی منطقی برای برجسته ترین پایان نامه با تمرکز بر منطق محاسباتی که بین سال های 2007 و 2009 مورد بحث قرار گرفت، اعطا شد.

tag : دانلود کتاب مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق , Download مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق , دانلود مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق , Download Specification and verification of declarative open interaction models : a logic-based approach Book , مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق دانلود , buy مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق , خرید کتاب مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق , دانلود کتاب Specification and verification of declarative open interaction models : a logic-based approach , کتاب Specification and verification of declarative open interaction models : a logic-based approach , دانلود Specification and verification of declarative open interaction models : a logic-based approach , خرید Specification and verification of declarative open interaction models : a logic-based approach , خرید کتاب Specification and verification of declarative open interaction models : a logic-based approach ,