Home » Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach by Marco Montali
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach Marco Montali

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

Marco Montali

Published July 30th 2010
ISBN : 9783642145377
Paperback
411 pages
Enter the sum

 About the Book 

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