Algebraic specification of documents

Detalhes bibliográficos
Autor(a) principal: Ramalho, José Carlos
Data de Publicação: 1998
Outros Autores: Almeida, J. J., Henriques, Pedro Rangel
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/618
Resumo: According to recent research, nearly 95 percent of a corporate information is stored in documents. Further studies indicate that companies spent between 6 and 10 percent of their gross revenues printing and distributing documents in several ways: web and cdrom publishing, database storage and retrieval and printing. In this context documents exist in some different formats, from pure ascii 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. Some waste of time arises from adapting the same text to different purposes. 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 dictionnary 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 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 from those concerned with the 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 and provide facilities for: - Document type definitions; - Definition of functions over document types; - Document definitions as algebraic terms. This approach (rooted in the tradition of constructive algebraic specification), will allow for homogeneous environment to deal with operations such as merging documents, converting formats, translating documents, extracting different kinds of information (to set up 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.
id RCAP_6b2babb8463819c74b945f70ff1e18f7
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/618
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Algebraic specification of documentsdocument processingalgebraic specificationSGMLCAMILAScience & TechnologyAccording to recent research, nearly 95 percent of a corporate information is stored in documents. Further studies indicate that companies spent between 6 and 10 percent of their gross revenues printing and distributing documents in several ways: web and cdrom publishing, database storage and retrieval and printing. In this context documents exist in some different formats, from pure ascii 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. Some waste of time arises from adapting the same text to different purposes. 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 dictionnary 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 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 from those concerned with the 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 and provide facilities for: - Document type definitions; - Definition of functions over document types; - Document definitions as algebraic terms. This approach (rooted in the tradition of constructive algebraic specification), will allow for homogeneous environment to deal with operations such as merging documents, converting formats, translating documents, extracting different kinds of information (to set up 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.ElsevierUniversidade do MinhoRamalho, José CarlosAlmeida, J. J.Henriques, Pedro Rangel19981998-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/618eng0304-397510.1016/S0304-3975(97)00274-0info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T12:29:01Zoai:repositorium.sdum.uminho.pt:1822/618Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:23:56.154750Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Algebraic specification of documents
title Algebraic specification of documents
spellingShingle Algebraic specification of documents
Ramalho, José Carlos
document processing
algebraic specification
SGML
CAMILA
Science & Technology
title_short Algebraic specification of documents
title_full Algebraic specification of documents
title_fullStr Algebraic specification of documents
title_full_unstemmed Algebraic specification of documents
title_sort Algebraic specification of documents
author Ramalho, José Carlos
author_facet Ramalho, José Carlos
Almeida, J. J.
Henriques, Pedro Rangel
author_role author
author2 Almeida, J. J.
Henriques, Pedro Rangel
author2_role author
author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Ramalho, José Carlos
Almeida, J. J.
Henriques, Pedro Rangel
dc.subject.por.fl_str_mv document processing
algebraic specification
SGML
CAMILA
Science & Technology
topic document processing
algebraic specification
SGML
CAMILA
Science & Technology
description According to recent research, nearly 95 percent of a corporate information is stored in documents. Further studies indicate that companies spent between 6 and 10 percent of their gross revenues printing and distributing documents in several ways: web and cdrom publishing, database storage and retrieval and printing. In this context documents exist in some different formats, from pure ascii 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. Some waste of time arises from adapting the same text to different purposes. 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 dictionnary 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 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 from those concerned with the 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 and provide facilities for: - Document type definitions; - Definition of functions over document types; - Document definitions as algebraic terms. This approach (rooted in the tradition of constructive algebraic specification), will allow for homogeneous environment to deal with operations such as merging documents, converting formats, translating documents, extracting different kinds of information (to set up 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.
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/618
url http://hdl.handle.net/1822/618
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 0304-3975
10.1016/S0304-3975(97)00274-0
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Elsevier
publisher.none.fl_str_mv Elsevier
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132716171526144