Abstract
As the importance of workflow languages increases in both commercial and scientific application domains, requirements to verify properties of workflows, and compositions thereof, will start to emerge. A lack of formal foundations for workflow languages means that constructing and reasoning about such compositions is currently an impossible task, thereby limiting the potential for their assured execution within service-oriented contexts. To this end, we present a language with formal foundations to act as an intermediary in facilitating build-time interoperability by the transformation of legacy workflows.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Induruwa-Fernando, S.D., Creager, D.A., Simpson, A.C.: Towards build-time interoperability of workflow definition languages. In: Proc. of the 9th Int’l Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2007)
Oinn, T.M., Addis, M., Ferris, J., Marvin, D., Greenwood, R.M., Carver, T., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics 20(17), 3045–3054 (2004)
Ludäscher, B., Altintas, I., Berkley, C., Higgins, D., Jaeger-Frank, E., Jones, M., Lee, E., Tao, J., Zhao, Y.: Scientific workflow management and the Kepler system: Research articles. Conc. & Comp’n: Practice & Experience 18, 1039–1065 (2006)
Lee, E.A., Neuendorffer, S.: MoML: A Modeling Markup Language in XML, Version 0.4. Technical report, University of California at Berkeley (March 2000)
Smith, S.M.: Fast robust automated brain extraction. Human Brain Mapping 17(3), 143–155 (2002)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall Int’l, Englewood Cliffs (1992)
Woodcock, J.C.P., Davies, J.W.M.: Using Z: Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)
Eshuis, R., Wieringa, R.: A formal semantics for UML activity diagrams - formalising workflow models. Technical report, University of Twente (2001)
Stefansen, C.: SMAWL: A Small Workflow Language based on CCS. In: CAiSE Short Paper Proc. (2005)
Wong, P.Y.H., Gibbons, J.: A Process-Algebraic Approach to W’flow Specification & Refinement. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 51–65. Springer, Heidelberg (2007)
Farrell, A., Sergot, M., Bartolini, C.: Formalising workflow: A CCS-inspired characterisation of the yawl workflow patterns. Group Decision and Negotiation 16(3), 213–254 (2007)
Mendling, J.: Towards an integrated BPM schema. In: Proceedings of the 12th CAiSE Doctoral Consortium (CAiSE DC), pp. 126–133 (2005)
Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.: Translating Standard Process Models to BPEL. In: CAiSE, pp. 417–432 (2006)
van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
van der Aalst, W., ter Hofstede, A.: YAWL: Yet Another Workflow Language. Inf. Systems 30(4), 245–275 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Induruwa Fernando, S.D., Simpson, A.C. (2009). Towards a Formal Framework for Workflow Interoperability. In: Bruni, R., Wolf, K. (eds) Web Services and Formal Methods. WS-FM 2008. Lecture Notes in Computer Science, vol 5387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01364-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-01364-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01363-8
Online ISBN: 978-3-642-01364-5
eBook Packages: Computer ScienceComputer Science (R0)