Consistent document engineering: Formalizing type-safe consistency rules for heterogeneous repositories

Proceedings of the 2003 ACM Symposium on Document Engineering

Volumn , Issue , 2003, Pages 140-149

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

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Consistency in document engineering; Document management; Temporal logic

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; PROJECT MANAGEMENT; SEMANTICS; XML;

CONSISTENCY IN DOCUMENT ENGINEERING; DOCUMENT MANAGEMENT; DOCUMENT PARTS; TEMPORAL LOGIC;

PROGRAM DOCUMENTATION;

EID: 3543079273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. 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.
2. V. Benzaken and A. Doucet. Thémis: A database programming language handling integrity constraints. VLDB Journal, 4(3):493-518, 1995.
3. P. Buneman, W. Fan, and S. Weinstein. Path consistency rules in semistructured databases. Journal of Computer and System Sciences, 61 (2): 146-193, 2000.
4. P. Cederqvist et al. Version management with CVS, 2002. see www.cvshome.org/docs/manual/.
5. M. Chakravarty. The Haskell foreign function interface 1.0, addendum to the Haskell 98 report, 2003. see www.cse.unsw.edu.au/~chak/haskell/ffi/.
6. D. de Champeaux. Subproblem finder and instance checker, two cooperating modules for theorem provers. Journal of the ACM, 33(4):633-657, 1986.
7. M. e Silva. Dynamic integrity constraints definition and enforcement in databases: a classification framework. In Proc. of the IFIP TC-11 Working Group 11.5 1st Working Conf. on Integrity and Internal Control in Information Systems, pages 65-87, 1997.
8. S. Easterbrook and M. Chechik. A framework for multi-valued reasoning over inconsistent viewpoints. In 23rd Int. Conf. on Software Engineering (ICSE-01), Toronto, Canada, 2001. IEEE.
9. M. Fernández, D. Florescu, A. Levy, and D. Suciu. Verifying integrity constraints on web sites. In IJCAI, pages 614-619, 1999.
10. A. Finkelstein. A foolish consistency: technical challenges in consistency management. In Proc. of the 11th Int. Conf. on Database and Expert Systems Applications (DEXA), pages 1-5, London, UK, 2000. Springer.
11. I. Hodkinson, F. Wolter, and M. Zakharyaschev. Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 2000.
12. P. Lincoln and J. Mitchell. Algorithmic aspects of type inference with subtypes. In Proc. of the 19th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 293-304. ACM, 1992.
13. E. Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software, 3rd edition, 1987.
14. Minister of Defence. ZDv 90/1 - Dienstvorschriften der Bundeswehr. Department of Defence, 1983. (English: Service Manual Rules for the Federal Armed Forces).
15. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein. xlinkit: a consistency checking and smart link generation service. In A CM Trans. on Internet Technology, 2001.
16. J. Nordlander. Reactive Objects and Functional Programming. Chalmers Tekniska, Högskola, 1999.
17. B. Nuseibeh, S. Easterbrook, and A. Russo. Leveraging inconsistency in software development. Computer, 33 (4): 24-29, 2000.
18. S. Peyton Jones. Haskell 98 Language and Libraries: The Revised Report. Cambridge Univ. Press, 2003. see also haskell.org/onlinereport/.
19. F. Pottier. Simplifying subtyping constraints: a theory. Information and Computation, 170(2):153-183, 2001.
20. T. Reps. Generating language-based Environments. MIT, 1984.
21. D. Roundy. Darcs: David's advanced revision control system, 2003. see www.abridgegame.org/darcs/.
22. G. Salton. Automatic indexing and abstracting. pages 42-80, 1988.
23. J. Scheffczyk, U. Borghoff, P. Rödig, and L. Schmitz. A comprehensive description of consistent document engineering. Technical Report 03, Univ. of the Federal Armed Forces, Munich, 2003.
24. J. Scheffczyk, U. Borghoff, P. Rödig, and L. Schmitz. Efficient (in-)consistency management for heterogeneous repositories. In 4th Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lübeck, Germany, 2003. to appear.
25. J. Scheffczyk, C. Stutz, U. Borghoff, and J. Siedersieben. Konsistente Software-Spezifikationen, submitted, 2003. (English: Consistent software specifications).
26. J. Scheffczyk, C. Stutz, U. Borghoff, and J. Siedersieben. Konsistente Software-Spezifikationen, submitted, 2003. (English: Consistent software specifications).
27. K. Shafer, S. Weibel, E. Jul, and J. Fausey. Introduction to persistent uniform resource locators, 1996. see purl.oclc.org/OCLC/PURL/INET96.
28. G. Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23(2-3): 197-226, 1994.
29. The GOODSTEP Team. The GOODSTEP project: general object-oriented database for software engineering processes. In Proc. of the end Int. Workshop on Database and Software Engineering - 16th Int. Conf. on Software Engineering (ICSE'94), 1994.
30. A. Tozawa. Towards static type checking for XSLT. In Proc. of the 2001 ACM Symp. on Document engineering, pages 18-27. ACM, 2001.
31. A. Vermesan and F. Coenen, editors. Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Papers from EUROVAV '99, 5th European Symp. on Validation and Verification of Knowledge Based Systems, Oslo, Norway. Kluwer, 1999.
32. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In Proc. of the 4th ACM SIGPLAN Int. Conf. on Functional Programming (ICFP'99), volume 34-9, pages 148-159, N.Y., 1999. ACM.
33. R. Wilkinson and A. Smeaton. Automatic link generation. ACM Computing Surveys, 31(4es), 1999.
34. R. Wong and N. Lam. Managing and querying multi-version XML data with update logging. In Proc. of the 2002 ACM Symp. on Document engineering, pages 74-81. ACM, 2002.