Skip to main content
Log in

Modeling collaboration for large-scale software system integration by formal communication models

  • Published:
Journal of Systems Integration

Abstract

In the development of large software systems, several synchronization points have to be passed successfully in order to achieve high-end user acceptance of the final system. In particular, the integration of conceptual design entities has turned out to be the most crucial step in software development. At this point, an explicit representation of the organizational knowledge, namely how the integration can be performed, is required. The overall organization of the integration of design entities is a set of knowledge, action (including communication), and time. The knowledge part comprises the integration procedure itself as well as the design entities. Actions are performed by the members of the project team (project leaders, developers). Each integration step has to be performed synchronized, so that each member of the development team knows concurrently the status of the integration procedure. All other individual design activities are usually performed asynchronously. According to the need for an explicit representation of the organizational knowledge for large software system design, this paper attempts tounderstand the nature of large software system integration and formallydescribes the coordination of a dispersed set of software developers. The organizational knowledge is represented by processes that occur in an asynchronous development environment. The design knowledge is assigned to logical formulas that are processed as exchanged messages among developers. Hence, the activities for integration are based on the transmission of messages. Time-critical events, such as the integration of a particular design entity into the final conceptual design of the software system, have to become common knowledge concurrently for all developers. This organizational constraint has been formalized in the communication model. Not only can the proposed framework be adapted to organizational changes in a flexible way, it can also be applied to any specific development strategy for the integration of conceptual design entities. Thus, such kind of formal communication models may provide a sound basis for cooperative CASE (computer-aided software engineering) tools.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. S.A. Dart, R.J. Ellison, P.H. Feiler, and A.N. Habermann, “Software development environments,”Computer, vol. 20, no. 11, pp. 18–28, November 1987.

    Google Scholar 

  2. St. Reder and R.G. Schwab, “The communication economy of the work group: Multi-channel genres of communication”,Office Technology and People, vol. 4, no. 3, 1989.

  3. L. Applegate, P. Knonsynski, and J.F. Nunamaker, “A group decision support system for idea generation and issue analysis in organizational planning,Proc. CSCW'86, ACM, Austin, TX, December 1986.

  4. A. Finkelstein and H. Fuks, “Multi-party specification”,Proc. 5th Int. Workshop on Software Specification and Design, ACM, Pittsburgh, PA, pp. 185–195, May 1989.

  5. Th. Gilb, “CSCW and software engineering,”Tech. Rep., University of Geneva, 1989.

  6. S.A. Ellis, S.J. Gibbs and G.L. Rein, “Groupware: Some issues and experiences”,Commun. ACM, vol. 14, no. 1, pp. 38–58, January 1991.

    Google Scholar 

  7. A. Holt, “Diplans: A new language for the study and implementation of coordination”,ACM Trans. Office Information Syst., vol. 6, no. 2, pp. 109–125, 1988.

    Google Scholar 

  8. Th. Gilb, “LIZA: An Extensible groupware toolkit,”Proc. CHI'89, ACM, pp. 29–35, Austin, TX, May 1989.

  9. S.A. Ellis and S.J. Gibbs, “Concurrency control in groupware systems”,Proc. SIGMOD'89, ACM, pp. 399–407, Portland, 1989.

  10. D. Henderson and P.B. Notkin, “Integrated design and programming environments,”Computer, vol. 20, no. 11, pp. 12–16, November 1987.

    Google Scholar 

  11. D.E. Webster, “Mapping the design information representation terrain”,Computer, vol. 21, no. 12, pp. 8–23, December 1988.

    Google Scholar 

  12. J. Walpole, G.S. Blair, J. Malik, and J.R. Nicol, “Maintaining consistency in distributed software engineering environments”,Proc. 8th Int. Conf. Distributed Computing Systems, San Jose, CA, pp. 418–425, June 1988.

  13. J.Y. Halpern and R. Fagin, “Modeling knowledge and action in distributed systems”,Dist. Comput., vol. 3, no. 4, pp. 159–177, September 1989.

    Google Scholar 

  14. I. Greif and S. Sarin, “Data sharing in group work”,Proc. CSCW'86, I. Greif, ed., MCC, Austin, TX, pp. 157–191, December 1986.

  15. Ch. Stary and M. Stumptner, “Covering organizational changes by formal communication models,”Proc. ICO'91, Int. Conf. Cognitive Science, Montreal, pp. 112–119, April 1991.

  16. G.P. Huber, “Issues in the design of group decision support systems”,MIS Quarterly, pp. 195–205, September 1984.

  17. T. DeMarco and T. Lister,Peopleware: Productive Projects and Teams, New York: Dorset House, 1987.

    Google Scholar 

  18. R. Johansen,Groupware: Computer Support for Business Teams, New York: Free Press, Macmillan, 1988.

    Google Scholar 

  19. T.W. Malone, K.R. Grant, F.A. Turbak, St.A. Brobst and M.D. Cohen, “Intelligent information-sharing systems,Commun. ACM, vol. 30, no. 5, pp. 390–402, May, 1987.

    Google Scholar 

  20. M. Jarke, M.T. Jelassi and M.F. Shakun, “MEDIATOR: Towards a negotiation support system”, in:European J. Operational Res., vol. 3, September, 1987.

  21. D. Henderson, Jr. Austin and St.C. Card, “Rooms: The use of multiple virtual workspaces to reduce space contention in a window-based graphical user interface,ACM Trans. Graphics, vol. 5, no. 3, July 1986.

  22. F.G. Halasz, T.P. Moran and R.H. Trigg, “NoteCards in a nutshell”,Proc. CHI'87, ACM, Toronto, Canada, April 1987.

  23. M.E. Hodges, R.M. Sasnett and M.S. Ackermann, “A construction set for multi-media applications,”IEEE Software, January 1989.

  24. M.J. Jakiela and W.J. Orlikowski, “Back to the drawing board? Computer-mediated communication tools for engineers”,Tech. Rep., MIT, CC STR #109-SSWP#, Cambridge, MA, March 1990.

  25. J. Yates and W.J. Orlikowski, “Mediated communication in organizations”, CCSTR no. 110, SSWO no. 3148-90, April 1990.

  26. V. Nguyen and K.J. Perry, “Knowledge, communication, and time,Preprints to Proc. IFIP TC2 Working Conference on Knowledge and Data (DS-2), Portugal, pp. J1–J25, November 1986.

  27. P. Panangaden, K. Taylor, “Concurrent common knowledge: A new definition of agreement for asynchronous systems”,Proc. 7th ACM Symp. Principles of Distributed Computing, pp. 197–209, 1988.

  28. U. Pankoke-Babatz (ed.), T. Danielson, P.A. Pays, W. Prinz and R. Speth,Computer Based Group Communication—The AMIGO Activity Model, London: Ellis Horwood, 1989.

    Google Scholar 

  29. J. Dollimore and S. Willbur, “Experiences in building a configurable CSCW-system”,Studies in CSCW: Theory, Practice, and Design, J. Bowers and St. Benford, eds., New York: Elsevier, 1991.

    Google Scholar 

  30. G. Abowd, “Agents: Communicating interactive processes,”Proc. INTERACT'90, IFIP, August 1990.

  31. J. Maresh and D. Wastell, “Process modeling and CSCW: An application of IPSE technology to medical office work,Proc. INTERACT'90, IFIP, August 1990.

  32. D. McDermott, “A temporal logic for reasoning about process and planning,Cognitive Sci., vol. 6, pp. 101–155, 1982.

    Google Scholar 

  33. St. Reder and R.G. Schwab, “The temporal structure of cooperative activity,”Proc. CSCW'90, ACM, 1990.

  34. G.M. White, “A formal method for specifying temporal properties of the multi-user interface,”Proc. Int. Conf. Multi-User Interfaces and Applications, IFIP TC 8, Heraklion, Greece, September 1990.

  35. M. Stefik, G. Foster, K. Bobrow, S. Kahn and L. Suchman, “Beyond the chalkboard: Computer support for collaboration and problem solving in meetings,”Commun. ACM, vol. 30, no. 1, pp. 32–47, January 1987.

    Google Scholar 

  36. G. DeSanctis and R.B. Gallupe, “A foundation for the study of group decision support systems,”Management Sci., vol. 3, no. 5, pp. 589–609, 1987.

    Google Scholar 

  37. Sycara, K.P., “Resolving Conflicts via Negotiation”, in: Proceedings AAAI '88, pp. 295–299, 1988.

  38. T.X. Bui and M. Jarke, “Communications design for Co-Op: A group decision support system,ACM Trans. Office Information Syst., vol. 4, no. 2, April 1986.

  39. J.S. Rosenschein and M.R. Genesereth, “Deals among rational agents,”Proc. IJCAI'85, Los Angeles, CA, pp. 91–99, August 1985.

  40. S.E. Toulmin,The Uses of Arguments, Cambridge, MA: Cambridge University Press, 1958.

    Google Scholar 

  41. D.G. Lowe, “Cooperative structuring of information: The representation of reasoning and debate,”Int. J. Man-Machine Studies, vol. 23, pp. 97–111, 1985.

    Google Scholar 

  42. J. Conklin and M.L. Begemann, “gIBIS: A hypertext tool for exploratory policy discussion”,ACM Trans. Office Information, vol. 6, no. 4, pp. 303–331, October 1988.

    Google Scholar 

  43. G. Zlotkin and Rosenschein, “Negotiation and task sharing among autonomous agents in cooperative domains,”Proc. IJCAI'89, Detroit, MI, pp. 912–917, August 1989.

  44. J.G. Galliers, “A strategic framework for multi-agent cooperative dialogue,” in:Proc. ECAI'88, Y. Kodratoff, ed., GI, pp. 415–420, Munich, Germany, 1988.

  45. G. Estrin, R. Fenchel, R. Razouk and M. Vernon, SARA: “Modelling, analysis, and simulation support for design of concurrent systems,IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 293–311, February 1986.

    Google Scholar 

  46. C.C. Woo and F.H. Lochovsky, “Supporting distributed office problem solving in organizations,”ACM Trans. Office Information Syst., vol. 4, no. 3, pp. 185–204, July 1986.

    Google Scholar 

  47. M.G. Fugini and S. Pozzi, “An approach to distributed conceptual design of office systems,”Proc. IFIP Working Conference WG 8.4, B. Pernici and A. Verrijn-Stuart, eds., pp. 92–115, Linz, Austria, August 1988.

  48. B. Pernici, F. Barbic, M.G. Fugini, R. Maiocchi, J.R. Rames and C. Rolland, “C-TODOS: An automatic tool for office systems conceptual modelling,”ACM Trans. Office Information Syst., vol. 7, no. 4, pp. 378–419, October 1989.

    Google Scholar 

  49. F. Gomez and B. Chandrasekaran, “Knowledge organization and distribution for medical diagnosis,”IEEE Trans. Syst., Man, Cybern., vol. SCM-11, no. 11, pp. 34–42, January 1981.

    Google Scholar 

  50. Th. Gilb,Principles of Software Engineering Management, Reading, MA, Addison-Wesley, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

This work has been sponsored by the Max Kade Foundation, New York.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stary, C. Modeling collaboration for large-scale software system integration by formal communication models. Journal of Systems Integration 2, 121–143 (1992). https://doi.org/10.1007/BF02267030

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02267030

Key Words

Navigation