Project Suggestion: Digital Library Theory (5S)

• Number of people:
2
• Goal: Extend the 5S Theory
• Contact information: Professor Layne Watson (ltw@cs.vt.edu), Marcos André Gonçalves (mgoncalv@vt.edu), and the instructor
• Required background: proficiency in formal methods for CS, mathematics
• Description: We have recently completed and submitted a paper about the 5S formal theory for digital libraries. This project will build on those results and define and explore qualitative properties of DLs (e.g., consistency, completeness, equivalence, efficiency, extensibility), explore evaluation and metrics, try to specify and prove lemmas and theorems about the field, and apply the theory to explore formal analysis of interoperability issues in DLs.

The main references about 5S are:
- Marcos André Gonçalves, Edward A. Fox, Layne T. Watson, Neill A. Kipp. ``Streams, Strucutres, Spaces, Scenarios, Societies (5S): A Formal Model for Digita Libraries'', Virginia Tech Department of Computer Science Technical Report TR-01-12, July, 2001, available as both: PS and PDF
- Edward A. Fox,  Marcos A. Gonçalves and Neill A. Kipp, ``Digital Libraries'', In Handbook on Information Technologies for Education & Training, in Springer  series "International Handbook on Information Systems", ed. Heimo Adelsberger, Betty Collis, Jan Pawlowski, 2000, 19 pages, (2001)
- Edward A. Fox. ``The 5S Framework for Digital Libraries and Two Case Studies: NDLTD and CSTC,'' preprint for Proceedings NIT99, Taipei, Taiwan, Aug. 1999

• Students involved: The following students are working on this project: