2134/10579
Flavio S.C. da Silva
Flavio S.C.
da Silva
Mirtha L.F. Venero
Mirtha L.F.
Venero
Diego M. David
Diego M.
David
Mohammad Saleem
Mohammad
Saleem
Paul Chung
Paul
Chung
Interaction protocols for cross-organisational workflows
Loughborough University
2012
Cross-organisational workflows
Interaction protocols
Workflow integration
Knowledge-based systems
Hierarchical Petry nets
Information and Computing Sciences not elsewhere classified
2012-10-05 11:50:53
Journal contribution
https://repository.lboro.ac.uk/articles/journal_contribution/Interaction_protocols_for_cross-organisational_workflows/9401858
Workflow technologies are widely used in industry and commerce to assist in the specification, execution and completion of well defined processes within organisations. As industrial and commercial relations have evolved, based on advances on information and communications technologies, cross-organisational workflow integration has become an important issue. Since organisations can have very different workflows, the creation of compatible workflows so that organisations can collaborate and/or carry out mutual transactions automatically in an integrated fashion can be a very complex and time consuming process. As a consequence, the development of technologies to support the creation and execution of compatible workflows is a most relevant issue. In the present article we introduce the JamSession coordination platform as a tool to implement cross-organisational workflow integration. JamSession is declarative and based on algebraic specification methods, and therefore workflow integration implemented using this platform can profit from formal behavioural analysis, based on which desired features and properties can be verified and/or obtained.