Εθνικό Μετσόβιο Πολυτεχνείο Σχολή ΗMMY Εισαγωγή στη γλώσσα µοντελοποίησης UML Ανδρέας Παπασαλούρος andpapas@softlab.ntua.gr
Περίγραµµα Γενικά οµικά στοιχεία Τύποι διαγραµµάτων Παραδείγµατα Ειδικά θέµατα Βιβλιογραφία Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 2
Ένα µοντέλο Αποτελεί µια αφηρηµένη περιγραφή ενός φυσικού συστήµατος Αποτελεί ένα σχέδιο για την κατασκευή ενός συστήµατος Βοηθάει στην κατανόηση ενός µεγάλου µεγέθους συστήµατος Βοηθάει στην επικοινωνία των µελών της κοινότητας που αναπτύσσει το σύστηµα Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 3
Η Unified Modeling Language είναι µια οπτική (visual) γλώσσα µοντελοποίησης. Έχει εκφραστικές δυνατότητες για την: Απεικόνιση (visualization) Προδιαγραφή (specification) Τεκµηρίωση (documentation) Κατασκευή (construction) των προϊόντων της αναπτυξιακής διαδικασίας συστηµάτων (λογισµικού ή όχι) Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 4
Είδη συστηµάτων που µοντελοποιούνται µε τη UML Συστήµατα µε έµφαση στο λογισµικό (software-intensive systems) Επιχειρησιακά συστήµατα (business systems) Συστήµατα που δεν περιέχουν λογισµικό (non-software systems) Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 5
Χαρακτηριστικά Προήλθε από την ενοποίηση των συµβολισµών που χρησιµοποιούσαν οι µεθοδολογίες Booch, OMT, OOSE κ.λπ. Ενσωµατώνει τις ιδέες καλής πρακτικής από τη βιοµηχανία Λογισµικού Είναι σήµερα βιοµηχανικό πρότυπο και αναπτύχθηκε στο πλαίσιο του οργανισµού OMG. Υλοποιεί την ανάγκη της βιοµηχανίας λογισµικού για µια εννοιαία γλώσσα µοντελοποίησης Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 6
UML και µεθοδολογίες ανάπτυξης ιαφορετικές µεθοδολογίες ανάπτυξης είναι δυνατόν να υϊοθετηθούν έχοντας τη UML ως γλώσσα µοντελοποίησης (π.χ. USDP, RUP, κλπ) Κάθε µεθοδολογία προτείνει τα δικά της µοντέλα Στο πλαίσιο του µαθήµατος χρησιµοποιείται η µεθοδολογία είναι η YASM Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 7
Τα δοµικά στοιχεία της UML Στοιχεία Σχέσεις ιαγράµµατα Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 8
οµικά στοιχεία Κλάση (Class) Ένα σύνολο αντικειµένων που έχουν την ίδια δοµή και συµπεριφορά. ιαπροσωπεία (Interface) Ένα σύνολο από λειτουργίες που ορίζουν την εξωτερική συµπεριφορά ενός αντικειµένου Συνεργασία (Collaboration) Η περιγραφή µιας διάδρασης µεταξύ ενός συνόλου αντικειµένων Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 9
οµικά στοιχεία Περίπτωση χρήσης (Use Case) Μια λειτουργία που επιτελεί ένα σύστηµα και είναι διαθέσιµη στο χρήστη Ενεργή κλάση (active class) Μια κλάση που περιγράφει µια διεργασία ή ένα νήµα εκτέλεσης Ψηφίδα (component) Ένα φυσικό και επαναχρησιµοποιήσιµο µέρος ενός συστήµατος που συνήθως υλοποιεί κάποιες διαπροσωπείες (interfaces) Κόµβος (Node) Ένας υπολογιστικός πόρος που έχει κάποια µνήµη και υπολογιστική ικανότητα. Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 10
Συµπεριφορικά στοιχεία Κατάσταση (State) Μια συνθήκη ή περίπτωση στο χρόνο ζωής ενός αντικειµένου, όπου ικανοποιεί κάποιες συνθήκες, εκτελεί κάποια δραστηριότητα ή αναµένει κάποιο γεγονός Μετάβαση (Transition) Μια σχέση µεταξύ δύο καταστάσεων ενός αντικειµένου που υποδηλώνει αλλαγή στην κατάσταση του αντικειµένου µε την εµφάνιση ενός γεγονότος ραστηριότητα (Activity) Μια εκτέλεση λειτουργίας κατά τη διάρκεια ζωής ενός αντικείµενου Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 11
Οµαδοποιητικά στοιχεία Πακέτο (Package) Ένα δοµικό στοιχείο γενικής χρήσης για την οργάνωση άλλων δοµικών στοιχείων, διαγραµµάτων ή και άλλων πακέτων της UML σε οµάδες. Υποσύστηµα (Subsystem) Μια µονάδα στην ιεραρχική αποσύνθεση ενός µεγάλου συστήµατος. Επικοινωνεί µε το περιβάλλον του µέσω διαπροσωπειών Μοντέλο (Model) Μια όψη ενός συστήµατος <<subsystem>> Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 12
Επεξηγηµατικά στοιχεία Σηµείωση (note) Ένα δοµικό στοιχείο κειµενικού σχολιασµού για την περιγραφή ή επεξήγηση ενός άλλου δοµικού στοιχείου ή µιας οµάδας δοµικών στοιχείων. Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 13
Σχέσεις Συσχέτιση (Association) Μια δοµική σχέση που περιγράφει ένα σύνολο συνδέσεων µεταξύ αντικειµένων Εξάρτηση (Dependency) Μια σχέση µεταξύ δυο δοµικών στοιχείων, όπου µια αλλαγή στο πρώτο επιδρά στο δεύτερο Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 14
Σχέσεις Γενίκευση (Generalization) Μια σχέση µεταξύ ενός δοµικού στοιχείου (πατέρας) και ενός δεύτερου (παιδί) που εξειδικεύει το πρώτο Πραγµατοποίηση (Realization) Μια σχέση µεταξύ δυο δοµικών στοιχείων, όπου το πρώτο προδιαγράφει µια συµπεριφορά, και το δεύτερο την υλοποιεί Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 15
οµικά ιαγράµµατα Κλάσεων (Class Diagram) Στατικά στοιχεία µοντελοποίησης, και τις σχέσεις µεταξύ τους Αντικειµένων (Component) Ένα σύνολο αντικειµένων και οι συσχετίσεις τους σε µια συγκεκριµένη χρονική στιγµή Ψηφιδικό (Component) Η οργάνωση και τις εξαρτήσεις των µελών ενός συνόλου συνθετηµάτων Παραταξιακό (Deployment) Η τοπολογία των υπολογιστικών κόµβων ενός συστήµατος και η κατανοµή των συνθετηµάτων µεταξύ τους Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 16
Συµπεριφορικά διαγράµµατα Περιπτώσεων Χρήσης (Use Case) Η λειτουργικότητα του συστήµατος, όπως φαίνεται από εξωτερικούς «Συνεργάτες» (Actors). Αλληλουχίας (Sequence) Μια αλληλεπίδραση αντικειµένων µε έµφαση στην χρονική σειρά ανταλλαγής µηνυµάτων Συνεργασίας (Collaboration) Μια αλληλεπίδραση αντικειµένων µε έµφαση στη δοµική τους οργάνωση Κατάστασης (Statechart) Οι καταστάσεις του κύκλου ζωής των αντικειµένων ραστηριότητας (Activity) Ο έλεγχος ροής σε ένα σύνολο δραστηριοτήτων Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 17
ιάγραµµα κλάσεων: Κλάσεις-συσχετίσεις Χαρακτηριστικά Link theta : double Ρόλοι Node width : int = 0 height : int = 0 Link() setpolygon() ison() paint() setposition() setlinestyle() contains() select() deselect() getfirstend() getsecondend() drawhandles() gettheta() +link 0..n connects Συσχέτιση +nodes 2 Node() ison() handlerpressed() paint() setposition() setsize() getposition() getcenter() getnodeelement() drawhandles() getwidth() getheight() getvirtualheight() Λειτουργίες Πολλαπλό τητα ρόλων Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 18
ιάγραµµα κλάσεων: Γενίκευση GraphicsElement selected : boolean Κλάση Σχέση Γενίκευσης setposition() updateposition() select() deselect() isselected() ison() drawhandles() Link theta : double Link() setpolygon() ison() paint() setposition() setlinestyle() contains() select() deselect() getfirstend() getsecondend() drawhandles() gettheta() Node width : int = 0 height : int = 0 Node() ison() handlerpressed() paint() setposition() setsize() getposition() getcenter() getnodeelement() drawhandles() getwidth() getheight() getvirtualheight() Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 19
ιάγραµµα Κλάσεων: Ενσωµάτωση DefaultGraphModel NodeElement LinkElement Σχέση Ενσωµάτωσης Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 20
ιάγραµµα Κλάσεων: ιαπροσωπείες ιαπροσωπεία DefaultGraphModel nodes : Logical View::java::util::Vector links : Logical View::java::util::Vector DefaultGraphModel() insertnode() deletenode() deletelink() getnodes() getlinks() insertlink() GraphMo del Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 21
ιάγγραµµακλάσεων: Πακέτα model controllers ui Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 22
ιάγραµµααντικειµένων : Link Αντικείµενο : Node Πολλαπλά στιγµιότυπα Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 23
ιάγραµµα Συνθετηµάτων Link.java GraphComponent.java Node.java Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 24
Παραταξιακό ιάγραµµα PC Printer Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 25
ιάγραµµα Περιπτώσεων Χρήσης Creates Graph Designer Edits Graph Prints Graph Reviewer Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 26
ιάγραµµα Καταστάσεων SELECT Mo useu p mousepres sed [ mouseonnode ] ^selectnode(point) mousedragged / repaintnode mousereleased MouseDownOnSelected setmode( mode )[ mode=node ] setmode( mode )[ mode=link ] NODE LINK MouseUp mousepressed( MouseEv ent ) ^model.insertnode MouseDown MouseUp mousepressed[ not mouseonnode ] mousepressed[ mouseonnode ] / selectnode(point) mousereleased( MouseEvent ) mousedragged / redrawline mousereleased[ not MouseOnNode ] LinkGeneration mousereleased[ mouseonnode ] ^model.insertlink(node1, node2) Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 27
ιάγραµµα Αλληλουχίας : Designer : Frame : DefaultGraphModel : NodeElement 1: newnode() 2: insertnode() 3: setname() 4: addnode() Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 28
ιάγραµµα Συνεργασίας 1: newnode() : Frame : Designer 2: insertnode() 3: setname() : DefaultGraphModel : NodeElement 4: addnode() Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 29
ιάγραµµα ραστηριότητας Designer Rev iew er Create Diagram Review Diagram Revise Diagram [ not OK ] [ OK ] Finalize Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 30
Μηχανισµοί επέκτασης Στερεότυπα (stereotypes) επεκτείνουν το λεξιλόγιο της UML ορίζοντας καινούρια δοµικά στοιχεία, βασισµένα σε ήδη υπάρχοντα <<subsystem>> Ετικέτες τιµών (tagged values) επεκτείνουν τις ιδιότητες των δοµικών στοιχείων,προσθέτοντας πληροφορία στις προδιαγραφές τους {Version=1.2} Περιορισµοί (constraints) επεκτείνουν τη σηµασιολογία των δοµικών στοιχείων της UML, ορίζοντας νέους κανόνες ή τροποποιώντας τους ήδη υπάρχοντες. {this.salary<boss.salary} Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 31
Επέκταση της UML Χρήση των µηχανισµών επέκτασης UML Profiles (πχ. Corba profile) Η αρχιτεκτονική τεσσάρων επιπέδων της γλώσσας: Meta-MetaModel M3 (π.χ.mof) MetaModel M2 (π.χ. UML) User Model M1 (π.χ. Μοντέλο του συστήµατος ABC) Instance M0 (π.χ. Στιγµιότυπα των στοιχείων του µοντέλου του ABC συστήµατος) Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 32
Σχετικές τεχνολογίες και πρότυπα XML Metadata Interchange (XMI) Meta Object Facility (MOF) Model Driven Architecture (MDA) Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 33
Βιβλιογραφία G. Booch, J. Rumbaugh and I. Jacobson, The UML User Guide, Addison-Wesley, 1999. J. Rumbaugh, I. Jacobson and G. Booch, The UML Reference Manual, Addison-Wesley, 1999. H. Eriksson and M. Penker, UML Toolkit, John Wiley & Sons, 1998. G. Schneider and J. Winters, Applying Use Cases, Addison- Wesley, 1999. M. Fowler and, K. Scott, UML Distilled Applying the Standard Object Modeling Language, Addison-Wesley, 1997. John Cheesman and John Daniels, UML Components: A Simple Process for Specifying Component-Based Software, Addison- Wesley, 2000. Sinan Si Alhir, UML in a nutshell a desktop quick reference, O Reilly, 1998. Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 34
Σύνδεσµοι στο Web Object Management Group http://www.omg.org/uml Rational Software Corp. http://www.rational.com/uml Νοέµ. 2003 Εργαστήριο Τεχνολογίας Λογισµικού 35