This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Prism-Methodology and Process-Oriented Environment
December 1991 (vol. 17 no. 12)
pp. 1270-1283

The Prism model of engineering processes and an architecture which captures this model in its various components are described. The architecture has been designed to hold a product software process description the life-cycle of which is supported by an explicit representation of a higher-level (or meta) process description. The central part of this paper describes the nine-step Prism methodology for building and tailoring process models and gives several scenarios to support this description. In Prism, process models are built using a hybrid process modeling language that is based on a high-level Petri net formalism and rules. An important observation is that this environment should be seen as an infrastructure for carrying out the more difficult task of creating sound process modelsn.

[1] T. Teitelbaum and T. Reps, "The Cornell Program Synthesizer: A syntax directed programming environment,"Commun. ACM, vol. 24, no. 9, pp. 563-573, Sept. 1981.
[2] "The GANDALF Project,"J. Syst. Software, vol. 5, no. 2, May 1985.
[3] M. Dowson, Ed., "Iteration in the software process," inProc. 3rd Int. Software Process Workshop. Los Alamitos: CA, IEEE Computer Soc. Press, 1986.
[4] C. Tully, Ed., "Representing and enacting the software process," inProc. 4th Int. Software Process Workshop, ACM SIGSOFT(Moretonhampstead, Devon, UK), 1988, vol. 14, no. 4.
[5] L. Osterweil, "Software processes are software too," inProc. 9th Int. Conf. Software Engineering, Monterey, CA, Mar. 1987, pp. 2-13.
[6] M. M. Lehman, "Process models, process programs, programming support," inProc. 9th Int. Conf. on Software Eng. Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 14-16.
[7] B. Curtis, H. Krasner, V. Shen, and N. Iscoe, "On building software process models under the lamppost," inProc. 9th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 96-103.
[8] G. Schiffner and H. P. Godbersen, "Function nets: a comfortable tool for simulating database system architectures,"Simulation, vol. 46, no. 5, pp. 201-210, May 1986.
[9] L. Brownston,Programming Expert Systems in OPS5: An Introduction to Rule Based Programming. Reading, MA: Addison-Wesley, 1985.
[10] C. Lewerentz and A. Schuerr, "GRAS--a management system for graph-like documents, " inProc. 3rd Int. Conf. on Data and Knowledge Bases. Jerusalem: Morgan Kaufmann, 1988, pp. 19-31.
[11] R.N. Tayloret al., "Next generation software environments: Principles, Problems, and Research Directions," Univ. California, Irvine, Tech. Rep. No. 87-16, July 1987.
[12] W. Deiters, V. Gruhn, and W. Schäfer, "Systematic development of formal software process models," inProc. European Software Eng. Conf. (ESEC '89)(LNCS 387), Ghezzi and McDermid, Eds. Berlin: Springer-Verlag, 1989, pp. 100-117.
[13] N. Wirth,Programming in Modula-2, 3rd ed. Berlin: Springer-Verlag, 1985.
[14] G. E. Kaiser and P. Feiler, "An architecture for intelligent assistance in software development," inProc. 9th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 180-188.
[15] R. Pallman and H. Truemmner, "Design and implementation of a program generator based on function nets," Univ. Berlin, Diploma thesis, Aug. 1984 (in German).
[16] G. Lamprecht,Introduction to the programming language SIMULA. Vieweg: Braunschweig, 1982 (in German).
[17] G. Engels, M. Nagl, and W. Scháfer, "On the structure of structure-oriented editors for different applications," inProc. ACM SIGSOFT/SIGPLAN Software Eng. Symp. Practical Software Development Environments, (ACM SIGPLAN Notices), Jan. 1987, vol. 22, no. 1, 190-198.
[18] D. L. Parnas and D. M. Weiss, "Active design reviews: principles and practices," inProc. 8th Int. Conf. on Software Eng.(London). Aug. 1985, pp. 132-136.
[19] N. H. Madhavji, "Fragtypes: a basis for programming environments,"IEEE Trans. Software Eng., vol. 14, pp. 85-97, Jan. 1988.
[20] D. P. Schwartz, "Software evolution management: an integrated discipline for managing software," inProc. 9th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 388-398.
[21] W.R. Adrion, M.A. Brandstad, and J.C. Cherniavsky, "Validation, verification, and testing of computer software,"Computing Surveys, vol. 14, no. 2, pp. 159-191, June 1982.
[22] R. N. Taylor, "Analysis of concurrent software by cooperative application of static and dynamic techniques," inSoftware Validation, H. L. Hausen, Ed. Amsterdam: Elsevier Science, 1984, pp. 127-137.
[23] J. Fagerstroem, "Design and test of distributed applications," inProc. 10th Int. Conf. on Software Eng. Singapore: IEEE Computer Soc. Press, 1988, pp. 88-92.
[24] R. H. Carver and K. C. Tai, "Reproducible testing of concurrent programs based on shared variables, "Proc. Distributed Syst., pp. 428-433, 1986.
[25] C. V. Ramamoorthy, K. H. Kim, and W. T. Chen, "Optimal placement of software monitors aiding systematic testing,"IEEE Trans. Software Eng., vol. SE-1, pp. 403-411, Dec. 1975.
[26] D. R. Jeffrey and V. R. Basili, "Validating the TAME resource data model," inProc. 10th Int. Conf. Software Engineering, Singapore, 1988, pp. 187-201.
[27] P. J. Denning, "Virtual memory,"ACM Comput. Surveys, vol. 2, pp. 153-189, 1970.
[28] V. R. Basili and H. D. Rombach, "Tailoring the software process to project goals and environments, " inProc. 9th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1987, pp. 345-357.
[29] S. G. Crawford and M. H. Fallah, "Software development process audits--a general procedure," inProc. 8th Int. Conf. on Software Eng.(London), Aug. 1985, pp. 137-141.
[30] Proc. 9th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1987.
[31] Proc. 10th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1988.
[32] Proc. 11th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1989.
[33] D. E. Perry and G. E. Kaiser, "Models of software development environments," inProc. 10th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1988, pp. 60-68.
[34] M. Dowson, "ISTAR--an integrated project support environment,"IEEE Software, pp. 6-15, Nov. 1987.
[35] D. Perry, "The Inscape Environment," inProc. 11th Int. Conf. Software Engineering, IEEE, 1989, pp. 2-12.
[36] J. Ramanathan and S. Sarkar, "Providing customized assistance for software lifecycle approaches,"IEEE Trans. Software Eng., vol. 14, pp. 749-757, June 1988.
[37] B. Boehm and F. Belz, "Applying process programming to the spiral model," inProc. 4th Int. Software Process Workshop, ACM SIGSOFT(Moretonhampstead, Devon, UK), 1988, vol. 14, no. 4, pp. 46-56.
[38] L. G. Williams, "Software process modeling: a behavioral approach," inProc. 10th Int. Conf. on Software Eng.Los Alamitos, CA: IEEE Computer Soc. Press, 1988, pp. 174-186.
[39] C. V. Ramamoorthy, V. Garg, and R. Aggarwal, "Environment modeling and activity management in Genesis," inProc. SOFTAIR-II, 1985, pp. 2-9.
[40] L. Osterweil, "Automated support for the enactment of rigorously described software processes, " inProc. 4th Int. Software Process Workshop, ACM SIGSOFT(Moretonhampstead, Devon, UK), 1988, vol. 14, no. 4, pp. 122-125.
[41] C. Roberts, "Describing and acting process models with PML," inProc. 4th Int. Software Process Workshop, ACM SIGSOFT(Moretonhampstead, Devon, UK), 1988, vol. 14, no. 4, pp. 136-141.
[42] V.R. Basili and H.D. Rombach, "The Tame Project: Towards Improvement-Oriented Software Environments,"IEEE Trans. Software Eng., Vol. SE-14, No. 6, June 1988, pp. 758-773.
[43] R. S. D'Ippoloito and C. P. Plinta, "Software development using models," inProc. 5th Int. Workshop on Software Spec. and Design, May 1989, pp. 140-142.
[44] N. H. Madhavji, "The Prism model of changes," inProc. 13th Int. Conf. on Software Eng. Los Alamitos, CA: IEEE Computer Soc. Press, 1991, pp. 166-177.
[45] N. H. Madhavji, K. Toubache, and W. Hong, "Towards building reliable process models," School Comput. Sci., McGill Univ., Montreal, PQ, Can., Tech. Rep. ProM-91.1, p. 28, Mar. 1991.
[46] N. H. Madhavji, "The Process cycle,"Software Eng. J.Special Issue on "Software Process and Its Support," to be published.
[47] N. H. Madhavji, K. Toubache, and W. Hong, "Procuring quality process models through constraint-based specifications and iterations support," School Comput. Sci., McGill Univ., Montreal, PQ, Can., Tech. Rep. ProM-91.4, Sept. 1991.
[48] N. H. Madhavji, K. Toubache, and W. Hong, "A framework for process evolution," School Comput. Sci., McGill Univ., Montreal, PQ, Can., Tech. Rep. ProM-91.3, Sept. 1991.

Index Terms:
process-oriented environment; Prism model; product software process description; hybrid process modeling language; high-level Petri net formalism; rules; Petri nets; software engineering
Citation:
N.H. Madhavji, W. Schafer, "Prism-Methodology and Process-Oriented Environment," IEEE Transactions on Software Engineering, vol. 17, no. 12, pp. 1270-1283, Dec. 1991, doi:10.1109/32.106987
Usage of this product signifies your acceptance of the Terms of Use.