软件过程建模方法研究
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60573082, 90718042 (国家自然科学基金); theNational High-Tech Research and Development Plan of China under Grant Nos.2006AA01Z185, 2007AA010303 (国家高技术研究发展计划(863)), the National Basic Research Program of China under Grant No.2007CB310802 (国家重点基础研究发展计划(973))


Systematic Review of Software Process Modeling and Analysis
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [78]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    通过软件开发实践,人们逐步地认识到软件产品的质量在很大程度上依赖于产品开发时所使用的过程.软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解,同时,可执行的(enactable)软件过程模型可以直接指导实际软件开发活动,进而规范软件开发行为并最终提高软件质量.为了系统地了解软件过程建模方法研究的现状和最新进展,采用系统评价(systematic review)方法对该领域最近10年的主要研究进行了概括和分析.从一系列的相关研究中,选出来自20 个会议和7 种期刊的72 篇文献,作为系统评价的依据.该系统评价回答了如下关于软件过程建模方法的3 个问题,以便从总体上概括和把握该领域的研究:1) 软件过程建模方法主要基于什么范式;2) 软件过程建模方法研究的主要目的集中在哪些方面;3) 软件过程建模方法的研究有哪些新的趋势.同时,在仔细回顾和分析软件过程建模领域研究现状的基础上,给出了一种多维度的集成化软件过程建模方法.该方法有助于解决过程建模领域所面临的主要问题.

    Abstract:

    Nowadays it has been widely accepted that the quality of software highly depends on the process that iscarried out in an organization. As part of the effort to support software process engineering activities, the researchon software process modeling and analysis is to provide an effective means to represent and analyze a process and,by doing so, to enhance the understanding of the modeled process. In addition, an enactable process model canprovide a direct guidance for the actual development process. Thus, the enforcement of the process model candirectly contribute to the improvement of the software quality. In this paper, a systematic review is carried out tosurvey the recent development in software process modeling. 72 papers from 20 conference proceedings and 7journals are identified as the evidence. The review aims to promote a better understanding of the literature byanswering the following three questions: 1) What kinds of paradigms are existing methods based on? 2) What kinds of purposes does the existing research have? 3) What kinds of new trends are reflected in the current research? Afterproviding the systematic review, we present our software process modeling method based on a multi-dimensionaland integration methodology that is intended to address several core issues facing the community.

    参考文献
    [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, Lü 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...
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

李明树,杨秋松,翟健.软件过程建模方法研究.软件学报,2009,20(3):524-545

复制
分享
文章指标
  • 点击次数:17613
  • 下载次数: 25820
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2008-04-03
  • 最后修改日期:2008-07-09
文章二维码
您是第19894350位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号