Specification and Verification of Declarative Open Interaction Models

Specification and Verification of Declarative Open Interaction Models
Author :
Publisher : Springer Science & Business Media
Total Pages : 416
Release :
ISBN-10 : 9783642145377
ISBN-13 : 364214537X
Rating : 4/5 (77 Downloads)

Book Synopsis Specification and Verification of Declarative Open Interaction Models by : Marco Montali

Download or read book Specification and Verification of Declarative Open Interaction Models written by Marco Montali and published by Springer Science & Business Media. This book was released on 2010-07-30 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 author’s 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.


Specification and Verification of Declarative Open Interaction Models Related Books

Specification and Verification of Declarative Open Interaction Models
Language: en
Pages: 416
Authors: Marco Montali
Categories: Computers
Type: BOOK - Published: 2010-07-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and r
Specification and Verification of Declarative Open Interaction Models
Language: en
Pages: 411
Authors: Marco Montali
Categories: Computers
Type: BOOK - Published: 2011-03-23 - Publisher: Springer

DOWNLOAD EBOOK

Many novel application scenarios and architectures in business process management or service composition are characterized by a distribution of activities and r
Process Mining Handbook
Language: en
Pages: 503
Authors: Wil M. P. van der Aalst
Categories: Business & Economics
Type: BOOK - Published: 2022-06-27 - Publisher: Springer Nature

DOWNLOAD EBOOK

This is an open access book. This book comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in
Declarative Agent Languages and Technologies IX
Language: en
Pages: 163
Authors: Chiaki Sakama
Categories: Computers
Type: BOOK - Published: 2012-03-21 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, hel
Advances and Applications in Model-Driven Engineering
Language: en
Pages: 426
Authors: Díaz, Vicente García
Categories: Computers
Type: BOOK - Published: 2013-08-31 - Publisher: IGI Global

DOWNLOAD EBOOK

As organizations and research institutions continue to emphasize model-driven engineering (MDE) as a first-class approach in the software development process of