Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach: 56 - Brossura

Montali, Marco

 
9783642145377: Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach: 56
Brossura
ISBN 10: 364214537X ISBN 13: 9783642145377
Casa editrice: Springer-Nature New York Inc, 2010

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Nature New York Inc
Data di pubblicazione
2010
Lingua
Inglese
ISBN 10 
364214537X
ISBN 13 
9783642145377
Rilegatura
Copertina flessibile
Numero di pagine
411
Contatto del produttore
Springer-Verlag GmbH
customerservice@springernature.com

Tiergartenstraße 17
Heidelberg
Baden-Württemberg
69121
Germania

Altre edizioni note dello stesso titolo

9783642145391: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach

Edizione in evidenza

ISBN 10:  3642145396 ISBN 13:  9783642145391
Casa editrice: Springer, 2011
Brossura