Towards a methodology for deriving contract-compliant business processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 395-400

  Milosevic, Zoran ^a,b   Sadiq, Shazia ^a   Orlowska, Maria ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b Deontik Pty Ltd   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTATIONAL METHODS; CONTRACTS; INTERNATIONAL COOPERATION; MATHEMATICAL MODELS;

BUSINESS PROCESS; CONTRACT ANALYSIS TOOLS; FORMAL MODELS;

PROCESS ENGINEERING;

EID: 33750000932     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_29     Document Type: Conference Paper

References (6)

1. G. Governatori, Z. Milosevic, Dealing with contract violations: formalism and domain specific language Proc. of the 9th International Conference on Enterprise Distributed Object Computing, Enschede, The Netherlands, Sep. 2005
2. R. Tag, Z. Milosevic, S. Gibson, S. Kulkarni, Supporting Contract Execution through Recommended Workflows, DEXA04 Conference., Zaragoza, Spain, Sept. 2004.
3. W-Jan van den Heuvel, H. Weigand, Cross-Organisational Workflow Integration using Contracts, Decision Support Systems, 33(3): p. 247-265
4. P. F. Linington, Automating support for e-business contracts, International Journal of Cooperative Information Systems, 14(2&3):77-98, September 2005
5. R.M. Lee. A logic model for electronic contracting. Decision Support Systems, 4:27-44, 1988
6. A. Berry and Z. Milosevic. Extending choreography with contract constraints. Int. J. of Cooperative Inf. Syst., 14, 2005.