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

• Main Author: Montali, Marco (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Business Information Processing, 56
• Subjects: Computer science.; Software engineering.; Computer programming.; Computer logic.; Computer engineering.; Computer Science.; Computer Engineering.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Information Systems Applications (incl. Internet).; Logics and Meanings of Programs.; Software Engineering.

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