Responsive image
博碩士論文 etd-0615106-185619 詳細資訊
Title page for etd-0615106-185619
論文名稱
Title
從循序圖到類別圖之轉換方法論
A Methodology for Transformation from Sequence Diagram to Class Diagram
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
150
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2006-04-28
繳交日期
Date of Submission
2006-06-15
關鍵字
Keywords
類別圖、統一塑模語言、超模型、轉換、循序圖
sequence diagram, metamodel, UML, transformation, class diagram
統計
Statistics
本論文已被瀏覽 5956 次,被下載 1665
The thesis/dissertation has been browsed 5956 times, has been downloaded 1665 times.
中文摘要
今日,運用統一塑模語言(UML)與電腦開發輔助工具(CASE)來建構軟體系統已經成為物件導向分析與設計的主流。為了增加軟體系統開發流程的自動化轉換與再利用的程度,過去的研究假定大部份的類別圖可以藉由循序圖直接轉換而得。然而,目前卻缺乏有關轉換的詳細規則指導。本研究提出了一個衍生自Selonen et al(2003)所提出的轉換方法論,以進一步將循序圖轉換到類別圖。本論文使用一個真實世界的案例來說明這些概念與其應用的優點。藉由這個方法,系統開發者可以將大部份的循序圖自動轉換到其相關對應的類別圖,並進而改善系統開發的效率。
Abstract
Today, modeling the software with unified modeling language (UML) and computer-aided software engineering (CASE) tool becomes the main stream for the objected-oriented systems analysis and design. To enhance the degree of ransformation automation and reuse in the system development process, prior research suggested that most parts of the class diagram can be transformed from the sequence diagram directly. However, the explicit guideline for the transformation is lacking. This study presents a methodology, extended from Selonen et al (2003), to transform the sequence diagram into the class diagram. A real-world case using the integrated techniques is presented to illustrate the concepts, application, and the advantages of using the proposed approach. With this approach, the system developer can transform most parts of the sequence diagram into its associated class diagram automatically and thereby enhance the efficiency of system development.
目次 Table of Contents
Table of Contents
1 INTRODUCTION...........................................1
1.1 Background and Motivation...........................1
1.2 Scope and Objective .............................2
1.3 Research Process .............................4
1.4 Thesis overview .............................5
2 LITERATURE REVIEW .............................6
2.1 UML ...............................................6
2.2 Agile Modeling ......................................8
2.3 MDA ..............................................10
2.3.1 Why model .....................................11
2.3.2 Models,modeling,and MDA ...................12
2.4 Transformations between UML diagrams ..........15
2.5 Phase of Transformation Operation ..........18
2.6 Metamodel and MOF ............................19
2.6.1 MOF (Meta Object Facility) ...................21
2.6.2 Understanding Metamodeling ...................22
2.6.3 Mapping between Metalevels: ...................24
2.6.4 The relation between mapping and transformation .25
2.6.5 Pattern-Based Model Transformation ..........27
2.6.6 Requirements for a Transformation Rule ..........30
2.7 Techniques for Transformation Operations ..........31
2.8 Object Constraint Language (OCL) ...................31
2.8.1 Self .....................................33
2.8.2 Context .....................................33
2.8.3 Invariants .....................................33
2.8.4 Basic Values and Types ...................33
2.8.5 Enumeration Types ............................34
2.8.6 Precedence Rules ...........................34
2.8.7 Keywords ....................................35
2.8.8 Comment ....................................35
2.8.9 Initial and Derived Values .................36
2.8.10 Standard operator for the Boolean type .......36
2.8.11 Objects and Properties ................37
2.8.12 Properties ..................................37
2.8.13 Properties: Attributes........................38
2.8.14 Properties: Operations .................38
2.8.15 Properties: Association Ends and Navigation 39
2.8.16 Navigation over Associations with Multiplicity Zero or One .............................................40
2.8.17 String ....................................40
2.8.18 Collections ...................................40
2.8.19 Collection Operations..........................41
2.8.20 Collect Operation ...........................41
2.8.21 Stenography for Collect ..................42
2.8.22 ForAll Operation ...........................43
2.8.23 Exists Operation ...........................43
2.8.24 Iterate Operation ...........................44
2.8.25 Operations on Collection Types .........44
2.8.26 Tuples and Tuple Types ..................45
2.9 Class Diagram ....................................46
2.9.1 Metamodel of Class Diagram and Sequence Diagram 46
2.9.2 Metamodel of Class Diagram ..................47
2.9.3 Class ....................................49
2.9.4 Property ....................................50
2.9.5 Operation ....................................51
2.9.6 Association ....................................52
2.9.7 AssociationEnd ...........................54
2.9.8 Generalization ...........................55
2.10 Sequence Diagram ...........................57
2.10.1 Metamodel of Sequence Diagram ..................57
2.10.2 Interaction ....................................59
2.10.3 Lifeline ....................................60
2.10.4 EventOccurrence ...........................61
2.10.5 ExecutionOccurrence ...........................61
2.10.6 Message and MessageEnd ..................62
2.10.7 Stop ....................................63
2.10.8 StateInvariant and Constraint ..................63
2.11 Stereotype: ....................................64
2.12 Sketch of Proof of Correctness ..................66
2.13 Related Work ....................................67
3 TRANSFORMATION OPERATION ...........................68
3.1 Framework of transformation ..................68
3.2 Mapping .....................................69
3.2.1 Define our own metamodel for transformation 70
3.2.2 Steps of the Mapping for the Class Diagram: 74
3.2.3 Steps of the Mapping for Sequence Diagram: 77
3.3 Transformation Rules: ............................79
3.3.1 Using Push Approach: ............................82
1 Lifeline to Class ............................82
2 Message to Association, Operation and attribute 83
2.1 Eventoccurrence to Association ...................83
2.2. Message to Operation ............................86
2.3 Executionoccurrence to Attribute ...................87
3 StateInvariant to Constraint ...................89
3.3.2 Using Pull Approach: ............................89
3.4 Transformation Rules in OCL expression ..........94
3.4.1 Transformation from Sequence diagram to Class diagram ..............................................97
3.5 Summary of transformation rules ..................104
4. EXAMPLE TRANSLATIONS ...........................107
4.1 Dynamic Behavior Modeling ..................109
4-2 Mapping: ....................................110
4-3 Transformation from Sequence diagram to Class diagram .............................................117
4-4 Sketch of Proof of Correctness ..................123
5. CONCLUSION AND FUTURE WORK ..................127
5.1 Conclusion ....................................127
5.2 Future Work ....................................129
REFERENCE: ....................................131
參考文獻 References
Ahmed, K., Developing Enterprise Java Applications with J2EE and UML. Addison Wesley 2001.
Alanen, A., and Ivan Porres,I., “Difference and Union of Models, Lecture Notes in Computer Science”, Publisher: Springer-Verlag GmbH , ISSN: 0302-9743 , Subject: Computer Science , Volume 2863 / 2003
Alistair Cockburn, A.,”Writing Effective Use Cases”, Addison-Wesley
Álvarez1,J., Evans2,A., Sammut2,P., Mapping between Levels in the Metamodel Architecture, Lecture Notes In Computer Science; Vol. 2185 Proceedings of the
4th International Conference on The Unified Modeling Language, Modeling
Languages, Concepts, and Tools Pages: 34 - 46 Year of Publication: 2001
ISBN:3-540-42667-1 Springer-Verlag London,UK
Ambler S., Agile Modeling: Effective Practices for Extreme Programming and the Unified
Process. Wiley & Sons, New York, 2002.
AMBLER, S.W., THE OBJECT PRIMER third edition,Cambridge University Press 2004
Atkinson, C., Kuhne, Th., Calling a Spade a Spade in the MDA Infrastructure,
Metamodelling for MDA First International Workshop ,York, UK, November 2003
Proceedings
B´ezivin, J., Hammoudi, S., Lopes,Fr´ed´eric Jouault, D., Applying MDA Approach For Web
Service Platform, Proceedings of the 8th IEEE Intl Enterprise Distributed Object
Computing Conf (EDOC 2004) 2004 IEEE
Baily,K. D., Methods of Social Research, The Free Press,1982
BÄohme, H., SchÄutze,G., and Voigt,K., Component Development: MDA Based
Transformation from eODL to CIDL ,A. Prinz, R. Reed, and J. Reed (Eds.): SDL 2005,
LNCS 3530, pp. 68. Springer-Verlag Berlin Heidelberg 2005
Beck K. A., Fire (Column on the Test-First Approach). IEEE Software, 18(5):87-89,2001.
Bloomfield, T., MDA,Meta-Modelling,and Model Transformation: introduction New
Technology into the Defence Industry, A. Hartman and D. Kreische (Eds.): ECMDA-FA
2005, LNCS 3748, pp. 9 – 18, 2005.
Blostein,D., Fahmy, H., Grbavec, A., Practical Use of Graph Rewriting, Technical Report No.
95-373, Department of Computing and Information Science, Queen’s University,
Kingston, Ontario, Canada, January, 1995.
Booch, G., Object Solutions – Managing the Object-Oriented Project, Reading, MA:
Addison- Wesley, 1995.
Brown, W.A., “Expert’s voice Model driven architecture: Principles and practice”, Published
online: 3 August 2004 –   Springer-Verlag 2004
Chi-liang, L., Specifying Class constraint and operation using Object Constraint Language ,
Department of Information Management, National Sun Yat-Sen University,2006.1
Cordes,Bj., Ho"lscher,Ka., Diploma Thesis UML Interaction Diagrams: Correct Translation
of Sequence Diagrams into Collaboration Diagrams, University of Bremen Department
of Computer Science, April 24, 2003
Costa1,P.D., Pires1,L.F., Sinderen1,M.v., and Filho2, J.G.P., Towards a Services Platform
for Mobile Context-Aware Applications, In Proceeding of the 1st International
Workshop on Ubiquitous Computing(IWUC), Porto, Portugal, 2004
D’Ambrogio, A., A Model Transformation Framework for the Automated Building of
Performance Models from UML Models, Workshop on Software and Performance
Proceedings of the 5th international workshop on Software and performance
2005
Eriksson, H., Penker, M., Lyons, B., Fado,D., “UML™ 2 Toolkit”, Wiley Punishing .Inc
Flower,M.,”UML Distilled (3rd 2004)”, Addison Wesley
G. Rozenberg (ed.), “Handbook on Graph Grammars and Computing by Graph
Transformation: Foundations”, Vol.1-2. World Scientific, Singapore, 1997.
GEORGIADOU, E., BERKI, E.,CORDERO,M.D.B., ROSS, M., and STAPLES,G., Towards
Formalised Guidelines for Migrating Structured Designs to UML: A Case Study,
Software Quality Journal, 13, 31–69, 2005 Springer Science + Business Media, Inc.
Manufactured in The Netherlands.
Godin, R., and Mili, H., Building and Maintaining Analysis-Level Class Hierarchies Using
Galois Lattices, In Proceedings of the 8th Annual Conference on Object-Oriented
Programming Systems, Languages, and Applications,Washington, DC, USA, Sept. 26 –
Oct. 1 1993, pp. 394-410.
Gogolla, M., Graph Transformations on the UML Metamodel,
Gogolla, M., Graph Transformations on the UML Metamodel, Proc. ICALP Workshop Graph
Transformations and Visual Modeling Techniques, Andrea Corradini and Reiko Heckel,
Eds., Carleton Scientic, Waterloo, Canada, 2000
Jacobson, I., et al. (1992), “Object-Oriented Software Engineering – A Use Case-Driven
approach”, Reading, MA: Addison-Wesley, 1992.
Jacobson, I., Griss, M., Jonsson, P. (1997), “Software Reuse – Architecture, Process and
Organisation for Business Success”, ACM Press, Addison-Wesley Longman.
Jay F. Nunamaker, Jr., Systems Development in Information Systems Research, System
Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International
Conference on Volume iii, 2-5 Jan. 1990 Page(s):631 - 640 vol.3
Jen-Her, W., ”Object-Oriented System Analysis and Design,third edition”, Best Wise 2005
Jian-chih, L., Transformation form Sequence Diagram to Class Diagram, Department of
Information Management, National Sun Yat-Sen University, 2004
Jin Liu, J., Keqing, H., Bing, L., Chengwan, H., Peng,L., A Transformation Definition
Metamodel for Model Transformation, Proceedings of the International Conference on
Information Technology: Coding and Computing (ITCC’05)0-7695-2315-3/05 IEEE
Judson, S.R., Pattern-Based Model Transformation, OOPSLA’03, October 26–30, 2003,
Anaheim, California, USA. ACM.
Juei-Lung, C., MDA: Transformation from Class Diagram to User Interface”, Department of
Information Management, National Sun Yat-Sen University,2005.6
Kleppe, A.,Warmer j., WimBast, “MDA Explained: The Model Driven Architecture™:
Practice and Promise”, Addison Wesley, April 21, 2003
Kühne, T., Understanding Metamodeling, ICSE’05, May 15–21, 2005, St. Louis, Missouri,
USA. ACM 1-58113-963-2/05/0005.
Kühnei,Th., Understanding Metamodeling,ICSE’05, May 15–21, 2005, St. Louis, Missouri,
USA.ACM 1-58113-963-2/05/0005.
Levendovszky1,Ti.,Karsai1, Ga.,Maroti1, Mi.,Ledeczi1, A., Hassan Charaf2, Model reuse
with metamodel-based transformations, in: C. Gacek (Ed.), ICSR, Vol. 2319 of Lecture
Notes in Computer Science, Springer, 2002.
Link J., Fröhlich P. Unit Tests mit Java. Der Test-First-Ansatz. dpunkt.verlag
Heidelberg,2002.
Mellor, S. J., Scott, K., Uhl, A., and Weise,D., MDA Distilled: Principles of Model-Driven
Architecture,Addison-Wesley, 2004
metamodel.com, http://www.metamodel.com/,2005
Obrenovic, Z.; Starcevic, D.; Selic, B., A Model-Driven Approach to Content Repurposing,;
Multimedia, IEEE Volume 11, Issue 1, Jan-March 2004 Page(s):62 - 71 Digital Object
Identifier 10.1109/MMUL.2004.1261109
OMG, MDA Guide Version 1.0.1, www.omg.org/mda/, copyright @2003 OMG
OMG, Meta Object Facility (MOF) 2.0 Core Specification, ptc/03-10-04, 2003.
OMG, Meta Object Facility, Version 1.3,OMG document,formal/00-11-02(2000)
OMG, Object management Group, www.omg.org, 2005
OMG, UML 2.0 OCL Specification, http://www.omg.org/docs/ptc/03-10-14.pdf,2003
OMG, Unified Modeling Language (UML) Specification: Infrastructure
OMG, Unified Modeling Language (UML) Specification: Infrastructure .Version 2.0, ptc/03-
09-15, 2003a.
OMG, Unified Modeling Language (UML) Specification: Superstructure. Version 2.0,
formal/05-07-04, 2005.
OMG, Unified Modeling Language (UML) Specification: Superstructure. Version 2.0,
ptc/03-08-02, 2003b.
OMG, Unified Modeling Language Specification Version 1.4.2, formal/05-04-01, ISO
version, ISO/IEC 19501:2005(E)
OMG, XML Metadata Interchange (XMI), Version 1.1,OMG document,formal/00-11-02
Padilla, G., Serrano, M.A., de Oca, C.M., A UML sequence diagram extension to handle
multiplicities, Computer Science, 2004. ENC 2004. Proceedings of the Fifth Mexican
International Conference In 2004 Page(s):80 - 87
Padilla, G.., Serrano, M.A., de Oca, C.M., A UML sequence diagram extension to handle
multiplicities, Computer Science, 2004. ENC 2004. Proceedings of the Fifth Mexican
International Conference in, 2004 Page(s):80 - 87 Digital Object Identifier
10.1109/ENC.2004.1342592
Pender, T., “UMLTM Bible” published by Willey Publishing,Inc 2003.
Priestley, M.,”Practical Object-Oriented Design with UML” , McGRAW-HILL International
Editions Published by BestWise Co.,Ltd, 2004
QVT Partners, Initial Submission for MOF 2.0 Query / View / Transformations RFP, QVTPartners,
2003 http: // qvtp.org / downloads / 1.0 / qvtpartners1.0.pdf
Rumbaugh, J., Blaha M., Premerlani, W., Eddy, F. and Lorensen, W., Object-Oriented
Modeling and Design, Englewood Cliffs, NJ:Prentice-Hall International,1991.
Rumbaugh, J., Booch, G., and Jacobson, I., “The Unified Modeling Language Reference
Manual”, Addison-Wesley, Reading, MA, 1999.
Rumbaugh, J., et al. (1991), “Object-Oriented Modeling and Design”, Prentice Hall, 1991.
Rumbaugh, J., Jacobson, I.,and Booch, G., “The Unified Modeling Language User Guide “,
Addison-Wesley, 1999.
Rumpe, B., Agile Modeling with the UML, M. Wirsing et al. (Eds.): RISSEF 2002, LNCS
2941, pp. 297–309, 2004.© Springer-Verlag Berlin Heidelberg 2004
Selic B., the Pragmatics of Model-Driven Development. IEEE Software 20(5), September
Selonen P. and Systä T., Scenario-based Synthesis of Annotated Class Diagrams in UML, In
Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, pp.
26-31, Technical Report 20, Tampere University of Technology,2000
Selonen, P., Koskimies, K., and Sakkinen, M., Transformations between UML diagrams,
Journal of Database Management 14(3), 37-55, July-Sep 2003 37
Selonen, P., Koskimies, K., and Sakkinen1, M., How to Make Apples from Oranges in UML,
Proceedings of the 34th Hawaii International Conference on System Sciences – 2001,
IEEE
Siedersleben J., Denert E. Wie baut man Informationssysteme? Überlegungen zur
Standardarchitektur. Informatik Spektrum, 8/2000:247-257, 2000.
Stojanovic1,Z., Dahanayake1, A., Sol2, H., A Methodology Framework for Component-
Based System Development Support, the sixth CaiSE/IFIP8.1 International Workshop
on Evaluation of Modeling Methods in Systems Analysis and Design EMMSAD’01,
Interlaken, Switzerland, June 4-5 2001.
Sztipanovits J., Karsai G., “Model-Integrated Computing”, IEEE Computer, pp. 110-112,
April, 1997 version 2.0 ptc/03-09-15
Warmer, J., Kleppe, A., “The Object Constraint Language: Getting Your Models Ready for
MDA, Second Edition”, Publisher: Addison Wesley Pub Date: August 29, 2003, ISBN:
0-321-17936-6
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內外都一年後公開 withheld
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


紙本論文 Printed copies
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。
開放時間 available 已公開 available

QR Code