Algebraic specification of documents

Autor: Pedro Rangel Henriques, José João Almeida, José Carlos Ramalho
Přispěvatelé: Universidade do Minho
Rok vydání: 1998
Předmět:
Zdroj: Scopus-Elsevier
CIÊNCIAVITAE
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00274-0
Popis: According to recent research, nearly 95% of a corporate's information is stored in documents. Further studies indicate that companies spend between 6% and 10% of their gross revenues in printing and distributing documents in several ways: web and cdrom publishing, database storage and retrieval, and printing. In this context documents exist in different formats, from plain text files to internal database or text processor formats. It is clear that document reusability and low-cost maintenance are two important issues in the near future. The majority of available document processors is purpose-oriented, reducing the necessary flexibility and reusability of documents. The problem of adapting the same text to different purposes gives rise to waste of time. For example you may want to have the same document as an article, as a set of slides, or as a poster; or you can have a dictionary document producing a book and a list of words for a spell checker. This conversion could be done automatically from the first version of the document if it complies with some standard requirements. The key idea will be to keep a complete separation between syntax and semantics. In this way, we produce an abstract description separating conceptual issues of document structure from those concerned with document use. This note proposes a few guidelines to build a system to solve the above problem. Such a system should be an algebraic based environment in order to provide facilities for • • definition of document types • • specification of functions over document types • • definition and handling of documents as algebraic terms. Our approach (rooted in the tradition of constructive algebraic specification), allows for a homogeneous environment to deal with operations such as merging documents, converting formats, translating documents, extracting different kinds of information (to setup information repositories, data bases, or semantic networks) or portions of documents (as it happens, for instance, in literate programming), and some other actions, not so traditional, like mail reply, or memo production. We intend to use Camila(a specification language and prototyping environment developed at Universidade do Minho, by the Computer Science group) to develop the above-mentioned system.
Databáze: OpenAIRE
Externí odkaz: