Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/10579

Title: Interaction protocols for cross-organisational workflows
Authors: da Silva, Flavio S.C.
Venero, Mirtha L.F.
David, Diego M.
Saleem, Mohammad
Chung, Paul Wai Hing
Keywords: Cross-organisational workflows
Interaction protocols
Workflow integration
Knowledge-based systems
Hierarchical Petry nets
Issue Date: 2012
Publisher: © Elsevier
Citation: DA SILVA, F.S.C. ... et al, 2012. Interaction protocols for cross-organisational workflows. Knowledge-Based Systems, 37, pp.121–136.
Abstract: 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.
Description: 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
Version: Accepted for publication
DOI: 10.1016/j.knosys.2012.07.023
URI: https://dspace.lboro.ac.uk/2134/10579
Publisher Link: http://dx.doi.org/10.1016/j.knosys.2012.07.023
ISSN: 0950-7051
Appears in Collections:Published Articles (Computer Science)

Files associated with this item:

File Description SizeFormat
xWorkflowsFinal.pdf1.76 MBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.