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.