Articles liés à Specification and Verification of Declarative Open...
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.
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 69,47
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 82,34
Expédition à EUR 14,55
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 5 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 62,65
Expédition à EUR 48,99
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: 56 (Lecture Notes in Business Information Processing)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xxii + 411 2010th edition. N° de réf. du vendeur 263052110
Acheter neuf
EUR 111,88
Expédition à EUR 3,48
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: 56 (Lecture Notes in Business Information Processing)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. xxii + 411 Illus. N° de réf. du vendeur 5844369
Acheter neuf
EUR 112,69
Expédition à EUR 7,57
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni 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 59,48
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 : 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 61,26
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 Marco Montali
Edité par
Springer-Verlag GmbH, 2010
ISBN 10 : 364214537X
ISBN 13 : 9783642145377
Ancien ou d'occasion
Softcover
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : gut. 2010. Specification and Verification of Declarative Open Interaction Models In deutscher Sprache. pages. N° de réf. du vendeur BN485698
Acheter D'occasion
EUR 179,95
Expédition à EUR 39,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)