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

• Κύριος συγγραφέας: Montali, Marco (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Business Information Processing, 56
• Θέματα: 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...