Systematic review of software process modeling and analysis

Ruan Jian Xue Bao/Journal of Software

Volumn 20, Issue 3, 2009, Pages 524-545

  Li, Ming Shu ^a   Yang, Qiu Song ^a,b   Zhai, Jian ^a,b  

^a INSTITUTE OF SOFTWARE   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

Analysis; Modeling; Software process; Systematic review

Indexed keywords

ENGINEERING RESEARCH; PROCESS MONITORING;

ANALYSIS; DEVELOPMENT PROCESS; ENGINEERING ACTIVITIES; EXISTING METHODS; MODELING; PROCESS MODELS; QUALITY OF SOFTWARES; SOFTWARE PROCESS; SOFTWARE PROCESS MODELING; SOFTWARE QUALITIES; SYSTEMATIC REVIEW;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 63749101596     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2009.03432     Document Type: Article

References (112)

1. Lonchamp J. A structured conceptual and terminological framework for software process engineering. In: Proc. of the ICSP. 1993. 41-53. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber= 236823&isnumber=6077
2. Montangero C, Derniame JC, Kaba BA, Warboys B. The software process: Modelling and technology. In: Derniame JC, BAK, Wastell DG, eds. Proc. of the Software Process: Principles, Methodology, Technology. Springer-Verlag, 1999. 1-14.
3. SEI. CMMI for Development, Version 1.2-Improving Processes for Better Products. SEI, CMU, 2006.
4. Humphrey WS. A Discipline for Software Engineering. Boston: Addison-Wesley Longman Publishing Co., Inc., 1995.
5. Dion R. Process improvement and the corporate balance sheet. IEEE Software, 1993, 10(4): 28-35.
6. Kinnula A. Software Process Engineering Systems: Models And Industry Cases. ACTA Universitatis Ouluensis, 2001.
7. Arbaoui S, Derniame J-C, Oquendo Fav, Verjus He. A comparative review of process-centered software engineering environments. Annal of Software Engineering, 2002, 14(1-4): 311-340.
8. Gruhn V. Process-Centered software engineering environments. A brief history and future challenges. Annals Software Engineering, 2002, 14(1-4): 363-382.
9. Osterweil LJ. Software processes are software too. In: Proc. of the 9th Int'l Conf. on Software Engineering (ICSE'87). IEEE Computer Society Press, 1987. 2-13.
10. Osterweil LJ. Software processes are software too, revisited: An invited talk on the most influential paper of ICSE 9. In: Proc. of the 19th Int'l Conf. on Software Engineering (ICSE'97). ACM, 1997. 540-548.
11. Conradi R, Jaccheri ML. Process modelling languages. In: Derniame JC, Wastell DG, eds. Proc. of the Software Process: Principles, Methodology, Technology. Springer-Verlag, 1999. 27-52.
12. Zamli KZ, Lee PA. Taxonomy of process modeling languages. In: Proc. of the ACS/IEEE Int'l Conf. on Computer Systems and Applications (AICCSA 2001). IEEE Computer Society, 2001. 435-437.
13. Zamli KZ, Isa NAM. A survey and analysis of process modeling languages. Malaysian Journal of Computer Science, 2004, 17(2): 68-89.
14. Dowson M, Fernstrom C. Towards requirements for enactment mechanisms. In: Proc. of the 3rd European Workshop on Software Process Technology (EWSPT'94). Springer-Verlag, 1994. 90-106.
15. Kneuper R. Requirements on software process technology from the viewpoint of commercial software development: Recommendations for research directions. In: Proc. of the 6th European Workshop on Software Process Technology (EWSPT'98). Springer-Verlag, 1998. 111-115.
16. Pohl K, Weidenhaupt K, Domges R, Haumer P, Jarke M, Klamma R. PRIME-Toward process-integrated modeling environments. ACM Trans. on Software Engineering and Methodology, 1999, 8(4): 343-410.
17. Kitchenham B. Procedures for performing systematic reviews. Software Engineering Group, Department of Computer Science Keele University Keele, 2004.
18. Pai M, McCulloch M, Gorman JD, Pai N, Enanoria W, Kennedy G, Tharyan P, Colford JMJ. Systematic reviews and meta-analyses: An illustrated, step-by-step guide. The National Medical Journal of India, 2004, 17(2): 86-95.
19. Hannay JE. A systematic review of theory use in software engineering experiments. IEEE Trans. on Software Engineering, 2007, 33(2): 87-107.
20. Kitchenham BA, Mendes E, Travassos GH. Cross versus within-company cost estimation studies: A systematic review. IEEE Trans. on Software Engineering, 2007, 33(5): 316-329.
21. Jorgensen M, Shepperd M. A systematic review of software development cost estimation studies. IEEE Trans. on Software Engineering, 2007, 33(1): 33-53.
22. Zhao X, Chan K, Li M. Applying agent technology to software process modeling and process-centered software engineering environment. In: Proc. of the 2005 ACM Symp. on Applied Computing (SAC 2005). ACM, 2005. 1529-1533.
23. Ahmed-Nacer M. Towards a new approach on software process evolution. In: Proc. of the ACS/IEEE Int'l Conf. on Computer Systems and Applications (AICCSA 2001). IEEE Computer Society, 2001. 345-351.
24. Coleman G. An empirical study of software process in practice. In: Proc. of the 38th Annual Hawaii Int'l Conf. on System Sciences (HICSS 2005)-Track 9. IEEE Computer Society, 2005. 315-320.
25. Vanzin M, Ribeiro MB, Prikladnicki R, Ceccato I, Antunes D. Global software processes definition in a distributed environment. In: Proc. of the 29th Annual IEEE/NASA on Software Engineering Workshop (SEW 2005). IEEE Computer Society, 2005. 57-65.
26. Padberg F. Linking software process modeling with markov decision theory. In: Proc. of the 28th Annual Int'l Computer Software and Applications Conf.-Workshops and Fast Abstracts (COMPSAC 2004). IEEE Computer Society, 2004. 152-155.
27. Yoon IIC, Min SY, Bae DH. Tailoring and verifying software process. In: Proc. of the 8th Asia-Pacific on Software Engineering Conf. (APSEC 2001). IEEE Computer Society, 2001. 202-209.
28. Lee S, Shim J, Wu C. A meta model approach using UML for task assignment policy in software process. In: Proc. of the 9th Asia-Pacific Software Engineering Conf. on APSEC 2002. IEEE Computer Society, 2002. 376-382.
29. Padberg F. Using process simulation to compare scheduling strategies for software projects. In: Proc. of the 9th Asia-Pacific Software Engineering Conf. on APSEC 2002. IEEE Computer Society, 2002. 581-590.
30. Ceravolo P, Damiani E, Marchesi M, Pinna S, Zavatarelli F. A ontology-based process modelling for XP. In: Proc. of the 10th Asia-Pacific Software Engineering Conf. on Software Engineering Conf. (APSEC 2003). IEEE Computer Society, 2003. 236-242.
31. Atkinson DC, Weeks DC, Noll J. The design of evolutionary process modeling languages. In: Weeks DC, ed. Proc. of the Software Engineering Conf. on 2004 11th Asia-Pacific. Washington: IEEE Computer Society, 2004. 73-82.
32. Huo M, Zhang H, Jeffery R. A systematic approach to process enactment analysis as input to software process improvement or tailoring. In: Proc. of the XIII Asia Pacific Software Engineering Conf. on APSEC 2006. IEEE Computer Society, 2006. 401-410.
33. Bendraou R, Combemale B, Cregut X, Gervais MP. Definition of an Executable SPEM 2.0. In: Proc. of the 14th Asia-Pacific Software Engineering Conf. on APSEC 2007. IEEE Computer Society, 2007. 390-397.
34. Meng X, Wang Y, Shi L, Wang F. A process pattern language for agile methods. In: Proc. of the 14th Asia-Pacific Software Engineering Conf. on APSEC 2007. IEEE Computer Society, 2007. 374-381.
35. Park S, Choi K, Yoon K, Bae DH. Deriving software process simulation model from SPEM-based software process model. In: Choi K, ed. Proc. of the Asia-Pacific Software Engineering Conf. on APSEC 2007. 2007. 382-389.
36. Yin R, Hu H, Ge J, Lu J. Quantitative analysis of value-based software processes using decision-based stochastic object Petri-nets. In: Proc. of the Asia-Pacific Software Engineering Conf. on APSEC 2007. 2007. 526-533.
37. Helland T, Grundy J, Hosking J. A service-oriented architecture for software process technology. In: Proc. of the Australian Software Engineering Conf. (ASWEC 2006). IEEE Computer Society, 2006. 132-141.
38. Franch X, Ribó JM. A structured approach to software process modelling. In: Proc. of the 24th Conf. on EUROMICRO. IEEE Computer Society, 1998. 753-762.
39. Cares C, Franch X, Mayol E, Alvarez E. Goal-Driven agent-oriented software processes. In: Proc. of the 32nd EUROMICRO Conf. on Software Engineering and Advanced Applications (EUROMICRO 2006). IEEE Computer Society, 2006. 336-347.
40. Becker-Kornstaedt U, Belau W. Descriptive process modeling in an industrial environment experience and guidelines. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 176-189.
41. Becker-Kornstaedt U, Neu H, Hirche G. Software process technology transfer: Using a formal process notation to capture a software process in industry. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001. 63-76.
42. Becker S, Jager D, Schleicher A, Westfechtel B. A delegation based model for distributed software process management. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001. 130-144.
43. Balust JMR, Franch X. Building expressive and flexible process models using a UML-Based approach. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001. 152-172.
44. Podnar I, Mikac B, Caric A. SDL based approach to software process modeling. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 190-202.
45. Wang AI. Support for mobile software processes in CAGIS. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 115-130.
46. Bhuta J, Boehm BW, Meyers S. Process elements: Components of software process architectures. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005. 332-346.
47. Yang Q, Li M, Wang Q, Yang G, Zhai J, Li J, Hou L, Yang Y. An algebraic approach for managing inconsistencies in software processes. In: Proc. of the Int'l Conf. on Software Processes (ICSP 2007). LNCS 4470, Springer-Verlag, 2007. 121-133.
48. Ge J, Hu H, Lu P, Hu H, Lu J. Translation of nets within nets in cross-organizational software process modeling. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005. 360-375.
49. Li M. Expanding the horizons of software development processes: A 3-D integrated methodology. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005. 54-67.
50. Chen B, Avrunin GS, Clarke LA, Osterweil LJ. Automatic fault tree derivation from Little-JIL process definitions. In: Proc. of the Int'l Software Process Workshop and Int'l Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006). LNCS 3966, Springer-Verlag, 2006. 150-158.
51. Li M, Yang Q, Zhai J, Yang G. On mobility of software processes. In: Proc. of the Int'l Software Process Workshop and Int'l Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006). LNCS 3966, Springer-Verlag, 2006. 105-114.
52. Wang Q, Xiao J, Li M, Nisar MW, Yuan R, Zhang L. A process-agent construction method for software process modeling in SoftPM. In: Proc. of the Int'l Software Process Workshop and Int'l Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006). LNCS 3966, Springer-Verlag, 2006. 204-213.
53. Li M. Assessing 3-D integrated software development processes: A new benchmark. In: Proc. of the Int'l Software Process Workshop and Int'l Workshop on Software Process Simulation and Modeling (SPW/ProSim 2006). LNCS 3966, Springer-Verlag, 2006. 15-38.
54. Gary K, Lindquist T, Koehnemann H, Derniame J. Component-Based software process support. In: Proc. of the 13th IEEE Int'l Conf. on Automated Software Engineering (ASE 1998). IEEE Computer Society, 1998. 196-199.
55. Bendraou R, Gervais MP, Blanc X. UML4SPM: An executable software process modeling language providing high-level abstractions. In: Proc. of the 10th IEEE Int'l Enterprise Distributed Object Computing Conf. (EDOC 2006). IEEE Computer Society, 2006. 297-306.
56. Reis CAL, Reis RQ, Abreu M, Schlebbe H, Nunes DJ. Flexible software process enactment support in the APSEE model. In: Proc. of the IEEE 2002 Symp. on Human Centric Computing Languages and Environments (HCC 2002). IEEE Computer Society, 2002. 112-121.
57. Acuna ST, Sosa MDV. An integral software process formal model based on the SOCCA approach. In: Sosa MDV, ed. Proc. of the XX Int'l Conf. of the Chilean Computer Science Society (SCCC 2000). 2000. 162-171.
58. Gruhn V, Urbainczyk J. Software process modeling and enactment: An experience report related to problem tracking in an industrial project. In: Proc. of the 20th Int'l Conf. on Software Engineering (ICSE 1998). IEEE Computer Society, 1998. 13-21.
59. Cass AG, Lerner BS, Sutton JSM, McCall EK, Wise A, Osterweil LJ. Little-JIL/Juliette: A process definition language and interpreter. In: Proc. of the 22nd Int'l Conf. on Software Engineering (ICSE 2000). ACM, 2000. 754-757.
60. Ge J, Hu H, Gu Q, Lu J. Modeling multi-view software process with object petri nets. In: Proc. of the Int'l Conf. on Software Engineering Advances (ICSEA 2007). IEEE Computer Society, 2006. 41-46.
61. Tran HN, Coulette B, Dong BT. Modeling process patterns and their application. In: Proc. of the Int'l Conf. on Software Engineering Advances (ICSEA 2007). IEEE Computer Society, 2007. 15-20.
62. Baldassarre MT, Caivano D, Visaggio CA, Visaggio G. ProMisE: A framework for process models customization to the operative context. In: Proc. of the 2002 Int'l Symp. on Empirical Software Engineering (ISESE 2002). IEEE Computer Society, 2002. 103-110.
63. Francisco R, Aurora V, Felix G, Piattini M. Using XMI and MOF for representation and interchange of software processes. In: Proc. of the 14th Int'l Workshop on Database and Expert Systems Applications (DEXA 2003). IEEE Computer Society, 2003. 739-744.
64. Franch X, Ribo JM. Using UML for modelling the static part of a software process. In: Proc. of the 2nd Int'l Conf. on Unified Modeling Language Beyond the Standard (UML 1999). Springer-Verlag, 1723, 1999. 292-307.
65. Maurer F, Dellen B. Internet based software process support. In: Proc. of the 7th Workshop on Enabling Technologies (WETICE 1998). IEEE Computer Society, 1998. 27-32.
66. Cook JE, Wolf AL. Software process validation: Quantitatively measuring the correspondence of a process to a model. ACM Trans. on Software Engineering Methodology, 1999, 8(2): 147-176.
67. Doppke JC, Heimbigner D, Wolf AL. Software process modeling and execution within virtual environments. ACM Trans. on Software Engineering Methodology, 1998, 7(1): 1-40.
68. Jaccheri ML, Picco GP, Lago P. Eliciting software process models with the E3 language. ACM Trans. on Software Engineering Methodology, 1998, 7(4): 368-410.
69. Dami S, Estublier J, Amiour M. APEL: A graphical yet executable formalism for process modeling. Automated Software Engineering, 1998, 5(1): 61-96.
70. Deiters W, Gruhn V. Process management in practice applying the FUNSOFT net approach to large-scale processes. Automated Software Engg., 1998, 5(1): 7-25.
71. Min SY, Lee HD, Bae DH. SoftPM: A software process management system reconciling formalism with easiness. Information and Software Technology, 2000, 42(1): 1-16.
72. Aalst WMPvd. Formalization and verification of event-driven process chains. Information and Software Technology, 1999, 41(10): 639-650.
73. Atkinson DC, Weeks DC, Noll J. Tool support for iterative software process modeling. Information and Software Technology, 2007, 49(5): 493-514.
74. Breu R, Huber W, Schwerin W. A conformity model of software processes. Information and Software Technology, 2001, 43(5): 339-349.
75. Chou SC, Chen JJY. Process evolution support in concurrent software process language environment. Information and Software Technology, 1999, 41(8): 507-524.
76. Fuggetta A, Jaccheri ML. Dynamic partitioning of complex process models. Information and Software Technology, 2000, 42(4): 281-291.
77. Henderson-Sellers B, Gonzalez-Perez C. A comparison of four process metamodels and the creation of a new generic standard. Information and Software Technology, 2005, 47(1): 49-65.
78. Odeh M, Kamm R. Bridging the gap between business models and system models. Information and Software Technology, 2003, 45(15): 1053-1060.
79. Smith H. Business process management-the third wave: Business process modelling language (bpml) and its pi-calculus foundations. Information and Software Technology, 2003, 45(15): 1065-1069.
80. Wallace C. Using Alloy in process modelling. Information and Software Technology, 2003, 45(15): 1031-1043.
81. Wangenheim CGv, Weber S, Hauck JCR, Silva GTd. Experiences on establishing software processes in small companies. Information and Software Technology, 2006, 48(9): 890-900.
82. Canfora G, GarcíaFel, Piattini M, Ruiz F, Visaggio CA. A family of experiments to validate metrics for software process models. Journal of Systems and Software, 2005, 77(2): 113-129.
83. Donzelli P, Iazeolla G. Hybrid simulation modelling of the software process. Journal of Systems and Software, 2001, 59(3): 227-235.
84. Kellner MI, Madachy RJ, Raffo D. Software process simulation modeling: Why? What? How? Journal of Systems and Software, 1999, 46(2-3): 91-105.
85. Pfahl D, Lebsanft K. Integration of system dynamics modelling with descriptive process modelling and goal-oriented measurement. Journal of Systems and Software, 1999, 46(2-3): 135-150.
86. Cobleigh JM, Clark LA, Osterweil LJ. Verifying properties of process definitions. SIGSOFT Software Engineering Notes, 2000, 25(5): 96-101.
87. Estublier J, Amiour M, Dami S. Building a federation of process support systems. SIGSOFT Software Engineering Notes, 1999, 24(2): 197-206.
88. Dirk J, Schleicher A, Westfechtel B. Using UML for software process modeling. SIGSOFT Software Engineering Notes, 1999, 24(6): 91-108.
89. Cugola G. Tolerating deviations in process support systems via flexible enactment of process models. IEEE Trans. on Software Engineering, 1998, 24(11): 982-1001.
90. Donzelli P, Iazeolla G. A hybrid software process simulation model. Software Process: Improvement and Practice, 2001, 6(2): 97-109.
91. Barros MdO, Werner CaML, Travassos GH. A system dynamics metamodel for software process modeling. Software Process: Improvement and Practice, 2002, 7(3-4): 161-172.
92. Object Management G. Unified Modeling Language (UMLircledR). 2007. http://www.omg.org/spec/UML/Current
93. Object Management G. Software process engineering metamodel (SPEM). 2005. http://www.omg.org/technology/documents/formal/spem.htm
94. Object Management G. Meta object facility (MOF). 2006. http://www.omg.org/spec/MOF/2.0/
95. Object Management G. Ontology definition metamodel (ODM). 2007. http://www.omg.org/cgi-bin/doc?ptc/2007-09-09
96. Chen PP-S. The entity-relationship model-Toward a unified view of data. ACM Trans. on Database System, 1976, 1(1): 9-36.
97. Costin Badica, Amelia Badica, Litoiu V. Role activity diagrams as finite state processes. In: Proc. of the 2nd Int'l Symp. on Parallel and Distributed Computing (ISPDC 2003). IEEE Computer Society, 2003. 15-22.
98. Heimann P, Joeris G, Krapp CA, Westfechtel B. DYNAMITE: Dynamic task nets for software process management. In: ICSE '96: Proc. of the 18th Int'l Conf. on Software engineering. IEEE Computer Society, 1996. 331-341.
99. Int'l Telecommunication U. Series Z: Lanuages and General Software Apects for Telecommunication Systems-Formal Description Techniques (FDT)-Specification and Description Language (SDL). 1999. http://www.itu.int/ITU-T/studygroups/com10/languages/Z.100_1199.pdf
100. Valk Rud. Object Petri nets: Using the nets-within-nets paradigm. In: Lectures on Concurrency and Petri Nets. Springer-Verlag, 2003. 819-848.
101. Hoare CAR. Communicating Sequential Processes. Upper Saddle River: Prentice-Hall, Inc., 1985.
102. Sangiorgi D, Walker D. PI-Calculus: A Theory of Mobile Processes. New York: Cambridge University Press, 2001.
103. Zambonelli F, Omicini A. Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems, 2004, 9(3): 253-283.
104. Belkhatir N, Estublier J, Melo Wel. ADELE-TEMPO: An environment to support process modelling and enaction. In: Software Process Modelling and Technology. Taunton: Research Studies Press Ltd., 1994. 187-222.
105. Cassandras CG, Lafortune S. Introduction to Discrete Event Systems. Secaucus: Springer-Verlag, Inc., 2006.
106. Kirkwood CW. System dynamic models: A quick introduction. 1998. http://www.public.asu.edu/-kirkwood/sysdyn/SDIntro/SDIntro.htm
107. Herbsleb JD, Moitra D. Guest editors' introduction: Global software development. IEEE Software, 2001, 18(2): 16-20.
108. Souza CRBD. Global software development: Challenges and Perspectives. http://citeseer.ist.psu.edu/457465.html, 2002.
109. Cleaveland R, Li T, Sims S. The concurrency workbench of the new century: User's manual. SUNY at Stony Brook, 2000.
110. Holzmann GJ. The model checker SPIN. IEEE Trans. on Software Engineering, 1997, 23(5): 279-295.
111. Bor V. A verification tool for the polyadic π-calculus. Department of Computer Systems, Uppsala University, 1994.
112. Milner R, Joachim P, Walker D. A calculus of mobile processes-part I and II. Journal of Information and Computation, 1992, 100: 1-77.