Towards a methodology for deriving contract-compliant business processes

Authors:
Zoran Milosevic;Shazia Sadiq;Maria Orlowska
Affiliations:
School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia;School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia
Venue:
BPM'06 Proceedings of the 4th international conference on Business Process Management
Year:
2006

Citing 3
Cited 3

A logic model for electronic contracting

Decision Support Systems
Cross-organizational workflow integration using contracts

Decision Support Systems - Special issue: Formal modeling and electronic commerce
Dealing with contract violations: formalism and domain specific language

EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference

Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue

Information Systems Frontiers
Safe distribution of declarative processes

SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Declarative modelling and safe distribution of healthcare workflows

FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems

Quantified Score

Hi-index	0.00

Visualization

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.