{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:46:23Z","timestamp":1742388383790},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45017-3_39","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T02:27:42Z","timestamp":1187144862000},"page":"584-600","source":"Crossref","is-referenced-by-count":27,"title":["Pro-active Monitoring of Electronic Contracts"],"prefix":"10.1007","author":[{"given":"Lai","family":"Xu","sequence":"first","affiliation":[]},{"given":"Manfred A.","family":"Jeusfeld","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Abrahams A. An asynchronous rule-based approach for business process automation using obligations. the 3rd ACM SIGPLAN Workshop on Rule-Based Programming (RULE\u201902), Pittsburgh, USA, 2002.","DOI":"10.1145\/570186.570195"},{"key":"39_CR2","unstructured":"Meyer B. Building bug-free oo software: An introduction to design by contract. http:\/\/www.eiffel.com\/doc\/manuals\/technology\/contract\/ ."},{"key":"39_CR3","unstructured":"Meyer B. Object-Oriented Software Construction 2 nd Edition. Prentice Hall, 1997."},{"key":"39_CR4","unstructured":"IBM Corporation. Websphere. 2002. http:\/\/www-3.ibm.com\/software\/info1\/websphere\/index.jsp ."},{"key":"39_CR5","unstructured":"Klein J. Leymann F. Roller D. Thatte S. Curbera F., Goland Y. and Weerawarana S. Business process execution language for web services."},{"key":"39_CR6","unstructured":"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-to-business protocol framework. Springer-Verlag, Lecture Notes in AI, 2000."},{"key":"39_CR7","unstructured":"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."},{"key":"39_CR8","unstructured":"Dimitrakos T. Daskalopulu A. and Maibaum T. S. E. E-contract fulfillment and agents\u2019 attitudes. Proceedings ERCIM WG E-Commerce Workshop on The Role of Trust in e-Business, 2001."},{"key":"39_CR9","unstructured":"Leymann F. Web service flow language."},{"key":"39_CR10","unstructured":"Organization for the Advancement of Structured Information Standards (OASIS). Oasis ebxml collaboration-protocol profile and agreement specification version 2.0. 2002."},{"key":"39_CR11","unstructured":"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."},{"key":"39_CR12","unstructured":"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."},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"Desel J. and Esparza J. Free Choice Petri Nets. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"39_CR14","unstructured":"Meyer J. and Wieringa R. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, 1993."},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Chiu D. Kafeza E. and Kafeza I. View-based contracts in an e-service cross-organizational workflow environment. Proceedings of the second International Workshop on Technologies for E-Service(TES\u201901), 2001.","DOI":"10.1007\/3-540-44809-8_6"},{"key":"39_CR16","unstructured":"Grefen P Koetsier M. and Vonk. Cross-organisational\/workflow: Crossflow esprite\/28635-contract model, deliverable d4b. 1999."},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"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\u2013466., 2000.","DOI":"10.1145\/336595.337570"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Austin J. L. How to do things with words. 2nd Edition. Oxford University Press, 1976.","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001"},{"key":"39_CR19","unstructured":"Xu L. Car insurance case. Research Paper, Tilburg University."},{"key":"39_CR20","unstructured":"Xu L. Agent-based monitorable contract. Research Paper, Tilburg University, 2002."},{"key":"39_CR21","unstructured":"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 ."},{"key":"39_CR22","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1023\/A:1010056221226"},{"key":"39_CR23","unstructured":"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\u201902)."},{"key":"39_CR24","unstructured":"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\u201995) Whistler, Canada, 1995."},{"key":"39_CR25","unstructured":"Dimitrakos T. Milosevic Z., J\u00f8sang A and Patton M.A. Discretionary enforcement of electronic contracts. Proceedings of EDOC\u20192000. IEEE Comp. Soc. Press, 2002."},{"key":"39_CR26","unstructured":"Sierra C. Norman T.J. and Jennings N.R. Rights and commitments in multi-agent agreements. Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS-98). Paris, France, 1998."},{"key":"39_CR27","doi-asserted-by":"crossref","unstructured":"Singh M. P. A customizable coordination service for autonomous agents. International Workshop on Agent Theories, Architectures, and Languages (ATAL).","DOI":"10.1007\/BFb0026752"},{"key":"39_CR28","doi-asserted-by":"crossref","unstructured":"Singh M. P. Developing formal specifications to coordinate heterogeneous autonomous agents. Proceedings of the International Conference on Multiagent Systems (ICMAS).","DOI":"10.1109\/ICMAS.1998.699063"},{"key":"39_CR29","doi-asserted-by":"crossref","unstructured":"Singh M. P. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems. volume 3, number 2.","DOI":"10.1023\/A:1010033827337"},{"key":"39_CR30","unstructured":"CrossFlow Project. Insurance requirements. CrossFlow consortium."},{"key":"39_CR31","first-page":"65","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems (ICMAS\u201995)","author":"P. R. Cohen","year":"1995","unstructured":"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\u201995), pages 65\u201372, San Francisco, CA, USA, 1995. The MIT Press: Cambridge, MA, USA."},{"key":"39_CR32","doi-asserted-by":"crossref","unstructured":"Lee R. Towards open electronic contracting. Electronic Markets, Vol. 8, No. 3, 10\/98.","DOI":"10.1080\/10196789800000031"},{"key":"39_CR33","doi-asserted-by":"crossref","unstructured":"Searle J. R. Speech acts: An essay in the philosophy of language. Cambridge University Press, 1969.","DOI":"10.1017\/CBO9781139173438"},{"key":"39_CR34","doi-asserted-by":"crossref","unstructured":"Searle J. R. and Vanderveken D. Foundations of Illocutionary Logic. Cambridge University Press, 1985.","DOI":"10.1007\/1-4020-3167-X_5"},{"key":"39_CR35","unstructured":"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."},{"key":"39_CR36","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/383535.383557"},{"key":"39_CR37","first-page":"321","volume-title":"ACM Transactions on Information Systems","author":"S. Kimbrough","year":"1997","unstructured":"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\u2013367, 1997."},{"key":"39_CR38","doi-asserted-by":"crossref","unstructured":"Moore S. Kqml and flbc: Contrasting agent communication languages. International Journal of Electronic Commerce 5(1), 2000.","DOI":"10.1080\/10864415.2000.11044196"},{"key":"39_CR39","unstructured":"Thatte S. Xlang web services for business process design."},{"issue":"3","key":"39_CR40","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1142\/S0218488501000831","volume":"9","author":"A. J\u00f8sang","year":"2001","unstructured":"J\u00f8sang A. A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 9(3), pp. 279\u2013311, 2001.","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"39_CR41","doi-asserted-by":"crossref","unstructured":"Reisig V. A primer in Petri net design. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-642-75329-9"},{"key":"39_CR42","doi-asserted-by":"crossref","unstructured":"von Wright G. Deontic logic. Mind, 1951.","DOI":"10.1093\/mind\/LX.237.1"},{"key":"39_CR43","doi-asserted-by":"crossref","unstructured":"Verharen E. Weigand H., Dignum F. Dynamic business models as a basis for interoperable transaction design. Information Systems, 1997.","DOI":"10.1016\/S0306-4379(97)00010-0"},{"key":"39_CR44","doi-asserted-by":"crossref","unstructured":"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\u2013104.","DOI":"10.1080\/10864415.1998.11518335"},{"key":"39_CR45","unstructured":"Milosevic Z. Enterprise Aspects of Open Distributed Systems. PhD Thesis, pp. 154\u2013248. Department of Computer Science, University of Queensland, 1995."}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45017-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T22:08:18Z","timestamp":1556748498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45017-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783319981765","9783319981772"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/3-540-45017-3_39","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2003]]}}}