Hundreds of Mathematics books at half price + FREE shipping! Get yours now >>

Lecture Notes in Business Information Processing

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Authors: Montali, Marco

  • Answers fundamental questions on open and declarative modeling abstractions via the integration and extension of diverse approaches into a computational logic-based comprehensive framework
  • Presents a revised and expanded version of the author's PhD thesis, which was honored with the 2009 "Marco Cadoli" prize, awarded by the Italian Association for Logic Programming
Show all benefits

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-14538-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-14537-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

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.

Table of contents (17 chapters)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-642-14538-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-642-14537-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Specification and Verification of Declarative Open Interaction Models
Book Subtitle
A Logic-Based Approach
Authors
Series Title
Lecture Notes in Business Information Processing
Series Volume
56
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-14538-4
DOI
10.1007/978-3-642-14538-4
Softcover ISBN
978-3-642-14537-7
Series ISSN
1865-1348
Edition Number
1
Number of Pages
XXII, 411
Number of Illustrations and Tables
97 b/w illustrations
Topics