Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries

@article{Gonalves2004StreamsSS,
  title={Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries},
  author={Marcos Andr{\'e} Gonçalves and Edward A. Fox and Layne T. Watson and Neill A. Kipp},
  journal={ACM Trans. Inf. Syst.},
  year={2004},
  volume={22},
  pages={270-312}
}
Digital libraries (DLs) are complex information systems and therefore demand formal foundations lest development efforts diverge and interoperability suffers. [] Key Result The applicability, versatility, and unifying power of the 5S model are demonstrated through its use in three distinct applications: building and interpretation of a DL taxonomy, informal and formal analysis of case studies of digital libraries (NDLTD and OAI), and utilization as a formal basis for a DL description language.

Figures from this paper

Streams, Structures, Spaces,Scenarios, and Societies (5S): A Formal Digital Library Framework and Its Applications

TLDR
This dissertation proposes the fundamental abstractions of Streams, Structures, Spaces, Scenarios, and Societies (5S), which allow us to define digital libraries rigorously and usefully.

5SL: a language for declarative specification and generation of digital libraries

TLDR
5SL is a declarative language for specifying and generating domain-specific digital libraries and enables high-level specification of DLs in five complementary dimensions, including: the kinds of multimedia information the DL supports (Stream Model); how that information is structured and organized (Structural Model).

Rapid Modeling, Prototyping, and Generation of Digital Libraries- A Theory-Based Approach

TLDR
This paper presents an architecture and a family of tools that allow rapid modeling, prototyping, and generation of digital libraries, and maintains semantic constraints specified by a 5S metamodel and enforces these constraints over the instance model to ensure semantic consistency and correctness.

PuntTable: A Flexible Repository System for Digital Library

TLDR
This paper analyzes the data structures and workloads of services provided by modern DLs and proposes a data-storage strategy model, and describes the development of PuntTable, a flexible repository system for DLs.

Key Issues Regarding Digital Libraries: Evaluation and Integration

TLDR
The first comprehensive 5S-based formal description of the DL integration problem is provided, cast in the context of related work, and ETANADL, for integrating Near Eastern Archeology sites and information is described.

Digital Library Technologies: Complex Objects, Annotation, Ontologies, Classification, Extraction, and Security

TLDR
This book will help show how formal approaches can enhance the development of suitable technologies and how they can be better integrated with DLs and other information systems.

NESTOR: A formal model for digital archives

The Role of Digital Libraries in Moving Toward Knowledge Environments

TLDR
It is illustrated how suitable knowledge environments can be more easily prepared as instances of these meta-models, resulting in usable and useful DLs, including for education, computing, and archaeology.

The design and architecture of digital libraries

  • H. Suleman
  • Computer Science
    Digital Libraries and Information Access
  • 2012
TLDR
This chapter focuses on the DLS and, to a lesser degree, the DLMS, and core design considerations are first presented, followed by how these principles are realised in modern reusable and custom-built DLSes.

Scenario-Based Generation of Digital Library Services

We describe the development, implementation, and deployment of a new generic digital library generator yielding implementations of digital library services from models of DL “societies” and
...

References

SHOWING 1-10 OF 169 REFERENCES

5SL: a language for declarative specification and generation of digital libraries

TLDR
5SL is a declarative language for specifying and generating domain-specific digital libraries and enables high-level specification of DLs in five complementary dimensions, including: the kinds of multimedia information the DL supports (Stream Model); how that information is structured and organized (Structural Model).

Making global digital libraries work: collection services, connectivity regions, and collection views

TLDR
A service architecture and server topology for improving the performance and reliability of the global resource discovery process is described and is implemented as part of the Dienst architecture upon which NCSTRL is based.

Scenario-Based Generation of Digital Library Services

We describe the development, implementation, and deployment of a new generic digital library generator yielding implementations of digital library services from models of DL “societies” and

Flexible Interoperability in a Federated Digital Library of Theses and Dissertations

TLDR
MARIAN’s modular architecture and powerful and flexible data model work together to build an effective integrated solution within a simple uniform framework for addressing such issues as data quality, information compression, and flexible search.

Visual Semantic Modeling of Digital Libraries

TLDR
A domain-specific visual DL modeling tool that employs a metamodel that describes DLs using the 5S theory, 5SGraph, which enables component reuse to reduce the time and effort of designers and introduces tools based on concept maps to fulfill those roles.

A formal model of views for object-oriented database systems

TLDR
This paper formally introduces a view model for object-oriented databases, comparable to existing view models for what concerns the supported features; however, this model is the only one for which a formal de nition is given.

A Formal Approach to Object-Oriented Databases

  • C. Beeri
  • Computer Science
    Data Knowl. Eng.
  • 1990

Metis: lightweight, flexible, and Web-based workflow services for digital libraries

TLDR
This work describes the conceptual framework behind the Metis approach as well as a prototype which implements the framework and shows how it can both model and execute a peer review workflow drawn from a "real-world" digital library.

Information system behavior specification by high level Petri nets

TLDR
This article shows how this can be achieved by high-level Petri nets—namely, the so-called NR/T-nets (Nested-Relation/Transition Nets), which are modeled by nested relations, and the behavioral part is modeled by a novel Petri net formalism.

SODA: Smart Objects, Dumb Archives

TLDR
This paper presents implementations of the smart objects, buckets, and the authors' dumb archive (DA), and discusses the status of buckets and DA and how they are used in a variety of DL projects.
...