臺灣博碩士論文加值系統

應用整合能力成熟度模組(CMMI)技術提升軟體生產力與品質是目前國際間普遍認同的一種流程改善架構，也是世界各國資訊機構採行的能力提昇及認證的方法。CMMI藉由流程的改善提供一個機會來幫助組織改善產品品質、增加生產力與降低成本。CMMI的方法是彈性的，它定義了組織所應達到的程度，但是並沒有特別限制實作方法。因此，組織必須自己去定義流程來符合CMMI的要求。然而，由於流程定義缺乏一個統一的標準，使得流程改善小組人員在讀寫流程規範時產生了解的分歧與誤解。有鑒於UML 已成為系統設計的標準，本論文概推出一個以統一塑模語言 (UML)為基礎之方法來模組流程；同時透過物件限制語言(OCL)幫助我們做到自動化的流程確認。另一方面，為了讓其他沒有參與流程定義的人員可以體認工程流程改善小組所定義的流程，我們將建立的模組轉化為SimSE的流程模擬系統。透過此流程模擬系統，組織人員學習新流程的意願提高，並可了解組織流程的運作、大大降低試行專案的成本，進而達到流程驗證的目的。本研究的主要重點如下：

CMMI is now the de-facto industrial standard for process improvement. It provides a guideline to help organizations improve product quality, increase productivity and reduce their cost by improving their processes. CMMI is flexible in the sense that it defines what should be achieved, instead of confining the way on the how-to aspects. Organization must define their own processes to meet the requirements of CMMI. However, nowadays there is no process modeling language which is both easy-to read and unambiguous for EPG members to represent and define their processes. In this research, we propose an integrated approach to define, verify and validate an organization’s process. Our approach:

Acknowledgements..........................................................................................................i
中文摘要..........................................................................................................................ii
Abstract.........................................................................................................................iii
Table of Contents...........................................................................................................iv
List of Figures...............................................................................................................vii
List of Tables..................................................................................................................ix
Chapter 1 Introduction................................................................................................10
1.1 Motivation........................................................................................................10
1.2 Overview of Our Approach..............................................................................12
1.3 Thesis Organization..........................................................................................13
Chapter 2 Background Work......................................................................................14
2.1 Workflow...........................................................................................................14
2.2 Petri-Net...........................................................................................................15
2.3 Software Process Engineering Meta-model (SPEM)........................................15
2.4 Simulation of Software Engineering (SimSE)...................................................16
2.5 Capability Maturity Model Integration (CMMI)..............................................17
Chapter 3 Process Definition.......................................................................................19
3.1 Foundation........................................................................................................20
3.2 Process Structure..............................................................................................20
3.2.1 WorkArtifact...........................................................................................21
3.2.2 WorkProcess..........................................................................................22
3.2.3 WorkPractice and WorkStep..................................................................23
3.2.4 ProcessMember, ProcessOwner and ProcessPerformer.......................25
3.2.5 EntryCriteria and ExitCriteria..............................................................26
3.2.6 CMMI_PA, CMMI_Goal and CMMI_Practice.....................................26
3.3 Agile-SPEM as a UML Profile..........................................................................27
3.3.1 Mapping to UML Base Classes.............................................................28
3.3.2 Stereotypes of the Agile-SPEM Profile.................................................28
3.4 Methodology.....................................................................................................30
3.4.1 Modeling Static Process Structure with Class Diagram........................30
3.4.2 Modeling Behavior of Process Element with State-chart Diagram.......32
3.4.3 Modeling Dynamic Process Sequence with Activity Diagram.............33
3.5 Case Study........................................................................................................33
Chapter 4 Process Verification....................................................................................55
4.1 Defining Rules in Agile-SPEM Profile.............................................................55
4.2 Model Constraints Inherited from UML Meta-model......................................56
4.3 Process-Related Constraint in Agile-SPEM......................................................56
4.4 CMMI-Related Constraint in Agile-SPEM.......................................................58
4.5 Process Verification..........................................................................................60
4.6 Case Study........................................................................................................62
Chapter 5 Process Validation.......................................................................................67
5.1 Model Transformation......................................................................................67
5.1.1 Profile Transformation...........................................................................68
5.1.2 Class Diagram Transformation..............................................................69
5.1.3 Constraint Transformation.....................................................................69
5.1.4 State-chart Diagram Transformation.....................................................70
5.1.5 Activity Diagram Transformation..........................................................70
5.2 Simulation Model Revision..............................................................................70
5.2.1 Object Type Revision.............................................................................71
5.2.2 Start State Revision...............................................................................72
5.2.3 Action Revision.....................................................................................72
5.2.4 Graph/Map Construction.......................................................................73
5.3 Validation by Game-based Simulation.............................................................75
5.4 Case Study........................................................................................................76
Chapter 6 Conclusion...................................................................................................86
References.....................................................................................................................87

[1] S. Meilin and Y. Guangxin and X. Yong and W. Shangguang. Workflow management systems: a survey. Communication Technology Proceedings, 1998. ICCT ''98. 1998 International Conference on Volume vol.2, 22-24 Oct. 1998 Page(s):6 pp. vol.2.
[2] IDEAL process model main page. URL: http://www.sei.cmu.edu/ideal/
[3] T. M. Koulopoulos, The Workflow Imperatives: Building Real World Business Solution, Van Nostrand Reinghold, New York, 1995.
[4] M.D. Zisman, Representation, specification and automation of office procedures, Ph.D. Thesis, University of Pennsylvania, Wharton School of Business, 1997.
[5] W.M.P. van der Aalst, The application of Petri nets to workflow management, The Journal of Circuits Systems and Computers 8 (1)(1998) 21-66.
[6] F. Casati, S. Ceri, B. Pernici, G. Pozzi, Conceptual modeling of workflows, in: Proceedings of 14th Object Oriented and Entity-Relationship Approach, Gold Coast, Australia, Lecture Notes in Computer Science, vol. 1021, 12-15 December 1995, PP. 341-354.
[7] Workflow Management Coalition, The Workflow Reference Model, Document Number TC00-1003, Issue 1.1, June 1995.
[8] Workflow Management Coalition, Terminology and Glossary, Document Number TC-1011, Issue 2.0, June 1996.
[9] MWMS: Milan Workflow Management System, University degli di Milano, Italy. http://mercurio.sm.dsi.unimi.it/~gdemich/mwms.html.
[10] Workflow Management Coalition, http://www.aiim.org/wfmc/mainframe.htm.
[11] C.A. Petri, Kommunikation mit Automaten, Ph.D. Thesis, University Bonn, Germany, 1962.
[12] Workflow Software, http://www.workflowsoftware.com
[13] F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva, F.B. Vernadat, Practice of Petri Nets in Manufacturing, Chapman & Hall, London, 1993.
[14] W.M.P van der aAslst, J. Desel, A. Oberweis (Eds.), Business Process Management: Models, Techniques and Empirical Studies, Lecture Notes in Computer Science, vol. 1806, Springger, Berlin, 2000.
[15] W.M.P. ven der Aalst, Three good reasons for suing a Petri net-based workflow management system, in:S. Navathe, T. Wakayama (Eds.), Proceedings of the International Working Conference on Information and Process Integration in enterprises (IPIC’96), Cambridge, MA, 1996, pp. 179-201.
[16] W.M.P van der aAslst, Workflow verification: Finding control-flow errors using Petri net-based techniques, in [14], pp. 161-183.
[17] J. Desel, Validation of process models by construction of process nets, in [29], pp. 110-128.
[18] G.K. Janssens, J. Verelst, B.Weyn, Techniques for modeling workflows and their support of reuse, in [29], pp. 1-15.
[19] Software Process Engineering Metamodel Specification. URL:http://www.omg.org/technology/documents/formal/spem.htm
[20] The Website for SimSE, http://www.ics.uci.edu/~emilyo/SimSE/index.html
[21] CMMI main page. URL: http://www.sei.cmu.edu/cmmi/
[22] Unified Modeling Language Specification URL：http://www.uml.org/
[23] Object Constraint Language Specification. URL：http://www.klasse.nl/ocl/
[24] The Fundamental Rules of software Engineering, http://www.ics.uci.edu/~emilyo/SimSE/se_rules.html
[25] Emily Oh Navarro and André van der Hoek, Software Process Modeling for an Interactive, Graphical, Educational Software Engineering Simulation Game, In Proceedings of the 5th International Workshop on Software Process Simulation and Modeling, Edinburgh, Scotland, UK, May 2004
[26] Ferrari, M., R. Taylor, and K. VanLehn, Adapting Work Simulations for Schools. The Journal of Educational Computing Research, 1999. 21(1): p. 25-53.