Formal Semantics for Modeling Collaborative Business Processes based on Interaction Protocols
In collaborative networks consisting of tightly collaborating organizations, collaborative business processes (CBPs) are expected to conduct the collabo-ration behavior among organizations. Although languages for CBPs emerged from the industry and academic sides, not much effort has been put to add formal semantics to the constructs of the languages to reason on structural aspects of CBP models. In particular, the UP-ColBPIP language supports the modeling of collaborative business processes in terms of interaction proto-cols, which describes a choreography of business messages based on speech acts. This paper presents an approach to add formal semantics to the UP-ColBPIP language, by defining an OntoUML conceptual model of the con-structs that allows modeling CBPs as interaction protocols. The formal se-mantics of the constructs of UP-ColBPIP enables the definition of design guidelines and the development of techniques for the structural analysis of CBP models represented in terms of interaction protocols. Finally, the work depicts an OWL ontology implementing the proposed conceptual model, with the purpose of answering queries about the messages based on speech acts as well as other structural aspects of CBP models.