An axiomatic approach to maintaining the consistency of a hypermedia information system based on the SEM-HP model

作者：Garcia Cabrera Lina^*; Medina Medina Nuria; Sanchez Pedro J; Martinez Luis

来源：Logic Journal of the IGPL, 2014, 22(6): 1045-1074.

DOI：10.1093/jigpal/jzu026

• Semantic representation
• conceptual modelling
• maintenance of hypermedia
• web information systems
• software evolution

Maintenance is considered a key issue in hypermedia systems. Common sense indicates that it might be possible to understand the web%26apos;s content without any knowledge representation, but not to automatically manage and support it. Assuming that the development and maintenance of hypermedia systems is dynamic and evolutionary, this implies a continuous process of change throughout their life cycles. Here, we review a conceptual hypermedia system model, the Semantic and Evolutionary Model for HyPermedia systems, to maintain its consistency during its life cycle. This model makes a semantic representation of the information system, offering an architecture whose components are formally defined by using the underlying semantics. In this article, we focus on formalizing the building of hypermedia information systems. To do so, we propose a novel axiomatic approach based on the graph theory that ensures their consistency. The major objective of this contribution is to describe a computational and mathematical proof that determines the set of axioms that are valid to keep the integrity of the information system. These axioms are able to generate the combinations that are valid by means of logical deduction.

• 出版日期2014-12