Abstract
The correct and timely creation of systems for coordination of group work depends on the ability to express, analyze, and experiment with protocols for managing multiple work threads. We present an evolution of the Trellis model that provides a formal basis for prototyping the coordination structure of a collaboration system. Like its predecessor, the new Trellis model has the nicely exploitable duality of being both graph formalism and parallel automaton. The automaton semantics provide dynamic information about the interactions of agents in a collaboration; the graph structure forms the basis for the static link structure of a hyperdocument. We give several analysis techniques for the model, and demonstrate its use by expressing the interaction structure of some common forms of collaborative system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. Beeri and Y. Kornatzky. A logical query language for hypertext systems. In A. Rizk, N. Streitz, and J. André, editors, Hypertext: Concepts, Systems, and Applications, pages 67–80. Cambridge University Press, November 1990. Proceedings of the European Conference on Hypertext.
E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8:244–263, 1986.
Brad Campbell and Joseph M. Goodman. HAM: A general purpose hypertext abstract machine. Communications of the ACM, 31(7):856–861, July 1988.
P. Dewan and R. Choudhary. A high-level and flexible framework for implementing multi-user user interfaces. ACM Transactions on Information Systems, 10(4):345–380, October 1992.
M. Fischer. Decision making based on practical knowledge. In Proc. of the 1991 Coordination Theory and Collaboration Technology Workshop, pages 89–97. National Science Foundation, June 1991.
H. J. Genrich and K. Lautenbach. System modeling with high-level Petri nets. Theoretical Computer Science, 13:109–136, 1981.
P. Garg and W. Scacchi. On designing intelligent hypertext systems for information management in software engineering. In Proceedings of Hypertext'87 (Chapel Hill, NC, November 1987), pages 409–432, 1987.
Anatol W. Holt. Diplans: A new language for the study and implementation of coordination. ACM Transactions on Office Information Systems, 6(2):109–125, January 1988.
W. S. Humphrey. Characterizing the software proess: A maturity framework. IEEE Software, 5(2):73–79, March 1988.
Kurt Jensen. Coloured Petri nets and the invariant-method. Theoretical Computer Science, 14:317–336, 1981.
M. I. Kellner. Software process modeling: Value and improvement. Technical Review 1989, pages 23–54, 1989.
G. Kaiser, P. H. Feiler, and S. S. Popovich. Intelligent assistance for software development and maintenance. IEEE Software, May 1988.
C. M. Lott and H. D. Rombach. A mvp-l1 solution for the software-process modeling problem. In Collected Solutions from the 6th International Software Process Workshop (Hakodate, Japan), October 1990.
Philip M. Merlin. A Study of the Recoverability of Computing Systems. Ph.D. dissertation, University of California at Irvine, Department of Information and Computer Science, Irvine, CA, 1974. Also available as Technical Report 58, Department of Information and Computer Science, University of California at Irvine (1974).
Philip M. Merlin and David J. Farber. Recoverability of communication protocolsimplications of a theoretical study. IEEE Transactions on Communications, COM-24 (9):1036–1043, 1976.
Tadao Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580, April 1989.
W. Reisig. Petri nets with individual tokens. Informatik-Fachberichte, 66(21):229–249, 1983.
Wolfgang Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.
H. D. Rombach. Mvp-l: A language for process modeling in-the-large. Technical Report CS-TR-2709, Department of Computer Science, University of Maryland, College Park, MD, June 1991.
P. David Stotts and Richard Furuta. Petri-net-based hypertext: Document structure with browsing semantics. ACM Transactions on Information Systems, 7(1):3–29, January 1989.
P. David Stotts and Richard Furuta. Browsing parallel process networks. Journal of Parallel and Distributed Computing, 9:224–235, 1990.
P. David Stotts and Richard Furuta. Temporal hyperprogramming. Journal of Visual Languages and Computing, 1(3):237–253, 1990.
P. David Stotts and Richard Furuta. Dynamic adaptation of hypertext structure. In Proceedings of Hypertext 91, pages 219–231, December 1991.
P. D. Stotts and R. Furuta. Hypertextual concurrent control of a lisp kernel. Journal of Visual Languages and Computing, 3(2):221–236, June 1992.
P. D. Stotts, R. Furuta, and J. C. Ruiz. Hyperdocuments as automata: Trace-based browsing property verification. In Proceedings of the 1992 European Conference on Hypertext (ECHT92: November 30-December 4, Milan, Italy), pages 272–281. ACM Press, New York, 1992.
A. Sinachopoulos. Logics for petri-nets: Partial order logics, branching time logics and how to distinguish between them. Petri Net Newsletter, pages 9–14, 8 1989.
Willem R. van Biljon. Extending Petri nets for specifying man-machine dialogues. International Journal of Man-Machine Studies, 28:437–455, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Stotts, P.D., Furuta, R. (1994). Modeling and Prototyping Collaborative Software Processes. In: Nof, S.Y. (eds) Information and Collaboration Models of Integration. NATO ASI Series, vol 259. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1132-4_21
Download citation
DOI: https://doi.org/10.1007/978-94-011-1132-4_21
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4495-0
Online ISBN: 978-94-011-1132-4
eBook Packages: Springer Book Archive