Modeling service interaction patterns

摘要

Collaboration between business processes is an important aspect for modern process applications. Interaction lays the foundation for collaboration, and a set of recurring interaction types is used to provide as service interaction patterns. This paper discusses formal representations and reaction analyses of service interaction patterns based on bigraphs for CCS. The results show that the patterns can be represented, and some advanced features of bigraphs are introduced into formalizations.