Sintassi dei diagrammi di Attività

Dimensione: px

Iniziare la visualizzazioe della pagina:

Download "Sintassi dei diagrammi di Attività"

Biaggio Maurizio Berardi
5 anni fa
Visualizzazioni

comportamento dinamico di un sistema Un diagramma di attività è essenzialmente un flowchart( con alcune modifiche ed aggiunte), che mostra il flusso di controllo tra una attività e l altra Possono

1 Università di Padova Facoltà di Scienze MM.FF.NN Informatica - anno Corso di Ingegneria del Software UML Diagrammi di attività Activity diagrams Diagrammi di attività I diagrammi di attività, in UML, sono usati per descrivere il comportamento dinamico di un sistema Un diagramma di attività è essenzialmente un flowchart( con alcune modifiche ed aggiunte), che mostra il flusso di controllo tra una attività e l altra Possono essere usati per modellare i workflow, oppure per descrivere i dettagli di un metodo complesso I diagrammi di attività sono in correlazione con i diagrammi di stato. v. 3.1 Un attività procede senza essere interrotta da segnali esterni Renato Conte - UML Activity Diagrams - 1 / 39 - Renato Conte - UML Activity Diagrams - 2 / 39 - Sintassi dei diagrammi di Attività (1) Flows or Edges Stato iniziale Initial state Transizioni Azione Stato di attività Stato finale Final state Renato Conte - UML Activity Diagrams - 3 / 39 - Renato Conte - UML Activity Diagrams - 4 / 39 -

2 Activity node activity final node Activity and flow final node Activity final node Flow final node flow final node ref. Figure UML Superstructure Specification, v2.1.2 Renato Conte - UML Activity Diagrams - 5 / 39 - Renato Conte - UML Activity Diagrams - 6 / 39 - Sintassi dei diagrammi di Attività (2) Activity State Stati Fork e join Signal sending Signal receipt Uno stato di attività è uno stato atomico. Al completamento dell azione, avviene la transizione allo stato successivo. Branch o Merge Control flow Name: Type [statename] Un Object flow state mostra il valore di un oggetto creato od usato in uno stato di attività. Renato Conte - UML Activity Diagrams - 7 / 39 - Renato Conte - UML Activity Diagrams - 8 / 39 -

3 Branching e merging esempio Branching e merging S event event[cond1] S1 Calculate Cost [cost < $50] Charge Account [cond1] [cond2] S [cost >= $50] S1 S2 event[cond2] S2 Get Authorization Renato Conte - UML Activity Diagrams - 9 / 39 - Renato Conte - UML Activity Diagrams - 10 / 39 - Fork e join Combinazione di Fork e Join S fork Q1 Q2 Da una fork partono due o più thread di controllo. A B C equivalente a A B C P1 P2 Una join permetterà la sincronizzazione dei thread. join equivalente a R Renato Conte - UML Activity Diagrams - 11 / 39 - Renato Conte - UML Activity Diagrams - 12 / 39 -

4 Signal: send e receive esempio [amount <= $25] Enter Credit Card Data request [amount > $25] Receiver object credit Center [amount <= $25] Enter Credit Card Data [amount > $25] Signal send Signal interpretata come una transizione con una send action. Await Authorisation Sender object /send creditcenter.request() Await Authorisation Signal receipt Signal authorise Charge Card Charge Card /authorise tradotta in un wait state (uno stato con nessuna azione associata e con un signal trigger event ). Renato Conte - UML Activity Diagrams - 13 / 39 - Renato Conte - UML Activity Diagrams - 14 / 39 - Grafi di attività - metodi Subactivities POEmployee.sortMail() POEmployee.deliverMail() SubActivity SubActivity POEmployee sortmail() delivermail() «realize» POEmployee DeliverMail Method Check Out Truck Put Mail In Boxes Sottoattività 2.x Input Foo Bar Output Sottoattività 1.4 Renato Conte - UML Activity Diagrams - 15 / 39 - Renato Conte - UML Activity Diagrams - 16 / 39 -

5 Coordinamento e sincronizzazione (1.x) Uno stato di sincronizzazione ( ) è ereditato dal diagramma a stati, ma prevalentemente è usato in diagrammi di attività Customer (cliente) Request Partitions (Swimlane 1.x) Sales (vendite) Le partizioni o corsie evidenziano responsabilità Stockroom (magazzino) Permette la comunicazione tra processi paralleli. Build Frame Put On Roof Install Walls Pay Take Fill Install Foundation * * Inspect evadere Install Electricity in Foundation Install Electricity In Frame Install Electricity Outside State machine notation portar via Collect Deliver consegnare Renato Conte - UML Activity Diagrams - 17 / 39 - Renato Conte - UML Activity Diagrams - 18 / 39 - Object flow state Customer Partitions & Object flows (cliente) Attività A oggetto [stato] Attività B Request Object [its state] Sales Stockroom Un speciale tipo di passo (stato) che rappresenta la disponibilità di un particolare tipo di oggetto, probabilmente in uno stato particolare. Nessuna azione o sottoattività viene invocata ed il controllo passa allo stato successivo (passo). Pay [Delivered] [Placed] Deliver Take [Filled] [Entered] Fill Si possono inserire vincoli (constraints) sui parametri di input e output prima e dopo di esso. Collect Renato Conte - UML Activity Diagrams - 19 / 39 - Renato Conte - UML Activity Diagrams - 20 / 39 -

6 Object flow state: example Synch State Take [Taken] Fill Object flow state possono essere stati di sincronizzazione Take must have an output parameter giving an order, or one of its subtypes. Fill must have an input parameter taking an order, or one of its supertypes. Lines used with object flow have the same semantics as any other state transition. A11 A12 A13 Obj [S2] A21 A22 A23 Renato Conte - UML Activity Diagrams - 21 / 39 - Renato Conte - UML Activity Diagrams - 22 / 39 - Exception Handler Notation Exception Handler example Renato Conte - UML Activity Diagrams - 23 / 39 - Renato Conte - UML Activity Diagrams - 24 / 39 -

7 Ports input/output pin Port Console Sample e inp Entry Provided Interface validity v Code outp Stop Required Interface Expansion Node Input/Output Renato Conte - UML Activity Diagrams - 25 / 39 - Renato Conte - UML Activity Diagrams - 26 / 39 - expansion node / expansion region iterative parallel stream <<region type>> Riassunto ed esempi Renato Conte - UML Activity Diagrams - 27 / 39 - Renato Conte - UML Activity Diagrams - 28 / 39 -

8 Action/Activity Integration Action/Activity Example Amount updateaccount ( Account a, Amount d ) { Amount nb = a.balance + d; // calcolo nuovo saldo Deposit UpdateAccount + Amount a.balance = nb; // setbalance Account Get Balance Set Balance send_notice (a.customer, a, nb); return nb; } Get Customer Send Notice Renato Conte - UML Activity Diagrams - 29 / 39 - Renato Conte - UML Activity Diagrams - 30 / 39 - Modifiche e flusso dati Diagrammi equivalenti [ priority = 1] Evaluate Impact Revise Plan memoria persistente Register Bug Release Bug Test <<presentation>> Modifica Profilo Utente [OK] [cancel] Sistema di Aggiornamento Profilo Soluzione meno ambigua Register Bug [ priority = 1] [else ] Evaluate Impact Bug Revise Plan Test Release Renato Conte - UML Activity Diagrams - 31 / 39 - Renato Conte - UML Activity Diagrams - 32 / 39 -

9 Alternative Analisi requisiti Renato Conte - UML Activity Diagrams - 33 / 39 - Renato Conte - UML Activity Diagrams - 34 / 39 - parametri Signals on an activity diagram Renato Conte - UML Activity Diagrams - 35 / 39 - Renato Conte - UML Activity Diagrams - 36 / 39 -

10 Bibliografia Riferimenti nel Web Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide, Addison Wesley (1999). Grady Booch, James Rumbaugh, Ivar Jacobson The Unified Modeling Language Reference Manual, Addison Wesley (1999). Ivar Jacobson, Grady Booch, James Rumbaugh The Unified Software Development Process, Addison Wesley (1999). OMG UML UML Superstructure Specification, v2.1.2 UML link: tool, demo, doc,... Renato Conte - UML Activity Diagrams - 37 / 39 - Renato Conte - UML Activity Diagrams - 38 / 39 - Domain Model Showing Request Kinds Several kinds of requests exist between instances, for example, sending a signal or invoking an operation. A send invocation occurrence creates a send request and causes a signal occurrence in the receiver. A call invocation occurrence creates a call request and causes a call occurrence in the receiver. Renato Conte - UML Activity Diagrams - 39 / 39 -

Documenti analoghi

Ingegneria del Software 9. Macchine a stati. Dipartimento di Informatica Università di Pisa A.A. 2014/15

Ingegneria del Software 9. Macchine a stati Dipartimento di Informatica Università di Pisa A.A. 2014/15 so far Modello del dominio Modello statico: diagrammi delle classi Modello dinamico : diagrammi di