Abstract
Process systems aim to support many people involved in many processes over a long period of time. They provide facilities for storing and manipulating processes in both the representation and enactment domains. This paper argues that process systems should support ongoing transformations between these domains, at any level of granularity. The notion of creating an enactment model instance from a representation is merely one special case transformation. The case for thinking in terms of model instances is weak, especially when process evolution is considered. This argument is supported by our experience of the ProcessWeb process system facilities for developing and evolving process models. We introduce the idea of hyper-code, which supports very general transformations between representation and enactment domains, to offer the prospect of further improvements in this area.
This is a preview of subscription content, log in via an institution to check access.
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
Chaudet, C., Greenwood, R.M., Oquendo, F. and Warboys, B.C.: Architecture-driven software engineering: specifying, generating, and evolving component-based software systems. IEE Proc.-Software 147, 6 (2000) 203–214
Connor, R.C.H., Cutts, Q.I., Kirby, G.N.C., Moore, V.S. and Morrison, R.: Unifying Interaction with Persistent Data and Program. In: Sawyer, P. (ed): Interfaces to Database Systems. Springer-Verlag, In Series: Workshops in Computing, van Rijsbergen, C.J. (series ed) (1994) 197–212
Dowson, M., and Fernström B.C.: Towards Requirements for Enactment Mechanisms. In: Proceedings of the Third European Workshop on Software Process Technology, LNCS 775, Springer-Verlag, (1994) 90–106
Feiler, P.H., and Humphrey, W.S.: Software Process Development and Enactment:Concepts and Definitions. In: Proceedings of the 2nd International Conference on Software Process, Berlin, (1993) 28–40
Finkelstein, A., Kramer, J., and Nuseibeh, B. (eds): Software Process Modelling and Technology. Research Studies Press, (1944)
Greenwood, R.M., Warboys, B.C., and Sa, J.: Co-operating Evolving Components-a Formal Approach to Evolve Large Software Systems. In: Proceedings of the 18th International Conference on Software Engineering, Berlin, (1996) 428–437
Greenwood, M., Robertson, I. and Warboys, B.: A Support Framework for Dynamic Organisations. In the Proceedings of the 7th European Workshop on Software Process Technologies, LNCS 1780, Springer-Verlag, (2000) 6–21
Kirby, G.N.C., Connor, R.C.H., Cutts, Q.I., Dearle, A., Farkas, A.M. and Morrison, R.: Persistent Hyper-Programs. In Albano, A. and Morrison, R. (eds): Persistent Object Systems. Springer-Verlag, In Series: Workshops in Computing, van Rijsbergen, C.J. (series ed) (1992) 86–106.
Kirby, G.N.C., Cutts, Q.I., Connor, R.C.H. and Morrison, R.: The Implementation of a Hyper-Programming System. University of St. Andrews (1993)
Kirby, G.N.C.: Persistent Programming with Strongly Typed Linguistic Reflection. In: Proceedings 25th International Conference on Systems Sciences, Hawaii (1992) 820–831.
Morrison, R., Connor, R.C.H., Cutts, Q.I., Dustan, V.S., Kirby, G.N.C.: Exploiting Persistent Linkage in Software Engineering Environments. Computer Journal, 38, 1 (1995) 1–16
Morrison, R., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Munro, D.S. and Warboys, B.C.: A Compliant Persistent Architecture. Software Practice and Experience, Special Issue on Persistent Object Systems, 30, 4, (2000) 363–386
ProcessWise Integrator: PML Reference Manual, ICL/PW/635/0, April 1996. PML predefined class definitions available at http://processweb.cs.man.ac.uk/doc/pml-ref/Index.htm (accessed on 18 Jan 2001)
ProcessWeb: service and documentation http://processweb.cs.man.ac.uk/ (accessed on 18 Jan 2001)
Sa, J., and Warboys B.C.: A Reflexive Formal Software Process Model. In: Proceedings of the Fourth European Workshop on Software Process Technology, LNCS 913, Springer-Verlag, (1995) 241–254
Sutton, Jr., S.M., Tarr, P.L., and Osterweil, L.: An Analysis of Process Languages. CMPSCI Technical Report 95-78, University of Massachusetts, (1995)
Warboys, B.C., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Morrison, R., and Munro, D.S.: Instances and Connectors: Issues for a Second Generation Process Language. In: Proceedings of the Sixth European Workshop on Software Process Technology, LNCS 1487, Springer-Verlag (1998) 135–142
Warboys B.C., Kawalek P., Robertson T., and Greenwood R.M.: Business Information Systems: a Process Approach. McGraw-Hill, Information Systems Series, (1999)
Warboys, B. (ed.): Meta-Process. In Derniame, J.-C., Kaba, B.A., and Wastell, D. (eds.): Software Process: Principles, Methodology, and Technology, LNCS 1500, Springer-Verlag (1999) 53–93
Zirintsis, E., Dunstan, V.S., Kirby, G.N.C. and Morrison, R.: Hyper-Programming in Java. In Morrison, R., Jordan, M. & Atkinson, M.P. (eds): Advances in Persistent Object Systems. Morgan Kaufmann (1999) 370–382
Zirintsis, E., Kirby, G.N.C., and Morrison, R.: Hyper-Code Revisited: Unifying Program Source, Executable and Data. In Proc. 9th International Workshop on Persistent Object Systems, Lillehammer, Norway, (2000)
Zirintsis, E.: Towards Simplification of the Software Development Process: The Hyper-Code Abstraction. Ph.D. Thesis, University of St Andrews, (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Greenwood, R.M. et al. (2001). Reflection and Reification in Process System Evolution: Experience and Opportunity. In: Ambriola, V. (eds) Software Process Technology. EWSPT 2001. Lecture Notes in Computer Science, vol 2077. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45752-6_3
Download citation
DOI: https://doi.org/10.1007/3-540-45752-6_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42264-8
Online ISBN: 978-3-540-45752-7
eBook Packages: Springer Book Archive