Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach - Couverture souple
Synopsis
Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Specification and Verification of Declarative Open...
Image d'archives
Specification and Verification of Declarative Open Interaction Models (Paperback)
Edité par
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : 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. N° de réf. du vendeur 9783642145377
Acheter neuf
EUR 68,16
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification and Verification of Declarative Open Interaction Models: A Logic-based Approach
Edité par
Springer-Verlag New York Inc, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 411 pages. 9.25x6.00x0.75 inches. In Stock. N° de réf. du vendeur x-364214537X
Acheter neuf
EUR 80,57
Expédition à EUR 14,33
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Specification and Verification of Declarative Open Interaction Models
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 . N° de réf. du vendeur 5050543
Acheter neuf
EUR 64,08
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 3 disponible(s)
Image fournie par le vendeur
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Edité par
Springer, Berlin, Springer, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783642145377
Acheter neuf
EUR 79,32
Expédition à EUR 63,29
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Hervorragend. Zustand: Hervorragend | Seiten: 411 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 8219652/1
Acheter D'occasion
EUR 51,50
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 411 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. N° de réf. du vendeur 8219652/12
Acheter D'occasion
EUR 51,50
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)