|
|
AspectOberon
Fathom: An Access Control-based Document Browsing Framework
Slides: OberonDoc - A Preliminary Report
Slides: Fathom
Paper: The Fathom System
Fathom is a general-purpose document viewing framework. In this framework, one begins by decomposing a document into
contents. A (document) view is then defined as a subset of the contents of a document. The set of views
for a given document can be related through the sub-set operator. The resulting view-relation forms a lattice with
the empty view as the bottom element and the view containing all the document contents as the top element. Transitioning along the
edges of this view-lattice is conceptually similar to the zoom mechanism used when viewing electronic representations
of maps.
Fathom is a framework based on the ideas described in the previous paragraph. Key challenges faced by Fathom include:
(1) automatic decomposition of a document into semantically
meaningful contents, (2) design of a suitable view abstraction accompanied by an abstract-to-concrete view
generation function, and (3) automated support for navigating across the resulting view-lattice (e.g., transitioning
between views) and browsing the resulting concrete views.
Rewriting Logic Formulas
|
