!

" #
! $ #
!% #

" " &

+
Activity 2
&
Activity1 Activity2 follows
Activity 1
" " + + ,

%
'
' [x > 0]
[x != 0]
[x = 0]
" # ( )
* [x = 0]
[x < 0]
Activity1
 !
- (
[OK]
* Acquire
customer
Check vehicle
availability
requests

[OK]
[no vehicle available] [failed] [OK]
Reservation Reserve
[Possible]
synchronisation splitting [OK]

.& Identify [OK] Check Reservation

customer customer data
[Reserved]
Activity1 Activity2
[unknown]

State resulting State required by Customer

Object Acquire

from activity 1 [State]

activity 2 customer data [OK]

" ! #"
$
Select
& $
customer # /. & +
Take back '
vehicle Object1
Check
adherance to
contract New() Object Construction
Acquire Object2
invoicing data

Message()
Select Control Focus
contract
Create Response()

Note the generality invoice

Delete() Object Lifeline
of many activities:
not individual
algorithmic steps × Object Destruction
 #"
:Control o:Order Opos:Order- :Reservation
Position
reserve(o)
GiveOrderPos()

opos
. &
GiveArticle()

article
&
( & * giveNumber()

0 $ number

$ reserve(article,number)
" & Confirm

$
%
:Order
% # (*
<<parameter>> o
Indicates object was
a parameter to the !
2. opos:=giveOrderPosition
message
#
1. Reserve(o) 5. reserve(article,number)
:Control :Res
3. article:=giveArticle()

4. number:=giveNumber()

Indicates object is
!
<<local>> opos

:Order Position
local to current !
operation !%
 & ' "
1 1 2 0$ "
!3 4 " !7 " 8 %
5 !7 0 7 ( *

! , " .& . "

% ( * ! % % 8- #
!7 %0%
!" 3 8
6
.& . #
! ( *
!% !#
! 2

! ( ! "
#
,
!" #
"
! $ #
$
/
, !% #
!% # #

! $ # ! #