Consistency management with repair actions

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 455-464

  Nentwich, Christian ^a   Emmerich, Wolfgang ^a   Finkelstein, Anthony ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATABASE SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; LOGIC PROGRAMMING; REQUIREMENTS ENGINEERING;

FIRST ORDER LOGIC FORMULA; UNIFIED MODELING LANGUAGE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0037925237     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201223     Document Type: Conference Paper

References (21)

1. T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible Markup Language. Recommendation http://www.w3.org/TR/2000/REC-xml-20001006, World Wide Web Consortium, Oct. 2000.
2. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Automatic Generation of Production Rules for Integrity Maintenance. ACM Transactions on Database Systems, 19(3):367-422, September 1994.
3. J. Clark and S. DeRose. XML Path Language (XPath) Version 1.0. Recommendation http://www.w3.org/TR/1999/REC-xpath-19991116, World Wide Web Consortium, Nov.
4. D. Dui, W. Emmerich, C. Nentwich, and B. Thal. Consistency Checking of Financial Derivatives Transactions. Objects, Components, Architectures, Services and Applications for a Networked World, Lecture Notes in Computer Science, 2591, 2003. To Appear.
5. W. Emmerich. GTSL - An Object-Oriented Language for Specification of Syntax Directed Tools. In Proc. of the 8th Int. Workshop on Software Specification and Design, pages 26-35. IEEE Computer Society Press, 1996.
6. D. C. Fallside. XML Schema Part 0: Primer. Recommendation http://www.w3.org/TR/2001/REC-xmlschema-0-20010502/, World Wide Web Consortium, MAY 2001.
7. W. Fan and L. Libkin. On XML Integrity Constraints in the Presence of DTDs. Journal of the ACM, 49(3):368-406, 2002.
8. S. Fickas, T. Beauchamp, and A. R. Mamy. Monitoring Requirements: A Case Study. In Proceedings of the 17th IEEE International Conference Automated Software Engineering, 2002. To appear.
9. M. Gertz. An Extensible Framework for Repairing Constraint Violations. In Workshop on Foundations of Models and Languages for Data and Objects, pages 41-56, 1996.
10. Y. Y. Goland, J. Whitehead, A. Faizi, S. Carter, and R. Jensen. Extensions for Distributed Authoring on the World Wide Web - WebDAV. Internet Draft (Work in Progress) http://www.ietf.org/internet-drafts/draftief-webdav-protocol-10.txt, IETF, Nov. 1998.
11. H. F. Korth, E. Levy, and A. Silberschatz. A Formal Approach to Recovery by Compensating Transactions. In D. McLedo, R. Sacks-Davis, and H. J. Schek, editors, Proceedings of the 16th International Conference on Very Large Data Bases, Brisbane, Queensland, Australia, pages 95-106. Morgan Kaufmann, August 1990.
12. V. Matena and M. Hapner. Enterprise JavaBeans Specification v1.1. Technical report, Sun Microsystems, DEC 1999.
13. G. Moerkotte and P. C. Lockemann. Reactive Consistency Control in Deductive Databases. ACM Transactions on Database Systems, 16(4):670-702, December 1991.
14. M. Nagl, editor. Building Tightly Integrated Software Development Environments: The IPSEN Approach, volume 1170 of Lecture Notes in Computer Science. Springer Verlag, 1996.
15. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Transactions on Internet Technology, 2(2):151-185, May 2002.
16. C. Nentwich, W. Emmerich, and A. Finkelstein. Static Consistency Checking for Distributed Specifications. In Proceedings of the 16th International Conference on Automated Software Engineering (ASE), pages 115-124, Coronado Island, CA, Nov. 2001. IEEE Computer Science Press.
17. C. Nentwich, W. Emmerich, A. Finkelstein, and E. Ellmer. Flexible Consistency Checking. Research Note RN/01/40, Univesity College London, Dept. of Computer Science, 2001. Submitted for Publication.
18. Object Management Group. Unified Modeling Language Specification, March 2000.
19. Object Management Group, 492 Old Connecticut Path, Framingham, MA 01701, USA. XML Metadata Interchange (XMI) Specification 1.1, Nov. 2000.
20. W. Schäfer and H. Weber. European Software Factory Plan - The ESF-Profile. In P. A. Ng and R. T. Yeh, editors, Modern Software Engineering - Foundations and current perspectives, chapter 22, pages 613-637 Van Nostran Reinhold, NY, USA, 1989.
21. S. D. Urban, A. P. Karadimce, and R. B. Nannapaneni. The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. In Proceedings of the Eighth International Conference on Data Engineering, pages 565-572, Los Alamitos 1992. IEEE Computer Society Press.