Specification and Verification of Declarative Open Interaction Models

Name: Specification and Verification of Declarative Open Interaction Models
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642145377
Price: 243.64 PLN
Availability: InStock

A Logic-Based Approach

Autor: Marco Montali

Język:

Oprawa: Miękka

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

243.64 zł

Many novel application scenarios and architectures in business process management or service composi...

Informacje o książce

Autor

Marco Montali

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2010

strony

411

EAN

9783642145377

ISBN

364214537X

Enbook ID

01656286

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

655

Wymiary

155 x 238 x 33

Pełny opis

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 which are then automatically transformed into a corresponding formal representation and a set of fully automated sound and complete verification facilities.§The book is a revision and extension of the author s PhD thesis, which was honored with the 2009 Marco Cadoli prize, awarded by the Italian Association for Logic Programming to the most outstanding thesis focused on Computational Logic and discussed between 2007 and 2009.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Specification and Verification of Declarative Open Interaction Models

A Logic-Based Approach

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również