More Web Proxy on the site http://driver.im/

Article

Pro-active monitoring of electronic contracts

Authors:

Manfred A. JeusfeldAuthors Info & Claims

CAiSE'03: Proceedings of the 15th international conference on Advanced information systems engineering

Pages 584 - 600

Published: 16 June 2003 Publication History

Abstract

Contracts between multiple business partners play an increasing role in a global economy where activities along the value chain are executed by independent yet co-operating companies. Information technology to enact a value chain is now being deployed in the form of ERP systems and Web services. However, there is little known how to formally check whether such an enactment is indeed fulfilling the contract between the parties. In this paper, we investigate which parts of a contract can be formalized to be automatically monitored. Our approach not only supports the detection of actual violations but also proactive detection of imminent contract violations.

References

[1]

Abrahams A. An asynchronous rule-based approach for business process automation using obligations. the 3rd ACM SIGPLAN Workshop on Rule-Based Programming (RULE'02), Pittsburgh, USA, 2002.

Digital Library

[2]

Meyer B. Building bug-free oo software: An introduction to design by contract. http://www.eiffel.com/doc/manuals/technology/contract/.

[3]

Meyer B. Object-Oriented Software Construction 2nd Edition. Prentice Hall, 1997.

Digital Library

[4]

IBM Corporation. Websphere. 2002. http://www-3.ibm.com/software/info1/websphere/index.jsp.

[5]

Klein J. Leymann F. Roller D. Thatte S. Curbera F., Goland Y. and Weerawarana S. Business process execution language for web services.

[6]

Dias D.M. Parr F.N. Kearney R. Sachs M.W. Lau T.C. Dan A., Nguyen T.N. and Shaikh H.H. Business-to-business integration with tpaml and a business-tobusiness protocol framework. Springer-Verlag, Lecture Notes in AI, 2000.

[7]

Dimitrako T. Daskalopulu A. and Maibaum T. Evidence-based electronic contract performance monitoring. INFORMS Journal of Group Decision and Negotiation, Special Issue: formal Modeling of Electronic Commerce, 2002.

[8]

Dimitrakos T. Daskalopulu A. and Maibaum T. S. E. E-contract fulfillment and agents' attitudes. Proceedings ERCIM WG E-Commerce Workshop on The Role of Trust in e-Business, 2001.

[9]

Leymann F. Web service flow language.

[10]

Organization for the Advancement of Structured Information Standards (OASIS). Oasis ebxml collaboration-protocol profile and agreement specification version 2.0. 2002.

[11]

Schopp B Greunz M and Stanoevska-Slabeva K. Supporting market transactions through xml contracting containers. Proceedings of the Sixth Americas Conference on Information Systems (AMCIS 2000). Long Beach, CA, 2000.

[12]

Weigand H. and Xu L. Contracts in e-commerce. 9th IFIP 2.6 Working Conference on Database Semantic Issues in E-Commerce Systems (DS-9), 2001.

Digital Library

[13]

Desel J. and Esparza J. Free Choice Petri Nets. Cambridge University Press, 1995.

Digital Library

[14]

Meyer J. and Wieringa R. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, 1993.

Digital Library

[15]

Chiu D. Kafeza E. and Kafeza I. View-based contracts in an e-service crossorganizational workflow environment. Proceedings of the second International Workshop on Technologies for E-Service(TES'01), 2001.

Digital Library

[16]

Grefen P Koetsier M. and Vonk. Cross-organisational/workflow: Crossflow esprite/ 28635 contract model, deliverable d4b. 1999.

[17]

Cohen P Kumar, S. Towards a fault-tolerant multi-agent system architecture. In Proceedings of The Fourth International Conference on Autonomous Agents (Agents 2000), ACM Press, pp. 459-466., 2000.

Digital Library

[18]

Austin J. L. How to do things with words. 2nd Edition. Oxford University Press, 1976.

[19]

Xu L. Car insurance case. Research Paper, Tilburg University.

[20]

Xu L. Agent-based monitorable contract. Research Paper, Tilburg University, 2002.

[21]

Xu L. and Jeusfeld M. A. A concept for monitoring of electronic contracts, research paper, tilburg university. http://infolab.uvt.nl/pub/itrs/itrs010.pdf.

[22]

Venkatraman M. and Singh M. P. Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems. volume 2, number 3.

Digital Library

[23]

Andrews G.M.T. Beckman B. Klein J. Mital A. Mehta B., Levy M. Biztalk service 2000 business process orchestration. International Conference on Data Engineering (ICDE'02).

[24]

Bond A. Milosevic Z., Berry A. and Raymond K. Supporting business contracts in open distributed systems. 2nd International Workshop on Services in Distributed and Networked Environments,(SDNE'95) Whistler, Canada, 1995.

Digital Library

[25]

Dimitrakos T. Milosevic Z., Jøsang A and Patton M.A. Discretionary enforcement of electronic contracts. Proceedings of EDOC'2000. IEEE Comp. Soc. Press, 2002.

Digital Library

[26]

Sierra C. Norman T.J. and Jennings N.R. Rights and commitments in multiagent agreements. Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS-98). Paris, France, 1998.

Digital Library

[27]

Singh M. P. A customizable coordination service for autonomous agents. International Workshop on Agent Theories, Architectures, and Languages (ATAL).

Digital Library

[28]

Singh M. P. Developing formal specifications to coordinate heterogeneous autonomous agents. Proceedings of the International Conference on Multiagent Systems (ICMAS).

Digital Library

[29]

Singh M. P. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems. volume 3, number 2.

Digital Library

[30]

CrossFlow Project. Insurance requirements. CrossFlow consortium.

[31]

Cohen P. R. and Levesque H. J. Communicative actions for artificial agents. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), pages 65-72, San Francisco, CA, USA, 1995. The MIT Press: Cambridge, MA, USA.

[32]

Lee R. Towards open electronic contracting. Electronic Markets, Vol. 8, No. 3, 10/98.

[33]

Searle J. R. Speech acts: An essay in the philosophy of language. Cambridge University Press, 1969.

[34]

Searle J. R. and Vanderveken D. Foundations of Illocutionary Logic. Cambridge University Press, 1985.

[35]

Wellman M. P Reeves D. M., Grosof B. N. and Chan H. Toward a declarative language for negotiating executable contracts. In Proceedings of the AAAI-99 Workshop on Artificial Intelligence in Electronic Commerce (AIEC-99), Menlo Park, CA, USA, 1999.

[36]

Kimbrough S. Reasoning about the objects of attitudes and operators: Towards a disquotation theory for the representation of prepositional content. Eight International Conference on Artificial Intelligence and the Law (ICAIL 2001), 2001.

Digital Library

[37]

Kimbrough S. and Moore S. On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity. ACM Transactions on Information Systems. 15(4). ACM Press. New York, NY. pp. 321- 367, 1997.

Digital Library

[38]

Moore S. Kqml and flbc: Contrasting agent communication languages. International Journal of Electronic Commerce 5(1), 2000.

Digital Library

[39]

Thatte S. Xlang web services for business process design.

[40]

Jøsang A. A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 9(3), pp. 279-311, 2001.

Digital Library

[41]

Reisig V. A primer in Petri net design. Springer-Verlag, 1992.

Digital Library

[42]

von Wright G. Deontic logic. Mind, 1951.

[43]

Verharen E. Weigand H., Dignum F. Dynamic business models as a basis for interoperable transaction design. Information Systems, 1997.

Digital Library

[44]

Tan Y.H. and Thoen W. A logical model of directed obligations and permissions to support electronic contracting in electronic commerce. International Journal of Electronic Commerce (IJEC). 3(2). pp. 87-104.

Digital Library

[45]

Milosevic Z. Enterprise Aspects of Open Distributed Systems. PhD Thesis, pp. 154-248. Department of Computer Science, University of Queensland, 1995.

Cited By

Nota GAiello RCarvello RVisaggio GCaivano DOivo M(2011)Modeling the reconciliation process for stakeholder diverging project viewsProceedings of the 12th International Conference on Product Focused Software Development and Process Improvement10.1145/2181101.2181128(128-134)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2181101.2181128
Meneguzzi FMiles SLuck MHolt CSmith M(2008)Electronic contracting in aircraft aftercareProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track10.5555/1402795.1402807(63-70)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402795.1402807
Oren NNorman TPreece A(2007)Argumentation based contract monitoring in uncertain domainsProceedings of the 20th international joint conference on Artifical intelligence10.5555/1625275.1625507(1434-1439)Online publication date: 6-Jan-2007
https://dl.acm.org/doi/10.5555/1625275.1625507
Show More Cited By

Recommendations

Electronic Signatures for B2B Contracts: Evidence from Australia
Run-Time Monitoring of Electronic Contracts
ATVA '08: Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Electronic inter-organizational relationships are governed by contracts regulating their interaction, therefore it is necessary to run-time monitor the contracts, as to guarantee their fulfillment. The present work shows how to obtain a run-time ...
From Contracts to E-Contracts: Modeling and Enactment

Contracts are complex to understand, represent and process electronically. Usually, contracts involve various entities such as parties, activities and clauses. An e-contract is a contract modeled, specified, executed and enacted (controlled and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

CAiSE'03: Proceedings of the 15th international conference on Advanced information systems engineering

June 2003

739 pages

ISBN:3540404422

Editors:
Johann Eder
Universitäat Klagenfurt, Institut für Informatik-Systeme, Klagenfurt, Austria
,
Michele Missikoff
Istituto di Analisi dei Sistemi ed Informatica - CNR, Roma, Italy

Sponsors

S-Innovationscenter
LEKS, IASI-CNR
Silicon Alps
Universität Klagenfurt
Sun Microsystems, Inc.
Siemens AG Austria

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 16 June 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Nota GAiello RCarvello RVisaggio GCaivano DOivo M(2011)Modeling the reconciliation process for stakeholder diverging project viewsProceedings of the 12th International Conference on Product Focused Software Development and Process Improvement10.1145/2181101.2181128(128-134)Online publication date: 20-Jun-2011
https://dl.acm.org/doi/10.1145/2181101.2181128
Meneguzzi FMiles SLuck MHolt CSmith M(2008)Electronic contracting in aircraft aftercareProceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track10.5555/1402795.1402807(63-70)Online publication date: 12-May-2008
https://dl.acm.org/doi/10.5555/1402795.1402807
Oren NNorman TPreece A(2007)Argumentation based contract monitoring in uncertain domainsProceedings of the 20th international joint conference on Artifical intelligence10.5555/1625275.1625507(1434-1439)Online publication date: 6-Jan-2007
https://dl.acm.org/doi/10.5555/1625275.1625507
Krishna PKarlapalem K(2007)Active meta modeling support for evolving e-contractsTutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 8310.5555/1386957.1386973(103-108)Online publication date: 1-Nov-2007
https://dl.acm.org/doi/10.5555/1386957.1386973
Jurca RFaltings BBinder WWilliamson CZurko MPatel-Schneider PShenoy P(2007)Reliable QoS monitoring based on client feedbackProceedings of the 16th international conference on World Wide Web10.1145/1242572.1242708(1003-1012)Online publication date: 8-May-2007
https://dl.acm.org/doi/10.1145/1242572.1242708
Oren NPreece ANorman T(2006)A simple argumentation based contract enforcement mechanismProceedings of the 10th international conference on Cooperative Information Agents10.1007/11839354_25(347-359)Online publication date: 11-Sep-2006
https://dl.acm.org/doi/10.1007/11839354_25
Xu LJeusfeld MGrefen P(2005)Detection tests for identifying violators of multi-party contractsACM SIGecom Exchanges10.1145/1120680.11206845:3(19-28)Online publication date: 1-Apr-2005
https://dl.acm.org/doi/10.1145/1120680.1120684
Krishna PKarlapalem KDani A(2005)From Contracts to E-ContractsInformation Technology and Management10.1007/s10799-005-3901-z6:4(363-387)Online publication date: 1-Oct-2005
https://dl.acm.org/doi/10.1007/s10799-005-3901-z
Jurca RFaltings B(2005)Reputation-Based service level agreements for web servicesProceedings of the Third international conference on Service-Oriented Computing10.1007/11596141_30(396-409)Online publication date: 12-Dec-2005
https://dl.acm.org/doi/10.1007/11596141_30
Xu LBrinkkemper S(2005)Modeling multi-party web-based business collaborationsProceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems10.1007/11575863_108(866-875)Online publication date: 31-Oct-2005
https://dl.acm.org/doi/10.1007/11575863_108
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten