Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

By:

Marco Montali

Format:

Paperback / softback

Series:

Lecture Notes in Business Information Processing

Show Hide Adult Content

$139.99

RRP:: ~~$199.95~~ save $59.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 4-14 June using International Courier

Description

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.

Release date Australia

July 30th, 2010

Author

Marco Montali

Audience

Professional & Vocational

Illustrations

97 Illustrations, black and white; XXII, 411 p. 97 illus.

Pages

411

Series

Lecture Notes in Business Information Processing

Dimensions

155x234x23

ISBN-13

9783642145377

Product ID

7751842

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Specification and Verification of Declarative Open Interaction Models

By:

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Get free delivery, exclusive deals, and more^*