Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Software Process Technology

EWSPT 1994: Software Process Technology pp 152–162Cite as

Distribution and change: Investigating two challenges for process enactment systems

  • Conference paper
  • First Online:

  • 148 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 772))

Abstract

Process enactment systems are inherently distributed; a single central server cannot be assumed, and the configuration and behaviour of nodes is dynamic. Hence we require distributed enactment models majoring on process mobility, with a framework for reasoning about and controlling change. We have built tools to investigate such dynamic process enactment systems, using the Document Flow Model (DFM) as a vehicle and adopting ideas from Milner's π-calculus.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. A. Agha. Actors: A Model of Concurrent Computation in Distributed Systems MIT Press, Cambridge, Massachusetts, 1986.

    Google Scholar 

  2. ANSA: An engineer's introduction to the architecture. available from Architecture Projects Management Limited, November 1989. Release TR.03.02.

    Google Scholar 

  3. ANSA: A system designer's introduction to the architecture. available from Architecture Projects Management Limited, April 1991. Release RC.253.00.

    Google Scholar 

  4. ANSA: An application programmer's introduction to the architecture. available from Architecture Projects Management Limited, November 1991. Release TR.017.00.

    Google Scholar 

  5. S. Bandinelli and A. Fuggetta. Computational reflection in software process modelling: the SLANG approach. In Proceeding of 15th International Conference on Software Engineering, Baltimore, Maryland, May 17–23 1993.

    Google Scholar 

  6. R.F. Bruynooghe, R.M. Greenwood, I. Robertson, J. Sa, R.A. Snowdon, and B.C. Warboys. Towards a total process modelling system: A case study using ISPW-6. book chapter — in preparation.

    Google Scholar 

  7. R.F. Bruynooghe, J.M. Parker, and J.S. Rowles. PSS: A system for process enactment. In Proceedings of the First International Conference on the Software Process, pages 142–158, Redondo Beach, California USA, October 1991.

    Google Scholar 

  8. R. Conradi and M.L. Jaccheri Techniques for process model evolution in EPOS IEEE Transactions in Software Engineering, 19(9), September 1993. to appear.

    Google Scholar 

  9. S. Eisenbach and R. Paterson. π-calculus semantics for concurrent configuration language Darwin. to appear in Hawaii International Conference on System Sciences, Koloa, Hawaii, 1993.

    Google Scholar 

  10. C. Fernström. PROCESS WEAVER: Adding process support to UNIX. In Proceedings of the Second International Conference on the Software Process, pages 12–26, Berlin, Germany, February 1993.

    Google Scholar 

  11. R.M. Greenwood, M.R. Guy, and D.J.K. Robinson. The use of a persistent language in the implementation of a process support system. ICL Technical Journal, 8(1):108–130, May 1992.

    Google Scholar 

  12. S. Hilditch and T. Thomson. Distributed detection of deadlock. ICL Technical Journal, May 1993.

    Google Scholar 

  13. G. Kiczales, J. des Rivieres, and D. Bobrow. The Art of the Metaobject Protocol. MIT Press, Cambridge, Massachusetts, 1991.

    Google Scholar 

  14. J. Kramer. Configurable distributed systems — editorial. Software Engineering Journal, March 1993.

    Google Scholar 

  15. J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11), November 1990.

    Google Scholar 

  16. R. Milner. The polyadic π-calculus: a tutorial. In The Proceedings of the International Summer School on Logic and Algebra of Specification, Marktobberdorf, 1991. modified version of Report ECS-LFCS-91-180 from LFCS Edinburgh.

    Google Scholar 

  17. R. Milner. Elements of interaction. Communications of the ACM, 36(1):78–89, January 1993.

    Google Scholar 

  18. J.A. Padget et al. Special edition of Lisp and Symbolic Computation, 6(1–2), September 1993.

    Google Scholar 

  19. C. Queinnec and D. De Roure. Design of a concurrent and distributed language. In Parallel Symbolic Computing: Languages, Systems, and Applic ations, Cambridge, Massachusetts, October 14–17 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electronics and Computer Science, University of Southampton, SO9 5NH, Southampton, UK

    Neil Berrington, David De Roure, R. Mark Greenwood & Peter Henderson

Authors
  1. Neil Berrington
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David De Roure
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Mark Greenwood
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Henderson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Brian C. Warboys

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Berrington, N., De Roure, D., Greenwood, R.M., Henderson, P. (1994). Distribution and change: Investigating two challenges for process enactment systems. In: Warboys, B.C. (eds) Software Process Technology. EWSPT 1994. Lecture Notes in Computer Science, vol 772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57739-4_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-57739-4_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57739-3

  • Online ISBN: 978-3-540-48326-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation