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

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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Montali, Marco (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Lecture Notes in Business Information Processing, 56
Subjects:
Computer engineering.
Computer networks .
Software engineering.
Computer programming.
Application software.
Computer science.
Computer Engineering and Networks.
Software Engineering.
Programming Techniques.
Computer and Information Systems Applications.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Holdings details from

Similar Items