TY - GEN
T1 - Dynamic Documents
T2 - Proceedings of the ACM Symposium on Document Engineering (DocEng '01)
AU - Na, Jin Cheon
AU - Furuta, Richard
PY - 2001
Y1 - 2001
N2 - caT (for Context-Aware Trellis) was initially developed to support context-aware documents by incorporating high-level Petri-net specification, context-awareness, user modeling, and fuzzy knowledge handling features into Trellis, a Petri-net-based hypermedia system. The browsing behavior of documents specified in the caT model can reflect the reader's contextual (such as location and time) and preference information. Recently, to provide a framework for the authoring, browsing, and analysis of reasonably complex, dynamic documents, we added (or extended) several features in the caT system, providing hierarchical Petri net support, a structured authoring tool, browsing tools for multiple presentations of a particular document's specification, and a Petri net analysis tool. In this paper, we present the extended features of caT and give examples of using caT to define and present various documents, such as formal specification of software requirements and customized Web documents. Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed. Current debugging and analysis tools, integrated into the authoring tool, are also introduced.
AB - caT (for Context-Aware Trellis) was initially developed to support context-aware documents by incorporating high-level Petri-net specification, context-awareness, user modeling, and fuzzy knowledge handling features into Trellis, a Petri-net-based hypermedia system. The browsing behavior of documents specified in the caT model can reflect the reader's contextual (such as location and time) and preference information. Recently, to provide a framework for the authoring, browsing, and analysis of reasonably complex, dynamic documents, we added (or extended) several features in the caT system, providing hierarchical Petri net support, a structured authoring tool, browsing tools for multiple presentations of a particular document's specification, and a Petri net analysis tool. In this paper, we present the extended features of caT and give examples of using caT to define and present various documents, such as formal specification of software requirements and customized Web documents. Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed. Current debugging and analysis tools, integrated into the authoring tool, are also introduced.
KW - caT
KW - Dynamic documents
KW - Petri-net-based hypertext
KW - Trellis
UR - http://www.scopus.com/inward/record.url?scp=0141426575&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0141426575&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0141426575
SN - 1581134320
SN - 9781581134322
T3 - Proceedings of the ACM Symposium on Document Engineering
SP - 38
EP - 47
BT - Proceedings of the ACM Symposium on Document Engineering
A2 - Munson, E.V.
A2 - Munson, E.V.
Y2 - 9 November 2001 through 10 November 2001
ER -