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

Please wait, while we are loading the content...

Extending xQuery with transformation operators

Using SMIL to encode interactive, peer-level multimedia annotations

Creating reusable well-structured PDF as a sequence of component object graphic (COG) elements

INFTY: an integrated OCR system for mathematical documents

Context representation, transformation and comparison for ad hoc product data exchange

Structured multimedia document classification

Two diet plans for fat PDF

Semantically-based text authoring and the concurrent documentation of experimental protocols

Set-at-a-time access to XML through DOM

XML five years on: a review of the achievements so far and the challenges ahead

Lazy XSL transformations

Structuring interactive TV documents

Creating personalized documents: an optimization approach

Information encoding into and decoding from dot texture for active forms

Preservation of digital publications: an OAIS extension and implementation

Methods for the semantic analysis of document markup

Compression of scan-digitized Indian language printed text: a soft pattern matching technique

A structural adviser for the XML document authoring

UpLib: a universal personal digital library system

XPath on left and right sides of rules: toward compact XML tree rewriting through node patterns

Thematic alignment of recorded speech with documents

Inter and intra media-object QoS provisioning in adaptive formatters

Effective text extraction and recognition for WWW images

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

Interactive information retrieval from XML documents represented by attribute grammars

User-directed analysis of scanned images

Management of trusted citations

Automating XML document structure transformations

Digitizing cultural heritage manuscripts: the Bovary project

Using SVG as the rendering model for structured and graphically complex web material

Accuracy improvement of automatic text classification based on feature transformation

A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance

Handling syntactic constraints in a DTD-compliant XML editor

Model driven architecture based XML processing

Improving formatting documents by coupling formatting systems

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

Content Provider	ACM Digital Library
Author	Scheffczyk, Jan Rödig, Peter Borghoff, Uwe M. Schmitz, Lothar
Abstract	When a group of authors collaboratively edits interrelated documents, consistency problems occur almost immediately. Current document management systems (DMS) provide useful mechanisms such as document locking and version control, but often lack consistency management facilities.If at all, consistency is "defined" via informal guidelines, which do not support automatic consistency checks.In this paper, we propose to use explicit formal consistency rules for heterogeneous repositories that are managed by traditional DMS. Rules are formalized in a variant of first-order temporal logic. Functions and predicates, implemented in a full programming language, provide complex (even higher-order) functionality. A static type system supports rule formalization, where types also define (formal) document models. In the presence of types, the challenge is to smoothly combine a first-order logic with a useful type system including subtyping. In implementing a tolerant view of consistency, we do not expect that repositories satisfy consistency rules. Instead, a novel semantics precisely pinpoints inconsistent document parts and indicates when, where, and why a repository is inconsistent.Our major contributions are (1) the use of explicit formal rules giving a precise (and still comprehensible) notion of consistency, (2) a static type system securing the formalization process, (3) a novel semantics pinpointing inconsistent document (parts) precisely, and (4) a design of how to automatically check consistency for document engineering projects that use existing DMS. We have implemented a prototype of a consistency checker. Applied to real world content, it shows that our contributions can significantly improve consistency in document engineering processes.
Starting Page	140
Ending Page	149
Page Count	10
File Format	PDF
ISBN	1581137249
DOI	10.1145/958220.958246
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2003-11-20
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Consistency in document engineering Document management Temporal logic
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

L.: Consistent document engineering: Formalizing type-safe consistency rules for heterogeneous repositories (2003)

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Formalizing prioritized consistency management in requirement engineering

Efficient (in-)consistency management for heterogeneous repositories.

Type-safe relaxing of schema consistency rules (1994).

Managing inconsistent repositories via prioritized repairs

Consistency Checking of Heterogeneous Distributed Documents (2000)

Pushing reactive services to XML repositories using active rules

Stochastic processes and temporal data mining

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

Similar Documents

L.: Consistent document engineering: Formalizing type-safe consistency rules for heterogeneous repositories (2003)

Formale Konsistenzsicherung in informellen Software-Spezifikationen

Formalizing prioritized consistency management in requirement engineering

Efficient (in-)consistency management for heterogeneous repositories.

Type-safe relaxing of schema consistency rules (1994).

Managing inconsistent repositories via prioritized repairs

Consistency Checking of Heterogeneous Distributed Documents (2000)

Pushing reactive services to XML repositories using active rules

Stochastic processes and temporal data mining

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