This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Software Process Model Evolution in the SPADE Environment
December 1993 (vol. 19 no. 12)
pp. 1128-1144

Software processes are long-lived entities. Careful design and thorough validation of software process models are necessary to ensure the quality of the process. They do not prevent, however, process models from undergoing change. Change requests may occur in the context of reuse, i.e. statically, in order to support software process model customization. They can also occur dynamically, while software process models are being executed, in order to support timely reaction as data are gathered from the field during process enactment. We discuss the mechanisms a process language should possess in order to support changes. We illustrate the solution adopted in the context of the SPADE environment and discuss how the proposed mechanisms can be used to model different policies for changing a software process model.

[1] L. Osterweil, "Software processes are software too," inProc. 9th Int. Conf. Software Engineering, Monterey, CA, Mar. 1987, pp. 2-13.
[2] M. Dowson, B. Nejmeh, and W. Riddle, "Fundamental software process concepts," inProc. First European Workshop Software Process Modeling, A. Fuggetta, R. Conradi, and V. Ambriola, Eds., Milano, Italy, AICA--Italian National Association for Computer Science, May 1991, pp. 15-37.
[3] P. Armenise, S. Bandinelli, C. Ghezzi, and A. Morzenti, "Software process representation languages: Survey and assessment," inProc. 4th Int. Conf. Software Engineering and Knowledge Engineering, Capri, Italy, IEEE, June 1992, pp. 455-462.
[4] C. Liu and R. Conradi, "Process modeling paradigms: An evaluation," inProc. First European Workshop Software Process Modeling, A. Fuggetta, R. Conradi, and V. Ambriola, Eds., Milano, Italy, AICA--Italian National Association for Computer Science, May 1991, pp. 39-52.
[5] N. H. Madhavji, "Environment evolution: The prism model of changes,"IEEE Trans. Software Eng., vol. 18, pp. 380-392, May 1992.
[6] D. Heimbigner, S. M. Sutton, and L. Osterweil, "Managing change in process-centered environments," inProc. 4th ACM/SIGSOFT Symp. Software Development Environments, Dec. 1990; inACM SIGPLAN Notices.
[7] V. Gruhn, "Validation and verification of software process models," Ph.D. dissertation, Univ. Dortmund, 1991.
[8] M. Suzuki, A. Iwai, and T. Katayama, "A formal model of re-execution in software process," inProc. 2nd Int. Conf. Software Process, Berlin, Germany, Feb. 1993.
[9] L. Jaccheri, J.-O. Larsen, and R. Conradi, "Software process modeling and evolution in EPOS," inProc. SEKE '92--Fourth Int. Conf. Software Engineering and Knowledge Engineering, Capri, Italy, IEEE Computer Spciety Press, June 1992, pp. 574-581.
[10] R. Bruynooghe, J. Parker, and J. Rowles, "PSS: A system for process enactment," inProc. First Int. Conf. Software Process, IEEE Computer Society Press, 1991.
[11] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[12] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[13] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[14] S. Bandinelli, A. Fuggetta, C. Ghezzi, and S. Grigolli, "Process enactment in SPADE," inProc. Second European Workshop Software Process Technology, Trondheim, Norway, Springer-Verlag, Sept. 1992.
[15] S. Bandinelli, A. Fuggetta, and S. Grigolli, "Process modeling in-the-large with SLANG," inProc. 2nd Int. Conf. Software Process, Berlin, Germany, Feb. 1993.
[16] S. Bandinelli and A. Fuggetta, "Computational reflection in software process modeling: The SLANG approach," inProc. 15th Int. Conf. Software Engineering, Baltimore, MD, IEEE, May 1993.
[17] C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzé, "A unified high-level petri net formalism for time-critical systems,"IEEE Trans. Software Eng., Feb. 1991.
[18] D. L. Parnas, "Designing software for ease of extension and contraction,"IEEE Trans. Software Eng., vol. 5, pp. 128-138, Mar. 1979.
[19] V. Gruhn and R. Jegelka, "An evaluation of FUNSOFT nets," inProc. Second European Workshop Software Process Technology. Trondheim, Norway: Springer-Verlag, Sept. 1992.
[20] N. S. Barghouti and G. E. Kaiser, "Scaling up rule-based software development environments," inProc. ESEC'91--Third European Software Engineering Conf., A. van Lamsweerde and A. Fuggetta, Eds., vol. 550 ofLecture Notes in Computer Science, Milano, Italy, Springer-Verlag, Oct. 1991.
[21] Marvel Group,Marvel 3.1 Manual, Columbia Univ., 1993.
[22] M. L. Jaccheri and R. Conradi, "Techniques for process model evolution in EPOS," Politecnico di Torino, Tech. Rep. DAI/SE/92/1, Oct. 1992.
[23] B. Peuschel and W. Schafer, "Concept and implementation of a rule based process engine," inProc. 14th Int. Conf. on Software Eng., pp. 262-277, 1992.
[24] H. Hünnekens, G. Junkermann, B. Peuschel, W. Schäfer, and J. Vagts, "A step towards knowledge-based software process modeling," inProc. First Conf. System Development Environments and Factories. London, England: Pitman, 1990.
[25] B. Peuschel, W. Schäfer, and S. Wolf, "A knowledge based software development environment supporting cooperative work,"Int. J. Software Eng. Knowledge Eng., vol. 2, pp. 79-106, Jan. 1992.
[26] R. Snowdon, "An example of process change," inProc. Second European Workshop Software Process Technology, Trondheim, Norway, Springer-Verlag, Sept. 1992.
[27] J. Kramer and J. Magee, "The evolving philosophers problem: Dynamic change management,"IEEE Trans. Software Eng., Nov. 1990.
[28] M. Felder, C. Ghezzi, and M. Pezzé, "Formal specification and timing analysis of high-integrity real-time systems," inProc. NATO Advanced Study Institute Real-Time Computing, St. Marteen, Oct. 1992.
[29] S. Bandinelli, M. Braga, A. Fuggetta, and L. Lavazza, "The architecture of the SPADE-1 process-centered SEE," to be presented at theProc. Third European Workshop Software Process Technol., Grenoble, France, Feb. 1994.
[30] O. Deux, "The O2system,"CACM, vol. 34, no. 10, Oct. 1991.
[31] Digital Equipment Corp., Maynard, MA,DEC FUSE Handbook, Version 1.1, Dec. 1991.
[32] H. J. Genrich, "Predicate transition nets," inAdvances in Petri Nets 1986 LNCS 254-255. Springer-Verlag, 1987.
[33] F. Jensen, "Coloured Petri nets," inAdvances in Petri Nets 1986 LNCS 254-255. Springer-Verlag, 1987.
[34] M. Felder, C. Ghezzi, and M. Pezzé, "High level timed nets as a kernel for executable specifications,"J. Real-Time Syst., May 1993.

Index Terms:
software process model evolution; SPADE environment; long-lived entities; change requests; reuse; software process model customization; timely reaction; process enactment; process language; SLANG; high-level Petri nets; formal languages; Petri nets; software engineering
Citation:
S.C. Bandinelli, A. Fuggetta, C. Ghezzi, "Software Process Model Evolution in the SPADE Environment," IEEE Transactions on Software Engineering, vol. 19, no. 12, pp. 1128-1144, Dec. 1993, doi:10.1109/32.249659
Usage of this product signifies your acceptance of the Terms of Use.