Using motivation and choreography to model distributed workflow

  • Authors:

  • Ashley McNeile

  • Affiliations:

  • Metamaxim Ltd., Brunswick Gardens, London, U.K.

  • Venue:
  • Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

We describe an approach to modeling the design of distributed interactive workflow based on the combining the ideas of modeling motivation and choreography. We use the concept of motivation to differentiate between actions that are solicited by the workflow and actions that are not, and happen spontaneously. We recap on a previously described analysis technique that can verify that a local (non-distributed) workflow modeled in this way is bound to progress to a business completion in finite time. We use a choreography to model distributed behavior where multiple participants communicate using asynchronous message exchange. We show how choreography and motivation can be combined in a single model to represent a distributed colllaborative workflow. We show that the analysis technique for guaranteed completion can be extended to distributed workflow by applying it separately to each participant and to the choreography. We compare our work with other approaches to modeling workflow, and show that modeling motivation supports better analysis of progress and completion where actions can both be solicited and happen spontaneously.