: The paper presents a toolkit for the design and the interactive validation of message-based document exchange within the context of multi-partner electronic business transactions...
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...