Methods for Software Specification Jan Kožusznik. Dept. of Computer Science Technical University of...

Methods for Software Specification

Jan Kožusznik.Dept. of Computer Science

Technical University of Ostravajan@kozusznik.cz

http://www.kozusznik.cz

• COCKBURN, A. Use Cases Jak efektivně modelovat aplikace. CP Books, a.s., 2005. ISBN 80-251-0721-3.

• FOWLER, M. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley Professional, 2003. ISBN 978-0321193681.

• GAMMA, E., HELM, R., JOHNSON, R. AND VLISSIDES, J.M. Design Patterns: Elements of Reusable Object-Oriented Software. 1st ed.: Addison-Wesley Professional, 1994. ISBN 978-0201633610.

• PFLEEGER, S.L. AND ATLEE, J.M. Software Engineering: Theory and Practice. Prentice Hall, 2009. ISBN 0136061699.

• POHL, K. Requirements Engineering: Fundamentals, Principles, and Techniques. Springer, 2010. ISBN 978-3642125775

• PRESSMAN, R.S. Software engineering : a practitioner's approach. 7th ed. New York: McGraw-Hill Higher Education, 2010. xxviii, 895 p. p. ISBN 9780073375977.

• SOMMERVILLE, I. Software engineering. 9th ed. Harlow: Addison-Wesley, 2010. xxiii, 840 p. p. ISBN 978-0137035151.

• WARMER, J. AND KLEPPE, A. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Professional, 2003. ISBN 0321179366.

Used literature

Software engineering

• The IEEE Computer Society defines software engineering as:– “(1) The application of a systematic, disciplined,

quantifiable approach to the development, operation, and maintenance of software; that is, the application of engineering to software.

– (2) The study of approaches as in (1).”1

Software development „reality“

Users‘ vs. developers‘ viewHow developers see users• Users don’t know what they want.• Users can’t articulate what they

want.• Users are unable to provide usable

statements of needs.• Users have too many needs that are

politically motivated.• Users want everything right now.• Users can’t remain on schedule.• Users can’t prioritize needs.• Users are unwilling to compromise.• Users refuse to take responsibility for

the system.• Users are not committed to

development projects.

How users see developers• Developers don’t understand

operational needs.• Developers can’t translate clearly

stated needs into a successful system.

• Developers set unrealistic standards for requirements.

• Developers place too much emphasis on technicalities.

• Developers are always late.• Developers can’t respond quickly to

legitimately changing needs.• Developers are always over budget.• Developers say “no” all the time.• Developers try to tell us how to do

our jobs.• Developers ask users for time and

effort, even to the detriment of the user’s important primary duties.

Software process – key disciplines

Requirement specifications

Requirements expressed in :• Natural language sentences• Structured natural language• Design description language• Graphical notations• Formal specifications

Requirements

Requirement is1. A condition or capability needed by a user to solve a problem or achieve an

objective.2. A condition or capability that must be met or possessed by a system or

system component to satisfy a contact, standard, specification, or other formally imposed documents.

3. A document representation of a condition or capability as in (1) or (2).

Requirement artifact is a documented requirement.

Requirement types:• Functional requirements• Quality requirements• Constraints.

SRS should be

• Correct• Unambiguous• Complete• Consistent• Ranked for importance and/or

stability• Verifiable• Modifiable• Traceable

Functional requirements

Example: If a sensor detects that a glass pane is damaged or broken, the system shall inform the security company,

Mainly defines: data, functions, and behavior.

Functional requirements are statements of services that a system should provide, how the system should react to particular inputs and how the system should behave in a particular situation. In some cases, functional requirements may also state what the system should not do.

Quality requirements I

Types of quality requirements• Important primarily for

developers– Maintainability– Portability– Reusability– Testability

A quality requirement defines a quality property of the entire system or of a system component, service, or function.

• Important primarily for users– Availability – Efficiency– Flexibility– Integrity– Interoperability– Reliability– Robustness– Usability

Quality requirements II

Quality requirements III

Non-functional requirements

Non-functional =

Underspecified functional requirements

Quality requirements

The system shall be secure.

• Each user must log in to the system with their user name password prior to using the system.

• The system shall remind the user every four weeks to change the password.• When the user changes the password, the system shall validate that the new

password is at least eight characters long and contains alphanumeric characters.• Users‘ password stored in the system must be protected against password theft.

Constraints I.

• Organizational process– Resources– Documentation– Standards

• Design (operational environment)– Physical environment– Interface– Users

A constraint is an organizational or technological requirement that restricts the way in which the system shall be developed.

Constraints II

Constraints III

Constraints affecting the system:• With respect to current conditions defined by

the insurance company, only the security technicians are allowed to deactivate the control function of the system.

• A fire protection requirement demands that terminals in the sales rooms do not exceed the size 120cm x 90 cm x 20 cm.

Constraints affecting the development process:• The effort for development of the system must

not exceed 480 man-months,• The system must be developed using RUP.

Creation of textual requirement I

Specific thoughts

Thoughts

generalization

distortion

T o g s h u t

deletion

Creation of textual requirement II

Specific thoughts

Thoughts

generalization

distortion

T o g s h u t

deletion

Creation of textual requirement III

Specific thoughts

Thoughts

generalization

distortion

T o g s h u t

deletion

Use cases

• Benefits:– goal identification,– exceptional

situation.

Use case is specification of a sequence of actions, including variants that a system (or other entity) can perform, interacting with actors of the system.

Requirements and use cases

• They are really requirements• Cover only a part of requirements – it lacks:

– External interface,– Data format– Business rules,– Complex formulae.

• Cover one third of all requirements.

Use case structure

• Scope: <design scope, what system is being considered black-box under design>

• Level: <one of: Summary, User-goal, Subfunction>• Primary Actor: <a role name for the primary actor, or

description>• Stakeholders & Interests: <list of stakeholders and key

interests in the use case>• Precondition: <what we expect is already the state of the

world>• Minimal Guarantees: <how the interests are protected

under all exits>• Success Guarantees: <the state of the world if the goal

succeeds>

Primary actors and stakeholders gathering

• Interactions between Actors with Goals– Actors have goals– Goals can fail– Interactions are compound– A use case collects scenarios

• Contract between Stakeholders with Interests

Actors have goals supported by described system. The system should ensure interests of stakeholders.

Design scope IDesign scope is the extent of the

system

Design scope II

• "Enterprise" scope • "System" scope• "Subsystem" scope

Design scope III

Design scope IVDesign scope is the extent of the

system

THREE NAMED GOALLEVELS

THREE NAMED GOALLEVELS II

THREE NAMED GOALLEVELS III

THREE NAMED GOALLEVELS IV

Use case structure I

• Context of use: <a longer statement of the goal, if needed, its normal occurrence conditions>

• Level: <one of: Summary, User-goal, Subfunction>• Primary Actor: <a role name for the primary actor, or description>• Stakeholders & Interests: <list of stakeholders and key interests in

the use case>• Precondition: <what we expect is already the state of the world>• Trigger: <what starts the use-case may be a time event>• Minimal Guarantees: <how the interests are protected under all

exits>• Success Guarantees: <the state of the world if the goal

succeeds>

Use case structure II

succeeds>

Use case structure III

succeeds>

Scenarios and steps I

• Main success scenario – a typical scenario in which the primary actor’s goal is delivered and stakeholder‘s interests are satisfied

• Common surrounding structure– Condition of scenario– a goal to achieve– a set of action steps– an end condition,– a possible set of extensions.

• The scenario body– an interaction between two actors,– a validation step to protect an interest of a stakeholder,– an internal change to satisfy a stakeholder.

Scenarios and steps II

• Main success scenario• Common surrounding structure

– condition of scenario– goal to achieve– set of action steps– end condition,– possible set of extensions.

• The scenario body– an interaction between two actors,– a validation step to protect an interest of a stakeholder,– an internal change to satisfy a stakeholder.

Scenarios and steps III

• Main success scenario• Common surrounding structure

– Condition of scenario– a goal to achieve– a set of action steps– an end condition,– a possible set of extensions.

• Scenario body– interaction between two actors,– validation step to protect interest of the stakeholder,– internal change to satisfy the stakeholder.

Different level of goals and precondition

The use case on the summary level gives

context for use-cases on lower levels.

The precondition indicates the use-case performed

previously.

Action Steps – guideline 1: It uses simple grammar

Subject ... verb... direct object... prepositional phrase.

Example:

The system ... computes ... provision... from the invoiced amount.

Action Steps – guidelines 2:It shows clearly, "Who has the ball“.

• At each step one actor "has the ball". That actor is going to be the subject of the sentence, the first actor named, probably as the first or second word in the sentence.

• The "ball" is the message and data that gets passed from actor to actor.

Action Steps – guidelines 3:It is written from a bird's eye point of view.

• Beginning use case writers write the scenario as seen by the system:– Get an ATM card and PIN number. Deduct the amount from the account

balance. X

• A better form is:– The customer inserts the ATM card and PIN.– The system deducts the amount from the account balance.

Action Steps - guideline 4: It shows the process moving distinctly forward

Avoid small steps – find a slightly higher-level goal for a step, ask "Why is the actor doing that?“.

Example:

A user hits the tab key.

Why is the user hitting the tab key? To get to the address field.

Why is he trying to get to the address field? Because he has to enter her name and address before the system does anything.

A user enters name and address.

Action Steps – guidelines 5:It shows the actor’s intentions, not

movements.

1. System asks for name.2. User enters name.3. System prompts for address.4. User enters address.5. User clicks ’OK’.6. System presents user’s profile.

1. User enters name and address.2. System presents user’s profile.

Customer enters name, address, phone number, secret information, emergency contact phone number.

Customer enters- name- address- phone number- secret information- emergency contact phone number

more data items being passed

It is user interface designer’s job to invent a user interface but we are interested in the semantic description of the interface in the requirements document

Action Steps – guidelines 6:It contains a ’reasonable’ set of actions.

1. The primary actor sends a request and data to the system.

2. The system validates the request and the data.

3. The system alters its internal state.

4. The system replies to the actor with the result.

Version 1 – All interaction are in one step.

Version 2 – a/ 1. b/ 2., 3., 4.

Version 3 – a/ 1. b/ 2. c./ 3., 4.

Version 4 – a/ 1. b/ 2. c./ 3. d/ 4.

Version 5 – a/ 1. b/ 2. c./ 3. d/ 4( to an actor a) e/ 4 (to an actor b)

Action Steps – guidelines 7:It doesn’t "check whether", it "validates“

• Verifying step is often written as “System … checks”

it is not a good action verb because it does not move process distinctly forward – it is followed by

“If the (condition) … ”

2. The system checks whether the password is correct3. If it is, the system presents available actions to the user.

2. The system validates that the password is correct.3. The system presents available actions to the user.

Action Steps – guidelines 8:It optionally mentions the timing

• Feel free to put in the timing, but only when you need to.– At any time between steps 3 and 5, the user will ...– As soon as the user has ..., the system will ...

Action Steps – guidelines 9:Idiom: "User has System A, kick System B“

The user hits the FETCH button, at which time the system fetches the data from system B.

4. The user signals to the system to fetch data from system B.5. The system fetches the background data from system B."

4. The user has system A, fetch data from system B.

Action Steps – guidelines 10:Idiom: "Do steps x-y until condition"

only one step being repeated

"The user selects one or more products.""The user searches through various product catalogs until he finds the one he wants to use.„

1. The customer supplies either the account identifier or name and address.

2. The system brings up the customer's preference information.

3. The user selects an item to buy, marks it for purchase.

4. The system adds the item to the customer's "shopping cart".

The customer repeats steps 3-4 until indicating that he/she is done.

5. The customer purchases the items in the shopping cart (see use case xxx).

several steps to be repeated

Action Steps – guidelines 10:Idiom: "Do steps x-y until condition“ - II

Variant – “Steps x-y can happen in any order.”

1. The customer logs on2. The system presents available products and services.

Steps 3-5 can happen in any order.3. The user selects products to buy.4. The user specifies the preferred form of payment.5. The user gives the destination address.6. The user indicates shopping spree is complete.7. The system initiates an order with the selected products to be charged against the form of payment and to be sent to the destination address.

Extensions I

1. write every scenario individually – bad maintenance

2. use “if” statements through text - hard to read

3. write a scenario extension for each branch point - best

Extensions II

1. write every scenario individually – bad maintenance

2. use “if” statements through text - hard to read

3. write a scenario extension for each branch point - best

...3. The system goes through the document, checking every word against its spelling dictionary.4. The system detects a spelling mistake, highlights the word and presents a choice of alternatives to the user.5. The user selects one of the choices for replacement. The system replaces the highlighted word with the user’s replacement choice....Extensions;4a. The system detects no more misspellings through the end of the document:

4a1. The system notifies the user, terminates use case.5a. The user elects to keep the original spelling:

5a1. The system leaves the word alone and continues.5b. The user types in a new spelling, not on the list:

5b1. The system revalidates the new spelling, returns to step 3.

Extensions Conditions

• condition under which the system takes different behavior.

• say extension instead of failure or exception

4. The user has the system save the work so far....Extensions;

4a. System auto detects the need for an intermediate save:4a1. ...

4b. Save fails:4b1. ...

• Alternate success path - "Clerk uses a shortcut code".• The primary actor behaves incorrectly - "Invalid password".• Inaction by the primary actor - "Time-out waiting for password".• Every occurrence of the phase "the system validates" implies there

will be an extension to handle failure of the validation - "Invalid account number".

• Inappropriate or lack of response from a supporting actor - "Time-out waiting for response“

• Internal failure within the system under design, which must be detected and handled as part of normal business - "Cash dispenser jams“.

• Unexpected and abnormal internal failure, which must be handled and will have an externally visible consequence - "Corrupt transaction log discovered".

• Critical performance failures of the system that you must detect. - "Response not calculated within 5 seconds".

Brainstorm all conceivable failures and alternative courses I

• Alternate success path - "Clerk uses a shortcut code".• The primary actor behaves incorrectly - "Invalid password".• Inaction by the primary actor - "Time-out waiting for password".• Every occurrence of the phase "the system validates" implies there

will be an extension to handle failure of the validation - "Invalid account number".

• Inappropriate or lack of response from a supporting actor - "Time-out waiting for response“

• Internal failure within the system under design, which must be detected and handled as a part of normal business - "Cash dispenser jams“.

• Unexpected and abnormal internal failure, which must be handled and will have an externally visible consequence - "Corrupt transaction log discovered".

• Critical performance failures of the system that you must detect. - "Response not calculated within 5 seconds".

Brainstorm all conceivable failures and alternative courses II

Action Steps – guidelines 11:The condition says what was detected.

• Write down what the system detects, not just what happened.

• put a colon (’:’) after the condition

Customer forgets PIN.

PIN entry time-out.

Invalid PIN:Network is down:The customer walked away (time-out):Cash did not eject properly:

• Rationalize the extensions list.– The system must be able to detect the condition.– The system must be obliged to handle detecting the condition.

• Roll up failures

Extension optimization

Use Case: Update Investment...7. The user has PAF save the work.8. ...Extensions:7a. Save fails: 7a1. ...whatever should happen next...

Use Case: Save Work...Extensions:3a. File already exists (user doesn't want to overwrite): ...3b. Directory not found: ...4a. Out of disk space: ...4b. File write-protected: ...... and so on...

Action Steps – guidelines 12:Condition handling is indented.

• indent the action step and start numbering again at 1

Extensions2a. Insufficient funds:

2a1. The system notifies customer, asks for a new amount.2a2. The customer enters new amount.

Failures within failures

Extensions6a. The clerk decides to exit without completing minimum information: 6a1. The system warns the Clerk it cannot exit and finalize the form without date, name or policy number, or adjuster name provided. 6a1a. The clerk chooses to continue entering loss 6a1b. The clerk saves as "intermediate" report and exits. 6a1c. The clerk insists on exiting without entering minimum information: The system discards any intermediate saved versions and exits.

• consider using if– The extension is used in several places.– The extension makes the use case really hard

to read.• costs: it must be:

– Labeled,– Tracked,– Scheduled,– Tested,– Maintained.

Creating a new use case from an extension

Technology & Data Variations

• It is not extensions – it is rather specialization

Main Success Scenario:...2. The user identifies him/herself, bank, and account #....Technology & Data Variations List:2a. Use magnetic bank card, eye scan, or fingerprints."

7. Repay customer for returned goods.Technology & Data Variations List:7a. Repay by check, EFTS, or credit against future purchases.

Linking Use Cases I

• Sub use cases

• Extension use cases

The user saves the reportThe user saves the report (UC 35 Save a Report)

Buy product Save a Report<<includes>>

Linking Use Cases II

• Sub use cases• Extension use cases

– There is a main activity which can be interrupted.– It can be interrupted in a number of ways, without the main activity being in

control of the interruptions.

Buy product

Find synonym

Change template

Check spelling

«extends»

• Many asynchronous or interrupting services.• Adding to locked requirement document.

When to use extension use case

Buy product

Find synonym

Change template

Check spelling

«extends»

When are we done?

• You have named all the primary actors and all the user goals with respect to the system.

• You can capture every trigger condition to the system either as a use case trigger or an extension condition.

• You have written all the user-goal use cases, along with the summary and subfunction use cases needed to support them.

• Each use case is clearly enough written that:– the sponsors agree they will be able to tell whether or not it is actually

delivered.– the users agree that it is what they want or can accept as system’s

behavior.– the developers agree they can actually develop that functionality.

• The sponsors agree that the use case set covers all they want (for now).

Special use cases: CRUD

Create a User

Delete a User

Update a User

Retrieve a User

Manage a User

• the name of the thing to be found• the searchable qualities (search fields) of the thing to be found• what to display about the thing to be found (the display values, in

sequence)• how to sort the choices (sort criteria).

Special use cases: parameterized use cases I

Similar USE-CASES: Find a Customer, Find a Product, Find a Promotion differing in:

• the name of the thing to be found• the searchable qualities (search fields) of the thing to be found• what to display about the thing to be found (the display values, in

sequence)• how to sort the choices (the sort criteria).

Special use cases: parameterized use cases II

Generic USE-CASE: Find a Whatever

The clerk finds a customer using customer search details.

1. The user identifies the searchable qualities of the whatever thing.2. The system finds all matching whatevers and displays their display values on a list.3. The user can resort them according to the sort criteria.4. The user selects the one of interest.

Similar USE-CASES: Find a Customer, Find a Product, Find a Promotion differing in:

MISSING REQUIREMENTS

• UC is only „third chapter of SRS“ – it doesn’t contain – – contain performance requirements, – business rules, – user interface design, – data descriptions, – finite state machine behavior, – priority, etc.

• Could be attached:– use case priority,– expected frequency of occurrence,– performance needs,– delivery date,– list of secondary actors,– business rules (possibly),– open issues.

• Additional table:– primary actor– trigger– delivery priority– estimated complexity– probable release– performance requirement– state of completion– ...and whatever else you need.

Data requirements

• Required by programmers – includes field check• Three level of precision:

– Information nicknames,– Field lists, or data descriptions,– Field details & checks.

• Information nicknames will:– speed up the requirement gathering– make use cases shorter and easier to read– make use case more durable– Enable to refer the same information to other use cases.

Data requirements: information nicknames

• only a nickname is used in UC, • it will enable

– speed up the requirement gathering,– make use cases shorter and easier to read,– make use case more durable– enable to refer the same information to other use cases.

Data requirements: field list

• describes what fields information links contain.

• many strategies for dealing with this level of precision:– a separate entry for each entry – a single entry for a parcel of information that arrives in a single

UC step together (name, address, phone number)

• Data length specifications & data restrictions• Let‘s note:

– Field details need to be expanded and checked– Use case is not a place for expansion– Use case should link to the expansion– The fields details usually change in time

independently from use cases

Data requirements:Field details & checks

Use Cases In Project Organization:Organization of use cases

1. Analytic: names of use cases with names of primary actors

2. Sponsor: priority of business need

3. Developer: technical difficulty

Use Cases In Project Organization:Use cases cross releases

• A complete use case is delivered in one release very occasionally. More often:– Deliver the simple case in release 1– Add high-risk handling in release 2– Put preferred customer handling in release 3

• Deliver complete scenario.

Use cases to design - I

• Design doesn’t cluster by use case – parts of business logic or mechanism occur in several use cases.

• During OO design - don’t mirror functional decomposition by classes.

Use cases to design - II

• Design makes use of scenarios• Use cases name domain concepts

UML diagrams limitations

• Information conveyed by such diagrams has a tendency to be incomplete, imprecise and even inconsistent.

• Diagrams cannot express the statements that should be a part of a specification.

• Interpretation of a diagram can be ambiguous.

UML Limitations: Example

+discount(in percentage : int) : float

-name : string-price : float

Product

+pay(in amount : float)

-name : string-address : string-e-mail : string

Customer

-sum : float-date : Date

Payment

-products

-buyer

3 orders

-items1..*

-payment

defines4 -remittance

-payer 1

3 pays

Correct Interpretation of Model

name : string = Ivo Vondrakaddress : string = Ostravae-mail : string = ivo.vondrak@vsb.cz

vondrak : Customername : string = Sony Ericsson T630price : float = 100

vondrak'sT630 : Product

name : string = ICT25price : float = 15

vondrak'sCase : Product

sum : float = 115date : Date = 12/24/2004

vondrak's : Payment

Mistaken Interpretation

name : string = John Smithaddress : string = Los Angelese-mail : string = john.smith@matrix.com

smith : Customer

name : string = Sony Ericsson T630price : float = 100

vondrak'sT630 : Product

name : string = ICT25price : float = 15

vondrak'sCase : Product

sum : float = 200date : Date = 12/24/2003

vondrak's : Payment

name : string = Ivo Vondrakaddress : string = Ostravae-mail : string = ivo.vondrak@vsb.cz

vondrak : Customer

name : string = Sony Ericsson P900price : float = 200

smith'sP900 : Product

Object vondrak should pay his products and the amount that has to be paid is given by the sum of both product. This interpretation is not valid but it is correct from the point of view of the class diagram. The class diagram is ambiguous!

OCL – Object Constraint Language

• OCL is precise, unambiguous language that is easy for people who are not mathematicians or computer scientists to understand. It does not use any mathematical symbols, while maintaining rigor in its definition.

• OCL is a typed language, because it must be possible to check an expression included in the specification without having to produce an executable version of the model.

• OCL is a declarative, side-effects-free language; that is the state of a system does not change because of an OCL expression.

• UML/OCL enables to build models completely platform-independent.

OCL is a language that can express additional and necessary information about models and other artifacts used in object-oriented modeling, and should be used in conjunction with UML diagrammatic models.

How to Combine UML and OCL

• Rules related to the class diagram of an e-shop:– A payment is valid only

when the products ordered by a customer are paid by the same customer.

– The e-mail address has to be unique.

– The payment sum is given by the sum of all ordered products’ prices.

– The customer has to pay the amount of money equal to the payment sum.

Product

Customer

Payment

-products

-buyer

3 orders

-items1..*

-payment

-payer 1

3 pays

OCL Expressions

Product

Customer

Payment

-products

-buyer

3 orders

-items1..*

-payment

-payer 1

3 pays

• context Paymentinv: self.items->forAll (item | item.buyer = payer)

• context Customerinv: Customer::allInstances()->isUnique(e-mail)

• context Paymentinv: self.items.price->sum() = self.sum

• context Customer::pay(amount: float)pre: self.remittance.sum = amount

• Rules related to the class diagram of an e-shop:– A payment is valid only

when the products ordered by a customer are paid by the same customer.

– The e-mail address has to be unique.

– The payment sum is given by the sum of all ordered products’ prices.

– The customer has to pay the amount of money equal to the payment sum.

OCL anatomy

context <Context for expressions>

Types of OCL constructions:• inv – invariants• pre, post – pre and post condition• derive – derived attribute• body – query functions• Init – initial value

Types in OCL

• Boolean• Integer• Real• String• User defined – classes, enumeration• Collection

Boolean operators

• Simple operators– a or b– a and b– a xor b– not a– a implies b– a = b– a <> b

• Ternary operatory– if <boolean OCL expression>

then <OCL expression>

else <OCL expression>

Integer and Real operators

• =,<>, <, >, <=, >=, +, -, *, /• a.mod(b), a.div(b) , a.abs(), a.max(b), a.min(b),

a.round(), a.floor(),

2654 * 4.3 + 101 = 11513.2

(3.2).floor() / 3 = 1

1.175 * (-8.9).abs() - 10 = 0.4575

12 > 22.7 = false

12.max(33) = 33

33.min(12) = 12

13.mod(2) = 1

13.div(2) = 6

33.7.min(12) = 12.0

-24.abs() = 24

(-2.4).floor() = -3

String operators

• string1.concat(string2), string.size(), string.toLower(), string.toUpper(), string.substring(int1, int2), string1 = string2, string1 <> string2

'Anneke'.size() = 6

('Anneke' = 'Jos') = false

'Anneke '.concat('and Jos') = 'Anneke and Jos'

'Anneke'.toUpper() = 'ANNEKE'

'Anneke'.toLower() = 'anneke'

'Anneke and Jos'.substring(12, 14) = 'Jos'

Invariants

• Invariants on attributescontext Productinv ofPrice: self.price >= 0

• Invariants on associated objectscontext Paymentinv ofAge: payer.age >= 18

An invariant is a constraint – a boolean expression - that should be true for an object during its complete lifetime.

Keyword self means reference to a given instance. Its use is mandatory in the case of ambiguity only.

1. Attribute age of every customer object must be equal to or greater than 18.

context Customerinv ofAge: age >= 18

LoyaltyProgram

Customer

name:Stringtitle:StringisMale:BooleandateOfBirth:Date/age:Integer

«datatype»Customer

now:Data

isBefore(t:Date):BooleanisAfter(t:Date):Boolean=(t:Date):Boolean

Date is a utility class

programs

participants

CustomerCard

valid:BooleanvalidFrom:DategoodThru:Datecolor:Color/printedName:String

block()

1owner

0..*cards

ProgramPartner

numberOfCustomers:Integername:String

1..* partners

programs

2. validFrom should be earlier than goodThru.

context CustomerCard inv checkDates: validFrom.isBefore(goodThru)

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Working with association I.

• Multiplicity at least one enables direct access to object.– result of expression “self.payer.name” in context of

Payment is the name of Customer associated with Payment

Product

Customer

Payment

-products

-buyer

3 orders

-items1..*

-payment

-payer 1

3 pays

3. Every owner of CustomerCard has age greater than or equal to 18.

context CustomerCard inv ofAge: owner.age >= 18

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Working with association II.

• When the multiplicity of an association is greater than 1, OCL provides a wide range of collection operations:–basic operations– loop operations.

• These operations are accessible in the following way:

collection->operation()

Standard collection operators

• count( object ) -The number of occurrences of the object in the collection

• excludes( object ) -True if the object is not an element of the collection

• excludesAll( collection) -True if all elements of the parameter collection are not present in the current collection

• includes( object ) - True if the object is an element of the collection• includesAll( collection) - True if all elements of the parameter

collection are present in the current collection• isEmpty() - True if the collection contains no elements• notEmpty() - True if the collection contains one or more elements• size() - The number of elements in the collection• sum() - The addition of all elements in the collection. The elements

must be of a type supporting addition (such as Real or Integer).

4. Only a customer associated to some programs could have some cards – every customer with at least one card is associated to some program

context Customerinv minServices: self.cards->size() > 1 implies self.programs->size() > 1

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Loop operations

• collect(expr)…collection of objects that result from evaluating expr for each element in the source collection

• exists(expr)…true if there is at least one element in the source collection for which expr is true

• forAll( expr )…true if expr is true for all elements in the source collection

• isUnique( expr )…true if expr has a unique value for all elements in the source collection

• one( expr) … true if there is exactly one element in the source collection for which expr is true

• select(expr)…subcollection of the source collection containing all elements for which expr is true

5. The number of valid cards for every customer must be equal to the number of programs in which the customer participates.

context Customerinv sizesAgree: programs->size() = cards->select( valid = true )->size()

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Iterator Variables

context Customerinv: Customer::allInstances()->isUnique(e-mail)

orcontext Customer

inv: Customer::allInstances()->isUnique(c | c.e-mail)orcontext Customer

inv: Customer::allInstances()->isUnique(c:Customer | c.e-mail)

Every iterator operation may have an extra (optional) parameter, an iterator variable. An iterator variable is a variable that is used within the body parameter to indicate the element of the collection for which the body parameter is being calculated.

Types of collections

• OCL defines types of collection:– Set - a collection that contains instances of a valid OCL

type and does not contain duplicate elements– OrderedSet – Set with ordering of elements– Bag - a collection that may contain duplicate elements– Sequence - Bag whose elements are ordered

• Specific operation for collection are provided– append(object),prepend(object) … add on the end resp.

start – asBag(), asOrderedSet(), asSequence(), asSet() … casting– at(index), first(), last() … gets given item– including(object), excluding(object) … add resp. remove

item– flatten … change a collection of a collection to a single

collection

6. Attribute numberOfCustomers holds the number of customers who participate in one or more loyalty programs offered by this program partner

context ProgramPartner inv nrOfParticipants: self.numberOfCustomers = self.programs.participants->flatten()->asSet()->size()

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Preconditions and Postconditions

context Product::discount(percentage: Integer) : Realpre: percentage >= 0 and percentage <= 10 post:

let oldPrice : Real = self.price@prein self.price = oldPrice –

(oldPrice*percentage/100)and result = self.price

Preconditions and postconditions are constraints that specify the applicability and effect of an operation without stating an algorithm or implementation.

7. Consider method CustomerCard::block – value of valid is set to false and old value of the attribute is returned.

context CustomerCard::block():boolean post: self.valid =false and result = self.valid@pre

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Information addition

• Definition of already declared elements in a class diagram:– Query function

context Product::possibleDiscount(percentage: Integer) : Real body: self.price – (self.price*percentage/100)

– Derived attributes context Project::duration: Integer

derive: self.end.diference(self.start)

• Definition of new elements – query function and derived attributes

context Department

def completeBudget : Real = self.project.budget->sum();

8. Derived attribute printedName of CustomerCard is determined based on the name and title of the card owner.

context CustomerCard::printedName:String derive: self.owner.title.concat(' ').concat(self.owner.name)

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

9. Let‘s introduce a derived attribute called turnover in class Service which would sum the amount attributes of the transactions on the account.

context Service def: turnover : Real = self.transactions.amount->sum()

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Service

1 partner

0..* deliveredServices

Transaction

points:Integerdate:Dateamount:Real

1generatedBy

transactions

Initial values

• Attributes

context CustomerCard::valid : Boolean

init: true • Association role

context Customer::products : Set( Products)

init: Set{}

10. A new CustomerCard is valid if and only if owner has already at least another one card.

context CustomerCard::valid: Booleaninit: self.owner.cards->exists(c| c != self and c.valid)

LoyaltyProgram

Customer

now:Data

programs

participants

CustomerCard

block()

1owner

0..*cards

ProgramPartner

1..* partners

programs

Roots of UML

OMTObject Modeling Technique

J. Rumbaugh

OMTObject Modeling Technique

J. Rumbaugh

Booch Method...

G. Booch

Booch Method...

G. Booch

OOSEObject-oriented Software Engineering

I. Jacobson

OOSEObject-oriented Software Engineering

I. Jacobson

UMLUnified Modeling Language

Rational

UMLUnified Modeling Language

Rational

Standardized by OMG

UML using

• Three modes:– as a sketch– as a Blueprint– as a programing language.

• Two directions:– forward engineering– reverse engineering

UML as a sketch

• most common • its essence is selectivity• forward sketching – to discuss some issue

in code, to help to communicate• reverse sketching – to explain working of

some parts of a system

UML as a blueprint

• its essence is completeness• forward sketching – detailed design

sufficiently complete for coding up• reverse sketching – shows every detail

about the selected part of a system

UML as a blueprint II.

• requires more sophisticated tools than sketches

• reasonable for interfaces• Value of reverse-engineering depends on

tools– Dynamics browser is valuable– Generating large documents is worthless

UML as a programming language I

• another level of code generation• requires sophisticated tools• environment should provide better

productivity• requires a mass of users

UML as a programming language II

• another level of code generation• requires sophisticated tools• environment should provide better

productivity• requires a mass of users

Clas Diagram

Structure Diagram

Diagram

BehaviorDiagram

CompositeStructureDiagram

ObjectDiagram

Component Diagram

Deployment Diagram

PackageDiagram

ActivityDiagram

Use CaseDiagram

State MachineDiagram

SequenceDiagram

CommunicationDiagram

InteractionOverviewDiagram

TimingDiagram

InteractionDiagram

UML diagrams

UML meaning

• Precise definition of language• Not a formal definition of mapping into the

source code• Development teams follow their local

convention• UML Is Not Enough

• use cases - how people interact with the system.

• class diagram - conceptual perspective, vocabulary of the domain.

• an activity diagram - work flow of the organization (how software and human activities interact), can show the context for use cases and also the details of how a complicated use case works.

• a state diagram – an interesting life cycle of concepts

UML in a software process – software requirements I

• use cases - how people interact with the system.

• a class diagram - conceptual perspective, vocabulary of the domain.

• an activity diagram - work flow of the organization (how software and human activities interact), can show the context for use cases and also the details of how a complicated use case works.

• a state diagram – an interesting life cycle of concepts

UML in a software process – software requirements II

• Class diagrams - classes in software and how they interrelate.

• Sequence diagrams - to figure out what happens in the software for most important and interesting scenarios.

• Package diagrams - the large-scale organization of the software.

• State diagrams - for classes with complex life histories.

• Deployment diagrams - physical layout of the software.

UML in a software process – design I

• Class diagrams - classes in the software and how they interrelate.

• Sequence diagrams - to figure out what happens in the software for most important and interesting scenarios.

• Package diagrams - large-scale organization of software.

• State diagrams - for classes with complex life histories.

• Deployment diagrams - physical layout of software.

UML in a software process – design II

• Documentation– only for highlighting most important parts

• understanding Legacy Code

UML in a software process – maintenance

• UML is very complex• Class and sequence diagrams are the most

useful• Experiment with diagrams – don’t hesitate to

leave out a technique useless for you

Where to Start with UML

• majority of UML diagrams• types(classes) of object

and various kind of static relations among them

• constraints• feature – operation and

properties

Class diagrams

DateRecieved: Date[0..1]IsPrepaid: Boolean[1]number: String[1]price: Money

DispatchClose

association

multiplicity

Customer

name[1]address[0..1]

getCreditRating(): String

constraint

{if Order.customer.getCreditRating is"poor" then Order.isPrepaid must be true}

Order Line

quantity: Integerprice: Money

Product

navigable

* {ordered}lineitems

role name

1generalization

Personal Customer

creditCardNumber

{getCreditRating == "poor"}

Corporate Customer

contactNamecreditRatingcreditLimit

billForMonth(Integer)remind()

attributes

operations

Employee

salesRep 0..1

• structural features of a class• attributes:

Class diagrams – properties I

visibility name: type multiplicity = default {property-string}

Example: -name: String [1] = "Joe Daw" {readOnly}

• association show many similar information to attributes:

• structural features of a class• attributes:

Class diagrams – properties II

• association shows much similar information to attributes:

+ dateReceived: Date [0..1]+ isPrepaid: Boolean [1]+ lineItems: OrderLine[*] {ordered}

Date Order Boolean

OrderLine

+dateReceived

+isPrepaid

lineItems{ordered}

source

target

• indicates how many objects may be in the property• The most common:

– 1– 0..1– *

• Properties of association end:– {ordered} – {unordered} (default)– {nonunique} – {unique} (default)

Associations - multiplicity

lineItems{ordered}

OrderLine

• a pair of properties that are linked together as inverse.

Bidirectional Associations

• label association by using a verb phrase.

Person

0..1 *

Person

0..1 *

• the actions that a class knows to carry out

Class diagrams - operations

visibility name (parameter-list) : return-type {property-string}

direction name: type = default value

• parameters - similar way to attributes:

Example: + balanceOn (inout date: Date) : Money

• Obvious inheritance• substatiability

– Subtyping– subclassing

Generalization

• can appear in any kind of diagram

Notes and Comments

Includes pick-upsand SUVs but notmotorbikes

• Change of one elements may cause definition of another elements

• Basically, it is not transitive.• Minimalize dependencies – lower coupling• Be selective with showing

Dependency

DiscountsWindow

client

OrderDataGateway

DiscountsDataGateway

«use»

supplier

«use»

• Minimalize dependencies – lower coupling• Be selective with showing

Dependency II

<<call>> The source calls an operation in the target.

<<create>> The source creates instances of the target.

<<derive>> The source is derived from the target.

<<instantiate>> The source is an instance of the target.

<<permit>> The target allows the source to access the target's private features.

<<realize>> The source is an implementation of a specification or interface defined by the target

<<refine>> Refinement indicates a relationship between different semantic levels

<<substitute>> The source is substitutable for the target

<<trace>> Used to track

<<use>> The source requires the target for its implementation.

• Class diagram cannot indicate every constraint

• Name of constraint –

{disallow incest: husband and wife not be siblings}

Constraint rules

{if Order.customer.getCreditRating is"poor" then Order.isPrepaid must be true}

IsPrepaid: Boolean[1]

name[1]address[0..1]

getCreditRating(): String1*

• Don’t use all available notations.• Useful conceptual class diagram – keep the

notation simple• Better to have a few diagrams up to date

then many obsolete• Using with some form of behavioral

technique

Class diagrams – usage I

• Don’t use all available notation.• Useful conceptual class diagram – keep

notation simple• Better to have a few diagrams up to date

than many obsolete• Use with some form of behavioral technique

Class diagrams – usage II

• The most common interaction diagram in UML• Single scenario – objects, messages

Sequence diagrams

an Order

an Order Line

aProduct

aCustomer

calculatePrice

found message

getQuantity

getProduct

aProduct

return

getPricingDetails

calculateBasePrice

participant

self-call

calculateDiscounts

getDiscountInfo

message

lifeline

activation

• Explicit deletion in gc environment is also available – it indicates that it is no longer needed

Sequence diagrams :Creating and deleting participants

a Handler

queryDatabase

creation

a QueryCommand

new a DatabaseStatement

execute

results

extract result

deletion fromother object

results

self-deletion

• Possible use of another diagram• Interaction frames are available in a sequence

diagram

Sequence diagrams: Loops, Conditionals

procedure dispatch foreach (lineitem) if (product.value > $10K) careful.dispatch else regular.dispatch end if end for if (needsConfirmation) messenger.confirmend procedure

:Order

careful:

Distributor

regular:

Distributor

:Messenger

dispatch

[for each line item]

[value >$10000]

[needsConfirmation]

dispatch

confirm

operator

[else]

Common operators for interaction frames

Operator Meaning

alt Alternative multiple fragments;

opt Optional; the fragment executes only if the supplied condition is true

par Parallel; each fragment is run in parallel.

loop Loop; the fragment may execute multiple times

region Critical region; the fragment can have only one thread executing it at once.

neg Negative; the fragment shows an invalid interaction.

ref Reference; refers to an interaction defined on another diagram.

sd Sequence diagram; used to surround an entire sequence diagram

• Synchronous message

• Asynchronous message

Sequence diagrams: Synchronous and Asynchronous Calls

execute

dispatch

• overview of behavior of several objects in a single use case

• good at showing collaborations but bad at precise definition of the behavior– behavior of a single object across many use cases – state diagram– behavior across many use cases or many threads – activity diagram

• other interactions diagrams:– communication diagram – showing connections– timing diagrams – showing timing constraints

When to Use Sequence Diagrams

• Consider:1. Shep is a Border Collie.

2. A Border Collie is a Dog.

3. Dogs are Animals.

4. A Border Collie is a Breed.

5. Dog is a Species.• It deduces:

– 1 and 2 - "Shep is a Dog“– 2 and 3 - "Border Collies are Animals." – 1 plus 2 plus 3 - "Shep is an Animal." – 1 and 4: "Shep is a Breed." - bad– 2 and 5 is "A Border Collie is a Species." - bad

Classification and Generalization

• single classification – instance of a single type (may be inherited).

• multiple classification – described by several types (not necessarily connected by inheritance).

• Static classification – object is unable to change class

• Dynamic classification – object is able to change class

Class Diagrams - Advanced Concepts: Multiple and Dynamic Classification

Female

Person

Doctor

Physio-Therapist

Surgeon

Family Doctor

Patient

patient

discriminator

• It allows you to add: attributes, operations, and other features to associations

Class Diagrams - Advanced Concepts: Association Class

Attendance

attentiveness

Person

Meeting2..* *

assocation class

Attendance

attentiveness

Person

Meeting1 1* 2..*

• T is a placeholder for the type parameter• Use of a parameterized class is called derivation:

Class Diagrams - Advanced Concepts: Template (Parameterized) Class

class Set <T> {void insert (T newElement);void remove (T anElement);

insert(T)remove(T)

template parametr

template class

Set <T::Employee>

insert(T)remove(T)

template class

Set <T::Employee>

<T::Employee>

«bind»

bound element

binding for parameter

• Shows a fixed set of values having only their symbolic values,

• <<enumeration>> keyword

Class Diagrams - Advanced Concepts: Enumerations

«enumeration»Color

redwhiteblue

• It has instance executing its own thread of control

Class Diagrams - Advanced Concepts: Active class

Control panel

Security sensor

Fire sensor

Security sensor monitor Fire sensor monitor

• You can tag every feature with:– + … public– - … private– # … protected– ~ …package

• their meaning dependents base on a used programming language

Class Diagrams - Advanced Concepts: Visibility

Class Diagrams - Advanced Concepts:Responsibilities

Responsibilities--display informationabout the model

--domain logic

Input Controller

-- handles input events

Class Diagrams - Advanced Concepts: Static Operations and Attributes

getNumbergetNextNumber

instance scope static

• Aggregation – contains relationship - "Think of it as a modeling placebo" [Rumbaugh, UML Reference]

• Composition – part-of relationship, class could be a component of other classes but its instance could be a component of only one owner.

Class Diagrams - Advanced Concepts: Aggregation and Composition

Person

members

Polygon

{ordered}

Circle

center

• Calculated attribute form value of others• has different interpretation:

– indicates the difference between the calculated value and the stored values

– indicates the constraint between the values

Class Diagrams - Advanced Concepts: Derived properties

{length = start - end}Date Range

start: Dateend: Date/length: Integer

derivedattribute

• Cannot be instantiated – has to be sub-classed

• Typically has one or more abstract methods

• Abstract class and operation – name is italicized or label {abstract}.

Class Diagrams - Advanced Concepts: Abstract Classes

Abstract List

equalsgetadd

ArrayList

getadd

overriding

abstract class

abstract method

• Class without any implementation – directly corresponds to JAVA, C#

• Label «interface» • Two kinds of relation with classes:

– Implements– Requires

Class Diagrams - Advanced Concepts: Interfaces

Abstract List

equalsgetadd

«interface»Collection

equalsadd

interfaceabstract class

abstract method

«interface»List

Line Items [*]

dependency(requires inteface)

implementation(provides inteface)

• It allows to simply change the implementation later - another implementation may provide better performance

• Use the most general type you can:

//without need of ordered container

private Collection lineItems = new ArrayList();

//otherwise

private List lineItems = new ArrayList();

Class Diagrams - Advanced Concepts: Benefits of interface using

• Lollipop notation was in the previous UMLversion

• Socket syntax – alternative syntax for dependency description; addition in UML 2.0

Class Diagrams - Advanced Concepts: Interface ball-and-socket notation

Line Items [*]

ArrayList

Collection

Line Items [*]

ArrayList

Collection

Reference objects – Customer – identity is important; comparison based on identity

Value Objects – Date – multiple objects representing the same object in the real world; comparison is not based on identities

Use composition or attribute when associating with a value object; common convention to use stereotype «value» or «struct»

Class Diagrams - Advanced Concepts: Reference Objects and Value Objects

• Equivalent to associative array, maps, hashes, and dictionaries

Class Diagrams - Advanced Concepts: Qualified Associations

Order Order

Order Line

amount:Number

line item

• a snapshot of a system at a specific time• elements are underlined• useful for showing examples of objects

connected together

Object diagrams

Person

Organization

location* children

0..1 parent

engineering: Organization

location = "Boston"

tools: Organization

location = "Chicago"

apps: Organization

location = "Saba"

Don: Person

location = "Champaign"

John: Person

location = "Champaign"

parent

• package – grouping construct that allows to group any construct into high-level units

• namespaces – every class has to have a unique name with a package• Useful on large-scale systems – dependencies between major

elements of the system; represent a compile-time grouping mechanism.

• Architecture overview

Package Diagrams

utilDate

java::util

java::util::Date

Contents listedin box

Contents diagramed in box

Fully qualified package name

Nested packages Fully qualified class name

• Summarize dependencies of their content

• Be careful with cyclic dependency – avoid cross layers with cycles

• More dependencies coming into a package – mare stable interface should be.

• Dependency is not transitive• Stereotype «global» is used

for package accessed from many places – it avoids a lot of dependency lines

Packages and Dependencies I

leasingpresentation

Database

assetpresentation

leasingdomain

leasingdata mapper

assetdomain

assetdata mapper

UI framework

• Summarize dependencies of their content

• Be careful with cyclic dependency – avoid cross layers with cycles

• More dependencies coming into a package – should be a more stable interface.

• Dependency is not transitive• Stereotype «global» is used

for a package accessed from many places – it avoids a lot of dependency lines

Packages and Dependencies II

leasingpresentation

Database

assetpresentation

leasingdomain

leasingdata mapper

assetdomain

assetdata mapper

UI framework

• One package contains a class implementing interface from another package.

Implementing Packages

ApplicationDatabaseGateway

OracleGateway

SQL ServerGateway

Test StubGateway

• Shows system’s physical layout

• Shows communication paths and connected nodes

• Useful in showing what is deployed where.

Deployment Diagrams

BrowserClient browser

Rich Client(OS Windows)

herculesClient.exe

Web Server(OS Solaris

(web server: apache)(number deployed = 3)

herculesWeb.war

JoveGL.exe(vendor = romanScot)(component = General Ledger)

EJB Container herculesBase.earherculesAR.earherculesAP.ear

Oracle DBMS

http/Internet http/Lan

device mode

tagged value

communication path

deployed artifact

Application Server

Java RMI LAN

• It is not mandatory – instead, diagrams concentrate on the textual content

• Graphical table of use cases

Use Case diagrams

TradingManager

TraderSalesperson

AccountingSystem

Set Limits

Analyze Risk

Deal Price

Capture Deal

Update Accounts

Value Deal«includes»

«includes»include

actoruse case

system boundary

• Based on a finite automaton• Lifetime behavior of a single

object• Shows only what the object

directly observes or activates

State Machine Diagram

safe closed

candle removed[door closed]/reveal lock

key turned[candle out]/release killer rabbit

final state

Initial pseudostatetransition

key turned[candle in]/open safe

• States can react to events without transition – internal activities – event, guards and activity inside state box

• Two special activities (not internal):– entry activity – executed whenever a state is entered; – exit activity – executed whenever a state is exited

State Machine Diagrams – Internal activities

Typing

entry/highlight allexit/update fieldcharacter/ handle characterhelp[verbose]/ open help pagehelp[quiet]/ update status bar

• States when objects do something• Marked with do/• Can be interrupted

State Machine Diagrams – Activity states

Searching

do/ search for new hardware

activity

• Often several states share common transitions and internal activities – shared behavior into a superstate

State Machine Diagrams – Superstates

Enter PhoneNumber

Choose Sharedor Solo

Enter Name

Show Connections

Enter Connection Details

cancel

• States can be broken down into several orthogonal state diagrams that run concurrently

• History pseudostate restores the last state

State Machine Diagrams – Concurrent states

Playing Radio

Playing CD

Radio CD

historical pseudostate

Display CurrentTime

Display AlarmTime alarm

concurrent boundary

on off

• Good for describing a single object across several use cases

• Not good at describing behavior that involves a number of objects collaborating

State Machine Diagrams – when to use I

• Useful to combine with other techniques – e.g. with interaction diagrams

• Draw only for classes that exhibit interesting behavior – e.g. GUI or control objects

State Machine Diagrams – when to use II

• describe procedural logic, business process, work flow of actions – similar role as flowcharts

• have parallelism (fork) in comparison with flowcharts

• have synchronization (join)

• define order for execution

Activity diagrams - I

ReceiveOrder

FillOrder

Send Invoice

OvernightDelivery

RegularDelivery

initial mode

action

decision

ReceivePayment

flow/edge

CloseOrder

activity final

[priority order]

[else]

• Decision – single incoming/several ongoing flows– Each flow is a

guarder – Boolean expression (use [else] for guard used when other guards are false)

• Merge - multiple input/one output

Activity diagrams – II

ReceiveOrder

FillOrder

Send Invoice

OvernightDelivery

RegularDelivery

initial mode

action

decision

ReceivePayment

flow/edge

CloseOrder

activity final

[priority order]

[else]

• Action can be decomposed into sub-activities

• Can be implemented either as a sub-activity or as a method on class (syntax classname::method-name)

Activity diagrams – decomposing an action

ReceiveOrder

FillOrder

Send Invoice(Order::sendInvoice)

ReceivePayment

CloseOrder

Deliver Order

rake indicates sub activity diagram

methodinvocation

[else]

RegularDelivery

OvernightDelivery

[Rush Order]

inputparameter

activity name

Deliver Order

outputparameter

Order Order

• Work flow and process modeling• Representation of behavioral logic• Description of use case

Activity diagrams - when to use

Activity diagrams – partitions

ReceiveOrder

FillOrder

Send Invoice

DeliverOrder

CloseOrder

ReceivePayment

Customer Service FinanceFullshipment

• Actions can also respond to signals.

Activity diagrams – signals

Two hoursbefore flight

Pack Bags

Taxi Arrives

Leave for Airport

time signal

accept signal

• Sending a signal is also supported – communication with external process

Activity diagrams – sending and receiving signals

Reserve Itinerary

send Itinerary

ItineraryConfirmed

wait 48 hours

Cancel Itinerary

Book Itinerary

accept signal

send signal

• Initial note creates a token.• The token passes to the next action.• A fork produces more tokens – one for each

branch; a join consumes tokens.

Activity diagrams – tokens

• Flow and edge – connections between two actions– Connectors – use it in the

case of a messy diagram; using in a pair

– Control flow – the simplest without another meaning

– Object node – passing an object along edges; objects play role of tokens and carry data

– Pin on the actions – alternative to object node

Activity diagrams – flows and edges

ReceiveInvoice

MakePayment

ReceiveInvoice

MakePayment

connector

object mode

• Actions can have parameters – as methods do

• You can show it with pins• In decomposed diagrams,

pins correspond to the parameter boxes

• Output parameter of an outbound action should match the input parameters of another.

• A transformation is indicated in case they don’t match

Activity diagrams – pins and transformations

CancelAppointment

Notify Patient

«transformation»appointment.cancellationNotice

«transformation»appointment.patient

Message Patient

Appointmentpin for parametr

transformation expression

• Expansion region – it marks an invocation for each item in the collection

• Parallel area is marked by keyword «concurrent» - iterative regions process each input element one at a time

• Multiple invocation of a single activity – shorthand could be used; concurrent invocation is expected

Activity diagrams – expansions regions

Choose Topics

Write Article Review ArticlePublish

Newsletter

expansion region

list of topics

list box pin

-concurrent-

keyword

Choose Topics

Prepare ArticlePublish

Newsletter

• Flow final – the end of one particular flow; the whole activity is not terminated

• it allows expansion regions to act as filters – the output collection is smaller than the input collection

Activity diagrams – flow final

Choose Topics

PublishNewsletter

Write Article Review Article

«concurrent»

list of topics

[accept]

[reject]

flow final

• Join specification – another involved rule attached to a join

Activity diagrams – join specification

Select Drink

Insert Coin

DispenseDrink

{joinSpec = A and B and value ofinserted coins >= price of selected drink}

join specification

• Represent a kind of an interaction diagram,• Emphasize the data links between the participants• Collaboration diagrams in UML 1.x• Bad for control logic – only iteration markers and guards

Communication diagrams

an Order

an Order Line

a Customer

a Product

1: calculatePrice

2: getQuantity()

3: getProduct()

4: getPricingDetails()

«local»

transparent link type

5: calculateBasePrice()6: calculateDiscounts()

self link

! non-normative

7: getDiscountInfo

• Links are instances of associations or transient links• Arise only in the context of interaction:

– «local» - represents local variables– «parameter» - represents parameters of method– «global» - represents global value

• Missing in UML 2.x but are very useful

Communication diagrams - transient links

• Legal numbering style should be nested

• It resolves ambiguity with self-calls

• Many people prefer a flat numbering scheme – simpler

Communication diagrams - decimal numbering

an Order

an Order Line

a Customer

a Product

1: calculatePrice

1.1: getQuantity()

1.2: getProduct ()

1.3: getPricingDetails

1.4: calculateBasePrice()1.5: calculateDiscounts ()

normative

1.5.1: getDiscountInfo

• Sequence diagrams are more common• Personal preference• Easier to draw on a white board – good for

exploring alternatives

Communication diagrams - when to use

• Hierarchically decompose a class into an internal structure

• Allow to take a complex object and break it down into parts

Composite structures

controls:

TVPresenter

:Generator[1]

TV Viewer

TV control UI

multiplicity

display

TV control API

picture streamtuning

delegating connector

connector

• Delegating connectors – provided and required interfaces

• Connectors between parts – simple line or ball-and-socket notation

• Ports – allow to group the required and provided interfaces

Composite structures – interfaces

controls:

TVPresenter

:Generator[1]

TV Viewer

TV control UI

multiplicity

display

TV control API

picture streamtuning

delegating connector

connector

• Show runtime grouping (packages are compile time grouping)

• Similar to a component

Composite structures – when to use

• Annotated class in UML 2.0 – no additional syntax

Component diagram

Widget

UML 1 notationUML 2 notation

Component diagram – example

Massage Queue

TransactionProcessor

AccountingDriver

AccountingSystem

Sales Serversales

message

• Beware of overly fine-grained components – hard to manage.

• Components and their interrelationship through interfaces.

Component diagram – when to use

• It is not an official diagram – a part of composite structures

• No typical class diagram – definition of roles.

• Interaction diagram - participant-name /role-name : class-name.

Collaborations

Auction

buyer offer

lotseller

rolecollaboration

/seller b1/buyer b2/buyer

advertise lot

submit offer

accept offer

reject offer

submit offer

Collaboration occurrence

1buyer

seller

Auction

buyer, sellerlot

role binding

collaboration occurance

• Activity and sequence diagram together

Interaction Overview Diagrams

:Customer

:XmlParser

getName

getOrders

:OrderSummary

:Customer

select from customers and orders

Format Order Summary Repoůrt

• Inspiration from electrical engineering• States as a line vs. states as an area

Timing Diagrams

waterEmpty

objects{>10s}

{>15m}

state change

t iming const raint

waterEmpty

object{>10s}

{>15m}

t iming constraint

On Off

state change

Design Patterns

• The design pattern concept can be viewed as an abstraction of imitating useful parts of other software products.

• The design pattern is a description of communicating objects and classes that are customized to solve a general design problem in a particular context.

• Pattern name• Problem• Solution• Consequences

General structure of design patterns

• Pattern Name and Classification• Intent• Also Known As• Motivation• Applicability• Structure• Collaborations• Consequences• Implementation• Sample Code• Known Uses• Related Patterns

Structure of design patterns in software design

• Pattern Name and Classification• Intent• Also Known As• Motivation• Applicability• Structure• Collaborations• Consequences• Implementation• Sample Code• Known Uses• Related Patterns

Structure of design patterns in software design II

Classification of Design Patterns

• Creational patterns defer some part of object creation to a subclass or another object.

• Structural patterns compose classes or objects.

• Behavioral patterns describe algorithms or cooperation of objects.

Creational Design Patterns

• Factory Method defines an interface to create an object, but let subclasses decide which class to instantiate.

• Factory provides an interface to create families of related objects without specifying their concrete classes.

• Prototype specifies the kinds of objects to create using a prototypical instance, and to create new objects by copying this prototype.

• Builder separates the construction of a complex object from its representation so that the same construction process can create different representations.

• Singleton ensures that the class only has one instance and provides a global point of access to it.

Factory Method Example

+newDocument()+createDocument() : Document

Application

1 *+open()+close()+save()

Document

PDFDocument WordDocument

+createDocument() : Document

WordApplication

+createDocument() : Document

PDFApplication

«instantiate»

return new WordDocument

Document d = self.createDocument()

Factory Method Design Pattern

+factoryMethod()+anOperation()

Creator Product

ConcreteProduct

+factoryMethod() : Product

ConcreteCreator «instantiate»

...p = factoryMethod()...

return new ConcreteProduct()

Abstract Factory Example

+createWindow() : Window+createScrollBar() : ScrollBar

WidgetFactoryWindow

MSWindow MotifWindow

ScrollBar

MSScrollBar MotifScrollBar

MotifWidgetFactory

MSWidgetFactory

«instantiate»

Client1

Abstract Factory Design Pattern

+createProductA() : AbstractProductA+createProductB() : AbstractProductB

AbstractFactoryAbstractProductA

ProductA1 ProductA2

AbstractProductB

ProductB1 ProductB2

ConcreteFactory2

ConcreteFactory1

«instantiate»

Client1

Prototype Example

+insert()

+draw(in position)+clone() : Graphic

Graphic

Rectangle

Circle

-prototype

g = prototype.clone()while (user drags mouse) { g.draw(new position);}insert symbol into drawing;

return copy of self return copy of self

Prototype Design Pattern

+operace()

Client

+clone() : Prototype

Prototype

ConcretePrototype1

ConcretePrototype2

-prototype

p = prototype.clone()

return copy of self return copy of self

Builder example

Builder design pattern

Singleton design pattern

Structural Design Patterns

• Composite composes objects into tree structures to represent part-whole hierarchies. Composites let client treat individual objects and compositions of objects uniformly.

• Adapter converts the interface of a class into another interface clients expect. Adapters let classes work together that couldn’t otherwise because of incompatible interfaces.

• Decorator attach additional responsibilities to an object dynamically. Decorators provide a flexible alternative to subclassing for extending functionality.

• Proxy provides a surrogate or representative for another object to control access to it.

• Façade provides a unified interface to a set of interfaces in a subsystem.• Flyweight uses sharing support for large numbers of fine-grained objects

efficiently.

Composite Example

Client

+add(in g : Graphic)+remove(in g : Graphic)+getChild(in index : int) : Graphic+draw()

Graphic

+draw()

Rectangle

+draw()

Circle

+add(in g : Graphic)+remove(in g : Graphic)+getChild(in index : int) : Graphic+draw()

Drawing

-component

for (all graphics in picture) component.draw()

Composite Design Pattern

Client

+add(in c : Component)+remove(in c : Component)+getChild(in index : int) : Component+operation()

Component

+operation()

+add(in g : Component)+remove(in g : Component)+getChild(in index : int) : Component+operation()

Composite

-component

for (all components) component.operation()

Adapter Example

DrawingEditor

+getBoundingBox() : Rectangle

LineShape

+getBoundingBox() : Rectangle

TextShape

+getExtent() : Rectangle

TextView

return text.getExtent()

Adapter Design Pattern

Client

+request()

Target

+request()

Adapter

+specificRequest()

Adaptee

adaptee.specificRequest()

Decorator Example

+draw()

VisualComponent

+draw()

TextView

+draw()

Decorator

+draw()+drawBorder()

BorderDecorator

+draw()+scrollTo()

ScrollDecorator

-component

component.draw()

super.draw()scrollTo()

super.draw()drawBorder()

component

aBorderDecorator

component

aScrollDecorator

aTextView

Decorator Design Pattern

+operation()

Component

+operation()

ConcreteComponent

+operation()

Decorator

+operation()+addedOperation1()

ConcreteDecorator1

+operation()+addedOperation2()

ConcreteDecorator2

-component

component.operation()

super.operation()addedOperation2()

Proxy Example

DocumentEditor

+draw()+getExtent()

Element

+draw()+getExtent()

-extent-content

+draw()+getExtent()

-imageImp

+draw()+getExtent()+load()

-fileName-extent

ImageProxy

-image

if (image == null) image = load(fileName)image.draw()

if (image == null) return extentelse return image.getExtent()

Proxy Design Pattern

Client

+request()

Subject

+request()

RealSubject

+request()

real.request()

Facade design pattern

Flyweight example

Flyweight design pattern

Behavioral Design Patterns

• Chain of Responsibility avoids coupling senders of a request to its receiver by giving more than one object a chance to handle the request. Chain the receiving objects and pass the request along the chain until an object handles it.

• Command encapsulates a request as an object, thereby letting you parameterize clients with different requests, queue or log requests, and support undoable operations.

• Iterator provides a way to access the elements of an aggregate object sequentially without exposing its underlying representation.

• Observer defines a one-to-many dependency between objects so that when one object changes its state, all its dependents are notified and updated automatically.

• State allows an object to alter its behavior when its internal state changes. The object will appear to change its class.

• Strategy defines a family of algorithms, encapsulates each one, and makes them interchangeable. Strategy lets algorithm vary independently from clients that use it.

• Given a language, interpreter defines a representation for its grammar along with an interpreter that uses the representation to interpret sentences in the language.

• Visitor represents an operation to be performed on the elements of an object structure.• Without violating encapsulation, memento captures and externalizes object's internal state so that

the object can be restored to this state later. • Mediator defines an object that encapsulates how a set of objects interacts. • Template method defines the skeleton of an algorithm in an operation, deferring some steps to

subclasses.

Chain of Responsibility Example

Client

+handleHelp()

HelpHandler

+handleHelp()+showHelp()

Application Widget

Dialog

Button

-handler1

handler.handleHelp()

if (can handle) showHelp()else super.handleHelp()

handler

aClient

handler

aButton

handler

aDialog

handler

anApplication

Chain of Responsibility Design Pattern

Client

+handleRequest()

Handler

+handleRequest()

ConcreteHandler1

+handleRequest()

ConcreteHandler2

-successor1

successor.handleRequest()

Command Example

+add(in doc : Document)

Application

+open()+close()+cut()+copy()+paste()

Document

+add(in m : MenuItem)

+clicked()

MenuItem

+execute()

Command

1 * 1 * 1

-command

+execute()

PasteCommand

* +execute()+askUser() : string

AddCommand-document

-application 1command.execute()

document.paste()

name = askUser()doc = new Document(name)application.add(doc)doc.open()

Command Desing Pattern

Client

+action()

Receiver

Invoker

+execute()

Command

-command

+execute()

ConcreteCommand

-receiver

receiver.action()

«instantiate»

Iterator Example

+createIterator() : Iterator

Collection Client

+first()+next()+isDone()

Iterator

+createIterator() : Iterator+append()+remove()+get(in index)

+createIterator() : Iterator+pop()+push()+top()

StackIterator

ListIterator

1 1 1 1

«instantiate»

Iterator Design Pattern

Aggregate Client

Iterator

ConcreteAggregate

ConcreteIterator

1 1 1 1

«instantiate»

Observer Example

+attach(in o : Observer)+detach(in o : Observer)+notify()

Subject

+update()

Observer

1 -observer*

-subject

+getData() : float

-data[] : float

StockMarket

+update()+print(in data[])

TextArea

+update()+draw(in data[])

BarChart

for all observers observer.update()

data = subject.getData()print(data)

data = subject.getData()draw(data)

Observer Design Pattern

+attach(in o : Observer)+detach(in o : Observer)+notify()

Subject

+update()

Observer

1 -observer*

-subject

+getState()

ConcreteSubject

+update()

ConcreteObserver

for all observers observer.update()

subject.getState()

State Example

+open()+close()+acknowledge()

TCPConnection

TCPState

TCPEstablished

TCPListen

TCPClosed

-state

state.open()

State Design Pattern

+request()

Context

+handle()

ConcreteState1

+handle()

ConcreteState2

-state

state.handle()

Strategy Example

+format()

Document

+align()

Alignment

+align()

Center

+align()

Justify

-alignment

alignment.align()

Strategy Design Pattern

+execute()

Context

+algorithm()

Strategy

+algorithm()

ConcreteStrategy1

+algorithm()

ConcreteStrategy2

-strategy

strategy.algorithm()

Interpreter example

expression ::= literal | alternation | sequence | repetition | '(' expression ')' alternation ::= expression '|' expression sequence ::= expression '&' expression repetition ::= expression '*' literal ::= 'a' | 'b' | 'c' | ... { 'a' | 'b' | 'c' | ... }*

Interpreter design pattern

Visitor example

Visitor design pattern

Mediator example

Mediator design pattern

Memento design pattern

Template method example

Template method design pattern

Methods for Software Specification Jan Kožusznik. Dept. of Computer Science Technical University of...

Documents

Transcript of Methods for Software Specification Jan Kožusznik. Dept. of Computer Science Technical University of...

3 ostrava monday - sightseeing ostrava web

Presentation in Ostrava Congress 2016

Kids and Science - Ostrava CZ 2012

Railway station Vitkovice, Ostrava city.

Ostrava school

Pushpak Bhattacharyya CSE Dept., IIT Bombay 17 th Jan , 2011

ZINC STRIPPING FROM STEELWORK DUST Kamil Wichterle, Jan Cieslar, Jana Wichterlová VSB-Technical University of Ostrava, 70833 Ostrava Poruba, Czech Republic.

Projekt 1.b ostrava

COMMUNICATIONS I N M AT H E M AT I C S · Jan 'ustek, Department of Mathematics, Faculty of Science, The University of Ostrava, 30.dubna 22, 70103 Ostrava 1, Czech Republic, jan.sustek

Dept Test Jan 2012- Notifi

Bjørn Jespersen TU Ostrava Dept. Computer Science bjornjespersen@gmail.com

Phys. Dept. Seminar, Jan. 15, 2008 – G. David, BNL

Metainformation system CAGI Jan Ruzicka Institute of economics and system control, department GIS,VSB-Technical University Ostrava and Czech association.

Methods for Business Modeling Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava ivo.vondrak@vsb.cz .

Team ostrava en

Search Engines Jan Damsgaard Dept. of Informatics Copenhagen Business School .

Roman & Ostrava

Cristian Măcelaru Janáček Philharmonic Ostrava

THE UNIVERSITY OF OSTRAVA INTERNATIONAL ENGAGEMENT

Large-scale EXecution for Industry & Society - lexis-project.eu · Project Coordinator: Dr. Jan Martinovič – IT4Innovations, VSB – Technical University of Ostrava E-mail: ...