Constraint-Based Dynamic Conversations

In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose two conversation specification language-independent models - the first based on first-order guarded automata and the latter based on attribute grammars - for describing valid client-server conversations. On the basis of the latter, we also propose a purely XML-based framework for a dynamic monitoring/validation of valid sequences of valid invocation messages.