UML introduction ppt

uml lecture notes ppt and uml powerpoint template and uml class diagram example ppt
Prof.SteveBarros Profile Pic
Prof.SteveBarros,United Kingdom,Teacher
Published Date:28-07-2017
Your Website URL(Optional)
Comment
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2008 Introduction to UML Copyright 2007-8 Reiner Hähnle and Cesare Tinelli. Notes originally developed by Reiner Hähnle at Chalmers University and modified by Cesare Tinelli at the University of Iowa. These notes are copyrighted materials and may not be used in other course settings outside of the University of Iowa in their current form or modified form without the express written permission of one of the copyright holders. 22c181: Formal Methods in Software Engineering – p.1/33Contents Overview of KeY UML and its semantics Introduction to OCL Specifying requirements with OCL Modelling of Systems with Formal Semantics Propositional & First-order logic, sequent calculus OCL to Logic, horizontal proof obligations, using KeY Dynamic logic, proving program correctness Java Card DL Vertical proof obligations, using KeY Wrap-up, trends 22c181: Formal Methods in Software Engineering – p.2/33Building Models 22c181: Formal Methods in Software Engineering – p.3/33UML Unified Modeling Language Unified: end to many similar approaches. Booch, Rumbaugh, Jacobsson Standardised by OMG (now version 2.0 in finalisation) 22c181: Formal Methods in Software Engineering – p.4/33UML Unified Modeling Language Unified: end to many similar approaches. Booch, Rumbaugh, Jacobsson Standardised by OMG (now version 2.0 in finalisation) Modeling: main (creative) process of software development Trend in SWE: emphasis on model, MDA/MDE Code abstraction, formal model 22c181: Formal Methods in Software Engineering – p.4/33UML Unified Modeling Language Unified: end to many similar approaches. Booch, Rumbaugh, Jacobsson Standardised by OMG (now version 2.0 in finalisation) Modeling: main (creative) process of software development Trend in SWE: emphasis on model, MDA/MDE Code abstraction, formal model Language: Provides notation, no method, no process Graphical, collection of different diagram types 22c181: Formal Methods in Software Engineering – p.4/33UML Diagrams Structural Diagrams Behavioural Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Component Diagrams • Composite Structure Diagrams • Object Diagrams • Deployment Diagrams • Package Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Component Diagrams • Composite Structure Diagrams • Object Diagrams • Deployment Diagrams • Package Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Component Diagrams • Composite Structure Diagrams • Object Diagrams • Deployment Diagrams • Package Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Activity Diagrams • Component Diagrams • Interaction Diagrams • Sequence Diagrams • Composite Structure • Collaboration Diagrams Diagrams • Object Diagrams . . • . • Deployment Diagrams • Use Case Diagrams • Package Diagrams • State Machine Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Activity Diagrams • Component Diagrams • Interaction Diagrams • Sequence Diagrams • Composite Structure • Collaboration Diagrams Diagrams • Object Diagrams . . • . • Deployment Diagrams • Use Case Diagrams • Package Diagrams • State Machine Diagrams 22c181: Formal Methods in Software Engineering – p.5/33UML Diagrams Structural Diagrams Behavioural Diagrams • Class Diagrams • Activity Diagrams • Component Diagrams • Interaction Diagrams • Sequence Diagrams • Composite Structure • Collaboration Diagrams Diagrams • Object Diagrams . . • . • Deployment Diagrams • Use Case Diagrams • Package Diagrams • State Machine Diagrams 22c181: Formal Methods in Software Engineering – p.5/33Class Diagrams Model static design view, define vocabulary (signature) Class Person Collection of similar objects in a system name:String e-mail:String startWork(t:Time) Attributes Operations/Methods 22c181: Formal Methods in Software Engineering – p.6/33Class Diagrams Model static design view, define vocabulary (signature) Class Person Collection of similar objects in a system name:String e-mail:String startWork(t:Time) Attributes Operations/Methods Association Relation between classes repairs 1 0.. Person Car Relates pairs of class instances mechanic 22c181: Formal Methods in Software Engineering – p.6/33Class Diagrams Model static design view, define vocabulary (signature) Class Person Collection of similar objects in a system name:String e-mail:String startWork(t:Time) Attributes Operations/Methods Association Relation between classes repairs 1 0.. Person Car Relates pairs of class instances mechanic Car Generalisation/Inheritance Specialisation-/Generalisation SportsCar Van relationship between classes 22c181: Formal Methods in Software Engineering – p.6/33Classes name compartment Person class name name:String attribute compartment e-mail:String attribute names attribute types 22c181: Formal Methods in Software Engineering – p.7/336 Classes name compartment Person class name name:String attribute compartment e-mail:String attribute names attribute types (JAVA) Semantics of Classes For classC letI(C)=∅ be set of objects “The objects that can have static typeC” 22c181: Formal Methods in Software Engineering – p.7/33TheNull Type Null 22c181: Formal Methods in Software Engineering – p.8/33TheNull Type Null Semantics ofNull Each class diagram contains implicitly theNull class No attributes, no operations I(Null)=null null∈I(C) for any classC “null is typeable with any typeC” 22c181: Formal Methods in Software Engineering – p.8/33

Advise: Why You Wasting Money in Costly SEO Tools, Use World's Best Free SEO Tool Ubersuggest.