Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach: 56 (Lecture Notes in Business Information Processing, 56) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Specification and Verification of Declarative Open...
Stock Image
Specification and Verification of Declarative Open Interaction Models (Paperback)
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364214537X
ISBN 13: 9783642145377
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783642145377
Stock Image
Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach
Published by
Springer-Verlag New York Inc, 2010
ISBN 10: 364214537X
ISBN 13: 9783642145377
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 411 pages. 9.25x6.00x0.75 inches. In Stock. Seller Inventory # x-364214537X
Buy New
£ 67.87
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Specification and Verification of Declarative Open Interaction Models
Published by
Springer Berlin Heidelberg, 2010
ISBN 10: 364214537X
ISBN 13: 9783642145377
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. This book answers fundamental questions on open and declarative modeling abstractions Via the integration and extension of quite diverse approaches into a computational logic-based comprehensive frameworkThe book is a revision and extension of the author s . Seller Inventory # 5050543
Seller Image
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Published by
Springer, Berlin, Springer, 2010
ISBN 10: 364214537X
ISBN 13: 9783642145377
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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. Seller Inventory # 9783642145377
Stock Image
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 411 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 8219652/1
Stock Image
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 411 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 8219652/12