Automatically Deriving a UML Analysis Model from a Use Case Model

Total Page:16

File Type:pdf, Size:1020Kb

Automatically Deriving a UML Analysis Model from a Use Case Model Automatically Deriving a UML Analysis Model from a Use Case Model by Tao Yue, M.A.Sc. A thesis submitted to the Faculty of Graduate Studies and Research In partial fulfillment of the requirements for the degree of Doctor of Philosophy in Electrical and Computer Engineering Ottawa-Carleton Institute of Electrical and Computer Engineering (OCIECE) Department of Systems and Computer Engineering Carleton University Ottawa, Ontario, Canada, K1S 5B6 September 2010 Copyright © 2010 by Tao Yue i The undersigned recommend to the Faculty of Graduate Studies and Research acceptance of the thesis Automatically Deriving a UML Analysis Model from a Use Case Model submitted by Tao Yue, M.A.Sc. in partial fulfilment of the requirements for the degree of Doctor of Philosophy _________________________________________ Professor H. M. Schwartz, Department of Systems and Computer Engineering _________________________________________ Thesis Supervisor, Lionel C. Briand _________________________________________ Thesis Supervisor, Yvan Labiche _________________________________________ External Examiner, Robert B. France, Department of Computer Science, Colorado State University Carleton University September 2010 ii Abstract The transition from requirements expressed in Natural Language (NL) to a structured, precise specification is an important challenge in practice. It is particularly so for object- oriented methods, defined in the context of the OMG’s Model Driven Architecture (MDA). However, its automation has received little attention, mostly because requirements are in practice expressed in NL and are much less structured than other kinds of development artifacts. Such an automated transformation would enable at least the generation of an initial, likely incomplete, analysis model and enable automated traceability from requirements to code, through various intermediate models. In this thesis, we propose a method and a tool, building on existing work, to automatically generate analysis models from requirements. Such models include class, sequence and activity diagrams to describe the structure and behavior of a system. It also includes automatically establishing traceability links between the requirements and the automatically generated analysis model. Requirements are assumed to be modeled with our use case modeling approach (RUCM), which we showed to have enough expressive power, to be easy to apply, to help improve the quality of manually derived analysis models. Seven (six) case studies were performed to compare class (sequence) diagrams generated by our tool to the ones created by experts, Masters students, and trained, 4th year undergraduate students. Our results show that our method performs well when compared to reference diagrams. Further, statistical test results show that our tool significantly outperforms 4th year engineering students, thus demonstrating the value of automation. Performance analysis results show that the execution time of the tool remains within a range of a few minutes, thus suggesting the approach is scalable. Five case studies were performed to assess our approach’s capability to generate activity diagrams. The results show that high quality activity diagrams can be generated and the analysis also shows that our approach outperforms existing academic approaches and commercial tools. We also conducted two industrial case studies, yielding results that demonstrate that RUCM iii is applicable in two different industrial domains and that aToucan-generated analysis models are largely correct and complete from the perspective of domain experts. iv Dedication To the loving memory of my father who instilled in me the confidence that I have the capability to do anything that I have in my mind. To my mother for her truly unconditional and forever love. v Acknowledgements I would like to show my deep and sincere gratitude to my supervisor, Professor Lionel C. Briand for guiding me through the process of transitioning from an engineer into a researcher. Throughout my Masters and PhD studies, he taught me how to be a good researcher and I am also really proud of being one of his students. I must also express my warm and sincere thanks to my supervisor, Professor Yvan Labiche for all the valuable advice and discussion on almost every single detail of my work and paper preparation. I wish to thank all my collegues at the SQUALL laboratory for providing a nice working environment. Thank you all for those valuable memories. I am indebted to my entire family and all my friends, who are always there for me no matter what happens. THANK YOU ALL! vi TABLE OF CONTENTS CHAPTER 1 INTRODUCTION .......................................................................................... 1 CHAPTER 2 SYSTEMATIC REVIEW ............................................................................... 6 2.1 Systematic review scope ................................................................................. 7 2.2 Research questions ......................................................................................... 7 2.3 Search strategy ............................................................................................... 8 2.3.1 Identification of query string ................................................................................................ 9 2.3.2 Electronic and manual search ............................................................................................. 10 2.3.3 Inclusion/exclusion criteria ................................................................................................. 11 2.3.4 Statistics from included primary studies ............................................................................. 12 2.4 Conceptual framework ................................................................................. 13 2.4.1 Static model ........................................................................................................................ 13 2.4.2 Taxonomies ......................................................................................................................... 15 2.4.3 Process model ..................................................................................................................... 20 2.5 Evaluation Criteria ........................................................................................ 22 2.5.1 Evaluation criterion for requirements ................................................................................ 23 2.5.2 Evaluation criterion for analysis models ............................................................................. 24 2.5.3 Evaluation criteria for transformation ................................................................................ 24 2.5.4 Discussion............................................................................................................................ 26 2.6 Synthesis and Evaluation .............................................................................. 27 2.6.1 Requirements configurations .............................................................................................. 29 2.6.2 Analysis models ................................................................................................................... 30 2.6.3 Transformation ‐ automation ............................................................................................. 31 2.6.4 Transformation ‐ efficiency ................................................................................................. 33 2.6.5 Transformation – others ..................................................................................................... 34 2.7 Open issues and suggestions ......................................................................... 44 2.7.1 Approach configuration ...................................................................................................... 44 2.7.2 Intermediate model ............................................................................................................ 49 2.7.3 Transformations .................................................................................................................. 50 2.8 Conclusion .................................................................................................... 53 2.9 Other related work ....................................................................................... 55 CHAPTER 3 RUCM ............................................................................................................ 57 3.1 Related work ................................................................................................ 57 3.1.1 Use case template ............................................................................................................... 57 3.1.2 Restriction rules .................................................................................................................. 60 3.2 Use case template ......................................................................................... 61 3.3 Restriction rules ............................................................................................ 63 3.4 Example ........................................................................................................ 66 CHAPTER 4 UCMETA ....................................................................................................... 69 4.1 Architecture .................................................................................................. 70 vii 4.2 Packages
Recommended publications
  • Lecture for Chapter 2, Modeling With
    09/10/2019 Overview: modeling with UML Modeling with UML What is modeling? What is UML? Use case diagrams Class diagrams Oriented Software Engineering - Object What is modeling? Example: street map Modeling consists of building an abstraction of reality. Abstractions are simplifications because: They ignore irrelevant details and They only represent the relevant details. What is relevant or irrelevant depends on the purpose of the model. Why model software? Systems, Models and Views Why model software? A model is an abstraction describing a subset of a system A view depicts selected aspects of a model Software is getting increasingly more complex A notation is a set of graphical or textual rules for depicting views Windows XP > 40 million lines of code Views and models of a single system may overlap each other A single programmer cannot manage this amount of code in its entirety. Code is not easily understandable by developers who did not Examples: write it System: Aircraft We need simpler representations for complex systems Models: Flight simulator, scale model Modeling is a mean for dealing with complexity Views: All blueprints, electrical wiring, fuel system 1 09/10/2019 Systems, Models and Views Models, Views and Systems (UML) Flightsimulator Blueprints * * System Model View Aircraft Described by Depicted by Model 2 View 2 View 1 System Airplane: System View 3 Model 1 Scale Model: Model Flight Simulator: Model Electrical Wiring Scale Model Blueprints: View Fuel System: View Electrical Wiring: View What is UML? What is UML? UML (Unified Modeling Language) The Unified Modeling Language (UML) is a language for Specifying An emerging standard for modeling object-oriented software.
    [Show full text]
  • The Guide to Succeeding with Use Cases
    USE-CASE 2.0 The Guide to Succeeding with Use Cases Ivar Jacobson Ian Spence Kurt Bittner December 2011 USE-CASE 2.0 The Definitive Guide About this Guide 3 How to read this Guide 3 What is Use-Case 2.0? 4 First Principles 5 Principle 1: Keep it simple by telling stories 5 Principle 2: Understand the big picture 5 Principle 3: Focus on value 7 Principle 4: Build the system in slices 8 Principle 5: Deliver the system in increments 10 Principle 6: Adapt to meet the team’s needs 11 Use-Case 2.0 Content 13 Things to Work With 13 Work Products 18 Things to do 23 Using Use-Case 2.0 30 Use-Case 2.0: Applicable for all types of system 30 Use-Case 2.0: Handling all types of requirement 31 Use-Case 2.0: Applicable for all development approaches 31 Use-Case 2.0: Scaling to meet your needs – scaling in, scaling out and scaling up 39 Conclusion 40 Appendix 1: Work Products 41 Supporting Information 42 Test Case 44 Use-Case Model 46 Use-Case Narrative 47 Use-Case Realization 49 Glossary of Terms 51 Acknowledgements 52 General 52 People 52 Bibliography 53 About the Authors 54 USE-CASE 2.0 The Definitive Guide Page 2 © 2005-2011 IvAr JacobSon InternationAl SA. All rights reserved. About this Guide This guide describes how to apply use cases in an agile and scalable fashion. It builds on the current state of the art to present an evolution of the use-case technique that we call Use-Case 2.0.
    [Show full text]
  • How to Build a UML Model Announcements Rational Unified
    Announcements How to build a UML model ❚ HW3 – Phase 1 due on Feb 6th, 5:00pm (need to create new pairs, accounts) ❚ Feedback on M2: turn procedural code RUP into OO code, Planning game (show tables Steriotypes, packages, and with features, subtasks, estimates, object diagrams actuals, pair-programming partners) Case study ❚ Register for the Feb 18 Industry Reception 1 CS361 7-2 Rational Unified Process How RUP builds a model ❚ Designed to work with UML ❚ Gather use cases from customer ❚ No longer being promoted by IBM ❚ Make initial object model ❚ Roles - (out of 20 or so) ❚ For each use case: ❙ Architect ❙ step through use case, ❙ UI designer ❙ note the objects it requires ❙ Use case specifier ❙ note the operations it uses ❙ Use case engineer ❙ Component engineer ❚ Clean up the model CS361 7-3 CS361 7-4 Architect UI design ❚ Determine which use cases need to be ❚ Logical design developed first. ❙ Which user-interface elements are needed for ❚ High priority use cases each use case? ❙ describe important and critical functionality ❙ What information does the actor need to receive from or give to the system? ❘ security ❘ database ❚ Prototyping ❙ hard to retrofit later ❙ Often is on paper. ❙ Test on real users CS361 7-5 CS361 7-6 1 Requirements Specification Analysis model ❚ Not all requirements go in a use case. ❚ Class diagrams ❙ Example: security ❙ vague interfaces (“responsibilities”) ❙ Example: global performance ❙ vague associations (ignore navigability) ❚ Requirements document describes all ❙ stereotype classes: other requirements
    [Show full text]
  • Plantuml Language Reference Guide (Version 1.2021.2)
    Drawing UML with PlantUML PlantUML Language Reference Guide (Version 1.2021.2) PlantUML is a component that allows to quickly write : • Sequence diagram • Usecase diagram • Class diagram • Object diagram • Activity diagram • Component diagram • Deployment diagram • State diagram • Timing diagram The following non-UML diagrams are also supported: • JSON Data • YAML Data • Network diagram (nwdiag) • Wireframe graphical interface • Archimate diagram • Specification and Description Language (SDL) • Ditaa diagram • Gantt diagram • MindMap diagram • Work Breakdown Structure diagram • Mathematic with AsciiMath or JLaTeXMath notation • Entity Relationship diagram Diagrams are defined using a simple and intuitive language. 1 SEQUENCE DIAGRAM 1 Sequence Diagram 1.1 Basic examples The sequence -> is used to draw a message between two participants. Participants do not have to be explicitly declared. To have a dotted arrow, you use --> It is also possible to use <- and <--. That does not change the drawing, but may improve readability. Note that this is only true for sequence diagrams, rules are different for the other diagrams. @startuml Alice -> Bob: Authentication Request Bob --> Alice: Authentication Response Alice -> Bob: Another authentication Request Alice <-- Bob: Another authentication Response @enduml 1.2 Declaring participant If the keyword participant is used to declare a participant, more control on that participant is possible. The order of declaration will be the (default) order of display. Using these other keywords to declare participants
    [Show full text]
  • Lab 002 – Use Case Modeling.Pdf
    TU2943: Information Engineering Methodology Lab Notes, 2009-2010, Faculty of Technology and Information Science, Universiti Kebangsaan Malaysia LAB 2: Introduction to Use Case Modeling OBJECTIVES Familiarize with the concept underlining Use Case Diagram for requirement analysis. Exposure on all elements grouped under UML Case Diagram. Analyze functional requirements and problem statements of an intended system to be able to translate into use case modeling. Be able to document use case description and specifications. INTRODUCTION Definition of Use Case Diagram A Use Case is a set of scenarios describing an interaction between a user and a system. Use Case diagram displays (in symbolic form) the relationship among actor and use cases. Use case represents the system’s functionality, the requirements of the system from the user’s perspective. When to use Use Cases Use cases are used in almost every project. Very helpful in exposing requirements and planning of project. Usually done during the early stages of project. Frequently starts by being loose in terms of connection and accuracy, but as project continues, the use cases are defined better. UML Notation for Use Case Modeling Construct Description Syntax Use Case A description of a set of sequences of actions, including variants, that system performs that yields an observable value to an actor (Booch, 1993). Actor The people or system that provides or receives information from the system; called the stakeholder of the system. Nor Samsiah Binti Sani 1 TU2943: Information Engineering Methodology Lab Notes, 2009-2010, Faculty of Technology and Information Science, Universiti Kebangsaan Malaysia System The boundary between the physical system and Boundary the actors who interact with the physical system.
    [Show full text]
  • Writing Use Case Scenarios for Model Driven Development
    Enterprise Architect Writing Use Case Scenarios for Model Driven Development Series: Quick Start Guide http://www.sparxsystems.com Writing Use Case Scenarios for Model Driven Development This guide outlines how to use Enterprise Architect to rapidly build Use Cases and increase your productivity through Model Driven Development. Use Case Scenarios can help drive downstream development via automatically generated test cases, activity diagrams, sequence diagrams and much more. In this guide, we use an example Automatic Teller Machine (ATM) system to explain Enterprise Architect's Structured Scenario editing capability. All material © Sparx Systems 2010 http://www.sparxsystems.com ©Sparx Systems 2010 Page 1 Enterprise Architect Writing Use Case Scenarios for Model Driven Development Series: Quick Start Guide http://www.sparxsystems.com Table of Contents Introduction.................................................................................................................................3 What You Will Learn..................................................................................................................3 What You Will Gain....................................................................................................................3 Assumptions................................................................................................................................3 Glossary......................................................................................................................................4
    [Show full text]
  • Fakulta Informatiky UML Modeling Tools for Blind People Bakalářská
    Masarykova univerzita Fakulta informatiky UML modeling tools for blind people Bakalářská práce Lukáš Tyrychtr 2017 MASARYKOVA UNIVERZITA Fakulta informatiky ZADÁNÍ BAKALÁŘSKÉ PRÁCE Student: Lukáš Tyrychtr Program: Aplikovaná informatika Obor: Aplikovaná informatika Specializace: Bez specializace Garant oboru: prof. RNDr. Jiří Barnat, Ph.D. Vedoucí práce: Mgr. Dalibor Toth Katedra: Katedra počítačových systémů a komunikací Název práce: Nástroje pro UML modelování pro nevidomé Název práce anglicky: UML modeling tools for blind people Zadání: The thesis will focus on software engineering modeling tools for blind people, mainly at com•monly used models -UML and ERD (Plant UML, bachelor thesis of Bc. Mikulášek -Models of Structured Analysis for Blind Persons -2009). Student will evaluate identified tools and he will also try to contact another similar centers which cooperate in this domain (e.g. Karlsruhe Institute of Technology, Tsukuba University of Technology). The thesis will also contain Plant UML tool outputs evaluation in three categories -students of Software engineering at Faculty of Informatics, MU, Brno; lecturers of the same course; person without UML knowledge (e.g. customer) The thesis will contain short summary (2 standardized pages) of results in English (in case it will not be written in English). Literatura: ARLOW, Jim a Ila NEUSTADT. UML a unifikovaný proces vývoje aplikací : průvodce ana­lýzou a návrhem objektově orientovaného softwaru. Brno: Computer Press, 2003. xiii, 387. ISBN 807226947X. FOWLER, Martin a Kendall SCOTT. UML distilled : a brief guide to the standard object mode•ling language. 2nd ed. Boston: Addison-Wesley, 2000. xix, 186 s. ISBN 0-201-65783-X. Zadání bylo schváleno prostřednictvím IS MU. Prohlašuji, že tato práce je mým původním autorským dílem, které jsem vypracoval(a) samostatně.
    [Show full text]
  • The Unified Modeling Language Reference Manual
    The Unified Modeling Language Reference Manual The Unified Modeling Language Reference Manual James Rumbaugh Ivar Jacobson Grady Booch ADDISON-WESLEY An imprint of Addison Wesley Longman, Inc. Reading, Massachusetts • Harlow, England • Menlo Park, California Berkeley, California • Don Mills, Ontario • Sydney Bonn • Amsterdam • Tokyo • Mexico City Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in this book and Addison-Wesley was aware of a trademark claim, the designations have been printed in initial caps or all caps. Unified Modeling Language, UML, and the UML cube logo are trademarks of the Object Management Group. Some material in this book is derived from the Object Management Group UML Specification documentation. Used by permission of the Object Management Group. The authors and publisher have taken care in the preparation of this book but make no expressed or implied warranty of any kind and assume no responsibility for errors or omissions. No liability is assumed for incidental or consequential damages in connection with or arising out of the use of the information or programs contained herein. The publisher offers discounts on this book when ordered in quantity for special sales. For more information, please contact: AWL Direct Sales Addison Wesley Longman, Inc. One Jacob Way Reading, Massachusetts 01867 (781) 944-3700 Visit AW on the Web: www.awl.com/cseng/ Library of Congress Cataloging-in-Publication Data Rumbaugh, James. The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson, Grady Booch. p. cm. — (The Addison-Wesley object technology series) Includes bibliographical references and index.
    [Show full text]
  • The IBM Rational Unified Process for System Z
    Front cover The IBM Rational Unified Process for System z RUP for System z includes a succinct end-to-end process for z practitioners RUP for System z includes many examples of various deliverables RUP for System z is available as an RMC/RUP plug-in Cécile Péraire Mike Edwards Angelo Fernandes Enrico Mancin Kathy Carroll ibm.com/redbooks International Technical Support Organization The IBM Rational Unified Process for System z July 2007 SG24-7362-00 Note: Before using this information and the product it supports, read the information in “Notices” on page vii. First Edition (July 2007) This edition applies to the IBM Rational Method Composer Version 7.1 © Copyright International Business Machines Corporation 2007. All rights reserved. Note to U.S. Government Users Restricted Rights -- Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp. Contents Notices . vii Trademarks . viii Preface . ix The team that wrote this IBM Redbooks publication . .x Become a published author . xii Comments welcome. xii Part 1. Introduction to the IBM Rational Unified Process for System z. 1 Chapter 1. Introduction. 3 1.1 Purpose. 4 1.2 Audience . 4 1.3 Rationale . 4 1.4 Scope . 5 1.5 Overview . 5 Part 2. The IBM Rational Unified Process for System z for Beginners . 9 Chapter 2. Introduction to the IBM Rational Unified Process and its extension to Service-Oriented Architecture. 11 2.1 Overview . 12 2.2 Introduction to RUP. 13 2.2.1 The heart of RUP . 13 2.2.2 The IBM Rational Method Composer (RMC) platform . 13 2.3 Key principles for successful software development.
    [Show full text]
  • Reference Manual for Astah Professional And
    Astah Reference Manual Ver. 8.4 Astah professional Astah UML Copyright© 2006-2021 Change Vision, Inc. All rights reserved. Astah Reference Manual The contents of this manual may be changed without prior notice. The following trademarks and copyright apply to the software that is provided with this manual. Copyright© 2006-2021 Change Vision, Inc. All rights reserved. UML and Unified Modeling Language are either registered trademarks or trademarks of Object Management Group, Inc. in the United States and/or other countries. Java is registered trademarks of Oracle and/or its affiliates. Mind Map is a registered trademark of the Buzan Organization Ltd. If other trademarked product names or company names appear, they are only used as names. Symbols, such as ™, ®, ©, are omitted in the main contents. Astah Reference Manual Introduction This Manual, “Astah Reference Manual”, briefly explains the functions of Astah and how to use them. Astah Professional is a system design tool that supports UML (Unified Modeling Language) 2.x (partly), UML1.4, Flowchart, Data Flow Diagram, ER diagram, CRUD, Requirement diagram and Mind Map. Astah UML is a modeling tool that supports UML (Unified Modeling Language) 2.x (partly), UML1.4 and Mind Map. Structure of this Manual · Chapter 1-3 Overview of Astah and getting started · Chapter 4-6 Basic Astah concepts and Main Menu functions · Chapter 7-13 Basic diagram and model operations · Chapter14 Specific diagram and diagram element operations · Chapter15-46 System set-up and specific Astah features Note · Functions with [P] are supported in Astah Professional only. These are not included in Astah UML.
    [Show full text]
  • ARENA: Asserting the Quality of Modeling Languages Information
    ARENA: Asserting the Quality of Modeling Languages Francisco de Freitas Vilar Morais Thesis to obtain the Master of Science Degree in Information Systems and Computer Engineering Supervisor: Prof. Alberto Manuel Rodrigues da Silva Examination Committee Chairperson: Prof. José Luís Brinquete Borbinha Supervisor: Prof. Alberto Manuel Rodrigues da Silva Member of the committee: Prof. André Ferreira Ferrão Couto e Vasconcelos July 2015 placeholder Em memória da minha avó Maria Amélia de Freitas Vilar e restantes familiares, pela força, exemplo e amor incondicional que sempre me deram. iii placeholder Acknowledgments I would like to thank my advisor, Prof. Alberto Silva, that supported and counselled me in ev- ery possible way. Without his knowledge on User-Interface and Business Process Modeling Languages, academic experience, commitment and perseverance, I couldn’t have structured, focused and developed this work. I must also thank my co-advisor, Mr. Andreas Schoknecht, for all the academic materials, drive and motivation that he has given me throughout this work while I was in Germany on the ERAS- MUS programme, as well as Prof. Jan Dietz, which contribution in ICEIS 2015 enlightened me to understand DEMO and its competing languages. This work was partially supported by the ARENA 2012 IBM Country Project, and by national funds through Fundação para a Ciência e a Tecnologia (FCT) with references UID/CEC/50021/2013 and EXCL/EEI- ESS/0257/2012 (DataStorm). I would also like to thank to my parents Maria José and António Manuel and my friends, for supporting me, giving me the strength to carry on and to remind me that hard work pays off.
    [Show full text]
  • Comparison of Requirement Management Software
    Comparison of Requirement Management Software by Olusola Olufemi Oduko A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Software Engineering and Intelligent Systems Department of Electrical and Computing Engineering University of Alberta ©Olusola Olufemi Oduko, 2021 Abstract The importance of gathering requirements that address a business need cannot be over emphasized. For IT projects to be successful, it is essential to gather and manage requirements until the project is satisfactorily delivered. This is where Requirement Management software come in and the essence of this research study. The objective of this research is to compare requirement management software based on a set of selected criteria, and present findings from this comparison to be used as a starting point for organizations in their search for requirement management software. The study also contributes to the business analysis community by describing benefits and limitations of requirement management software. Lastly, the objective is to contribute to the body of knowledge in the area of evaluating different requirement management software. The study identifies sixty-three requirement management software tools from articles and twenty- two from discussion forums (blogs), making a total of eighty-five. Based on the surveyed sources, a set of fifteen features has been selected to be used to compare this software. As a result, two groups of leading requirement management software tools have been recognized. The first group includes IBM Rational DOORS and Modern Requirements, while the second one is composed of IBM Rational Requisite, Caliber-RM and Cradle. Key words: requirement management software; types of requirements; features for comparing requirement management software; and IBM Rational DOORS and Modern Requirements.
    [Show full text]