Abstract
This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.
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
Governatori, G., Milosevic, Z.: Dealing with contract violations: formalism and domain specific language. In: Proc. of the 9th International Conference on Enterprise Distributed Object Computing, Enschede, The Netherlands (September 2005)
Tag, R., Milosevic, Z., Gibson, S., Kulkarni, S.: Supporting Contract Execution through Recommended Workflows. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 1–12. Springer, Heidelberg (2004)
van den Heuvel, W.-J., Weigand, H.: Cross-Organisational Workflow Integration using Contracts. Decision Support Systems 33(3), 247–265
Linington, P.F.: Automating support for e-business contracts. International Journal of Cooperative Information Systems 14(2&3), 77–98 (2005)
Lee, R.M.: A logic model for electronic contracting. Decision Support Systems 4, 27–44 (1988)
Berry, A., Milosevic, Z.: Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst. 14 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Milosevic, Z., Sadiq, S., Orlowska, M. (2006). Towards a Methodology for Deriving Contract-Compliant Business Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds) Business Process Management. BPM 2006. Lecture Notes in Computer Science, vol 4102. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841760_29
Download citation
DOI: https://doi.org/10.1007/11841760_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38901-9
Online ISBN: 978-3-540-38903-3
eBook Packages: Computer ScienceComputer Science (R0)