France Telecom Demo

Internet
8b
ČSA
Fly Ticket
Database
8b
6a
SkyTeam
Frequent Flyer
Database
Timer
FlyTicketClassifier
IFlyTicketAuth
FlyTicketDatabase
19β
4c
8c
11c
22
ValidityChecker
CustomToken
IAccount
ICsaFlyTicketDb
IAccount
IAfFlyTicketDb
ITimerCallback
GetTicketValidity(Id) → Time 10b
GetTicketValidity(Id) → Time 5a
GetTicketByFreqFlyerId(FreqFl) → TicketId[] 7b
GetTicketByFreqFlyerId(FreqFl) → TicketId[] 7b
ICustomCallback
ICustomCallback
21
ITokenCallback
IFlyTicketAuth
IToken
7a
ITokenCallback
6b GetTicketByFreqFlyerId(FreqFl) → TicketId[]
9b CreateToken(FlyTicketId) → Token
IFlyTicketDb
IFlyTicketAuth
12c
5b
IFreqFlyerAuth
FrequentFlyerDatabase
12b
CreateToken(FreqFlyerId) → Token
4b
IToken
InvalidateAndSave()
23
TokenInvalidated(Id)
CreateToken(FlyTicketId) → Token
4a
19α
ITokenCallback
IFreqFlyerAuth
IFlyTicketAuth
IToken[]
ILogin
IAccountAuth
Arbitrator
TokenId ← GetTokenIdFromIpAddress(IpAddress)
TokenId ← LoginWithFlyTicketId(Id)
TokenId ← LoginWithFrequentFlyerId(Id)
TokenId ← LoginWithAccountId(AccountId, Password)
Logout(IpAddress)
CardCenter
ICardCenter
Withdraw(Id, ExpDate, Amount) 6c
ICardCenter
IAccountAuth
ITimer
IFlyTicketDb
Timeout()
IFlyTicketDb
InvalidatingToken(TimeLeft)
20
AjustAccountPrepaidTime(AccountId, SecurityCookie, TimeLeft)
CsaDbConnection
ITimer
Token
IFlyTicketDb
Eurocard/Mastercard
Card Center
7c
AfDbConnection
IFlyTicketDb
VISA Card
Center
Account
Database
SetTimeout(Timeout)
CancelTimeout()
Air France
Fly Ticket
Database
ITimerCallback
11b
10c
Token ← CreateToken(AccountId, Password)
Account
Database
IFirewall
IDhcpCallback
IAccount
IpAddressInvalidated(IpAddress) 18
IDhcpListenerCallback
TransientIpDb
1.3
IManagement
StopUsingPermanentIpDatabase()
StopRenewingPermanentIpAddresses()
UsePermanentIpDatabase()
Ip ← RequestNewIpAddress(Mac)
RenewIpAddress(Mac, Ip)
ReleaseIpAddress(Mac, Ip)
9c
1.2
17.2
IIpMacDb
IpAddressManager
Add(Mac, Ip, ExpirationTime)
Remove(Ip)
GetMacAddress(Ip) → Mac
GetIpAddress(Mac) → Ip
GetExpirationTime(Ip) → ExpTime
SetExpirationTime(Ip, ExpTime)
ITimer
IDhcpCallback
IIpMacTransientDb
Timer
Firewall
component
ITimerCallback
IFirewall
IIpMacPermanentDb
ITimerCallback
13c
IpAddressInvalidated(IpAddress)
Add(Mac, Ip, ExpirationTime)
Remove(Ip)
17.3
GetMacAddress(Ip) → Mac
GetIpAddress(Mac) → Ip
GetExpirationTime(Ip) → ExpTime
SetExpirationTime(Ip, ExpTime)
24
SetTimeout(Timeout)
CancelTimeout()
13b
ITimer
13
IDhcpCallback
IIpMacPermanentDb
DhcpServer
Timeout()
TokenId ← GetTokenIdFromIp(IpAddress)
TokenId ← LoginWithFlyTicketId(Id)
TokenId ← LoginWithFrequentFlyerId(Id)
TokenId ← LoginWithUserId(UserId, Password)
Logout(IpAddress)
8a
DisablePortBlock(IpAddress)
EnablePortBlock(IpAddress)
AccountId ← GenerateRandomAccountId()
CreateAccount(AccountId, Password)
RechargeAccount(AccountId, CardId, CardExpirationDate, PrepaidTime)
JSP
Login
Page
IDhcpListenerCallbackIn
Web Server
service
IManagementOut
IPrevLock
Virtual Synchronization
Component S2 for
RenewIpAddress()
Lock()
Unlock()
Virtual Synchronization
Component S1 for
RequestNewIpAddress()
IDhcpListenerCallbackOut
Lock()
Unlock()
IDhcpListenerCallbackOut
INextLock
14
25
IAccount
INextLock
ILogin
IPrevLock
3c
3a
Lock()
Unlock()
5c
3b
IDhcpListenerCallbackIn
Virtual Synchronization
Component S6 for
StopUsingPermanentIpDatabase()
IManagementIn
1.1 Ip ← RequestNewIpAddress(Mac)
RenewIpAddress(Mac, Ip)
ReleaseIpAddress(Mac, Ip) 17.1
IDhcpListenerCallback
UsePermanentIpDatabase()
StopRenewingPermanentIpAddresses()
StopUsingPermanentIpDatabase()
DhcpListener
2
IManagement
16
Airport LAN
0
26
Legend:
15 – Cancel port block
Firewall service
Provides Interface
Requires Interface
DHCP Protocol
Airport WiFi
WiFi Management
Fractal Component
17 – Client disconnects
HTTP/HTTPS Protocol
1
Pavel Ježek: Hierarchical Component Models – “A True Story”
Appendix A: Original architecture of the CRE case-study demo [3]
Client
Optional Fractal Component
Virtual Component
Group of Virtual Components
WiFi Access Point
802.11
Fractal Method Call
Other Communication
New Component Instance
Other Component
or System Service