Loughborough University
xWorkflowsFinal.pdf (1.72 MB)
Download file

Interaction protocols for cross-organisational workflows

Download (1.72 MB)
journal contribution
posted on 2012-10-05, 11:50 authored by Flavio S.C. da Silva, Mirtha L.F. Venero, Diego M. David, Mohammad Saleem, Paul Chung
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.



  • Science


  • Computer Science


DA SILVA, F.S.C. ... et al, 2012. Interaction protocols for cross-organisational workflows. Knowledge-Based Systems, 37, pp.121–136.


© Elsevier


  • AM (Accepted Manuscript)

Publication date



This is the author’s version of a work that was accepted for publication in the journal Knowledge-Based Systems [© Elsevier]. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published at: http://dx.doi.org/10.1016/j.knosys.2012.07.023




  • en