Process models as multi-reader collaborative hyperdocuments

The Trellis model of human/computer interaction, in the context of hypermedia documents, is a good basis for specifying and applying software process models. The emphasis on user-direction of control gained from the hypermedia paradigm makes Trellis models inherently less program-like and more human-oriented. Trellis differs from other hypermedia models by using parallel automata (colored timed Petri nets) as hyperdocument structure (other models treat hyperdocuments as static graphs). Trellis hyperdocuments are therefore naturally interpreted and analyzed as process specifications. Our work has concentrated on using the colored-tokens in the nets for control of collaborative activity.