Managing inconsistent repositories via prioritized repairs

Proceedings of the 2004 ACM Symposium on Document Engineering

Volumn , Issue , 2004, Pages 137-146

  Scheffczyk, Jan ^a   Rödig, Peter ^a   Borghoff, Uwe M ^a   Schmitz, Lothar ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Consistency maintenance; Document management; Repair

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEMS; DATA MINING; DATABASE SYSTEMS; GRAPH THEORY; ITERATIVE METHODS; REPAIR; SEMANTICS; SYSTEM PROGRAM DOCUMENTATION; XML;

CONSISTENCY MAINTENANCE; DOCUMENT MANAGEMENT; DOCUMENT STRUCTURES; XML DOCUMENTS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 20344362630     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1030397.1030426     Document Type: Conference Paper

References (26)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, 1996.
2. S. Abiteboul, L. Herr, and J. van den Bussche. Temporal versus first-order logic to query temporal databases. In ACM Symp. on Principles of Database Systems, pages 49-57, Montreal, Canada, 1996. ACM Press.
3. K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 10, pages 493-574. Elsevier Science Publishers, 1990.
4. L. Bertossi and J. Pinto. Specifying active rules for database maintenance. In Trans. and Database Dynamics, 8th Int. Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, volume 1773 of LNCS, pages 112-129. Springer-Verlag, 2000.
5. B. Chidlovskii. A structural adviser for the XML document authoring. In Proc. of the 2003 ACM Symp. on Document Engineering, pages 203-211, Grenoble, France, 2003. ACM Press.
6. B. Collins-Sussman, B. W. Fitzpatrick, and C. M. Pilato. Version Control with Subversion. O'Reilly and Associates, 2004.
7. A. Finkelstein. A foolish consistency: Technical challenges in consistency management. In Proc. of the 11th Int. Conf. on Database and Expert Systems Applications, pages 1-5, London, UK, 2000. Springer-Verlag.
8. M. Gertz and U. Lipeck. An extensible framework for repairing constraint violations. In Proc. 1st Working Conf. on Integrity and Internal Control in Information Systems, pages 89-111. Chapman & Hall, 1997.
9. R. Greiner, B. A. Smith, and R. W. Wilkerson. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 41(1):79-88, 1989.
10. J. R. Hindley and J. P. Seldin. Introduction to Combinators and λ-calculus, volume 1 of London Mathematical Society - Student Texts. Cambridge University Press, 1986.
11. S. Maabout. Maintaining and restoring database consistency with update rules. In Proc. of DYNAMICS: Transactions and change in logic databases, pages 59-74, Manchester, UK, 1998. University of Passau, Germany.
12. J. I. Maletic, E. Munson, A. Marcus, and T. N. Nguyen. Using a hypertext model for traceability link conformance analysis. In Proc. of the 2nd Int. Workshop on Traceability in Emerging Forms of Software Engineering, Montreal, Canada, 2003. IEEE CS Press.
13. E. Mayol and E. Teniente. A survey of current methods for integrity constraint maintenance and view updating. In Advances in Conceptual Modeling: ER '99 Workshops, Paris, France, volume 1727 of LNCS, pages 62-73. Springer-Verlag, 1999.
14. C. Nentwich, W. Emmerich, and A. Finkelstein. Consistency management with repair actions. In Proc. of the 25th Int. Conf. on Software Engineering 2003, Portland, OR, 2003. ACM Press.
15. J. Nordlander. Polymorphic subtyping in O'Haskell. Science of Computer Programming, 43(2-3):93-127, 2002.
16. B. Nuseibeh, S. Easterbrook, and A. Russo. Leveraging inconsistency in software development. Computer, 33(4):24-29, 2000.
17. J. Patrick. SQL fundamentals. Prentice Hall PTR, 2nd edition, 2002.
18. D. Roundy. Dares: David's advanced revision control system, 2004. see www.abridgegame.org/darcs/.
19. J. Scheffczyk, U. M. Borghoff, P. Rödig, and L. Schmitz. Consistent document engineering. In Proc. of the 2003 ACM Symp. on Document Engineering, pages 140-149, Grenoble, France, 2003. ACM Press.
20. J. Scheffczyk, U. M. Borghoff, P. Rödig, and L. Schmitz. S-DAGs: Towards efficient document repair generation. In Proc. of the 2nd Int. Conf. on Computing, Communications and Control Technologies, volume 2, pages 308-313, Austin, TX, 2004. University of Texas at Austin.
21. J. Scheffczyk, C. Stutz, U. M. Borghoff, and J. Siedersieben. Formale Konsistenzsicherung in informellen Software-Spezifikationen. Informatik Forschung und Entwicklung, 19(1):17-29, 2004.
22. K. Shafer, S. Weibel, E. Jul, and J. Fausey. Introduction to persistent uniform resource locators, 1996. see purl.oclc.org/OCLC/PURL/INET96.
23. G. Spanoudakis and A. Zisman. Inconsistency management in software engineering: Survey and open research issues. In K. S. Chang, editor, Handbook of Software Engineering and Knowledge Engineering, pages 24-29. World Scientific, 2001.
24. C. Stutz, J. Siedersleben, D. Kretschmer, and W. Krug. Analysis beyond UML. In 10th Anniversary IEEE Joint Int. Conf. on Requirements Engineering, pages 215-218, Essen, Germany, 2002. IEEE CS Press.
25. E. Teniente and A. Olive. Updating knowledge bases while maintaining their consistency. VLDB Journal, 4(2):193-241, 1995.
26. A. Zisman and A. Kozlenkov. Managing inconsistencies in UML specifications. In Proc. of the 4th Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pages 128-138, Lübeck, Germany, 2003. ACIS.