Specification And Verification Of Declarative Open Interaction Models: A Logic Based Approach 2010