Presentation made at OMG 2003 Boston meeting

1. CORBA for transportation control and command systems tutorial

2. 2
31/03/03
Thales Air Traffic Management
CORBA ATC use case, Note to offline reader.
! " # !
! # " #
$ % # " " ! ! & ' (
) " " # # "
% " & ! ( # #
! & ! * ) " " #
" ! " # ! ! % ! ! !
! " # ! ( % ! #
" " ' # " ( (
" ' " " # #
" " % ! #

3. 3
31/03/03
Thales Air Traffic Management
The open issue :
$ #
+ "
" + ,
,

4. 4
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

5. 5
31/03/03
Thales Air Traffic Management
Why CORBA ?
) " " # ( " " !
( ( # - "
. /
0 ! ) " " #
( " " # !
( ( # - "
( ) "

6. 6
31/03/03
Thales Air Traffic Management
Practical Use Case
0 # # !
+ + #
1 " + " 2(
! % ,
3 ! ! % ,
0 ( ,
2&

7. 7
31/03/03
Thales Air Traffic Management
Complex system : ATC center
Flight Plan
ProcessingFlight Plan
Processing
Supervisory
ControlSupervisory
Control
Simulator
Simulator
Recording
ReplayRecording
Replay
controller
Working
Position
controller
Working
Position
Radar Data
ProcessingRadar Data
Processing
Radar Front
ProcessingRadar Front
Processing
LAN
AFTN/CIDIN
ATFM
ADJACENT
FIR'S/TWR'S
MET Centres
Voice control
and
communications
Voice control
and
communications
• Intercom
• Priority
• Public
• RADIO A/G
controller
Working
Position
controller
Working
Position
4 56

8. 8
31/03/03
Thales Air Traffic Management
Object At system level ?
- " ! ) " " #
( ,
! ( " " ! !
) " ,
!
7
( !
# '! ) "
# (
! (

9. 9
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

10. 10
31/03/03
Thales Air Traffic Management
What Do We Want
& + + #
"
# " #

11. 11
31/03/03
Thales Air Traffic Management
++
" #
What Do We Want !
Supervision
Operator
Display
System

12. 12
31/03/03
Thales Air Traffic Management
#
#
++
" #
" #
++
What DO We Want !
Supervision
Operator
Display
System

13. 13
31/03/03
Thales Air Traffic Management
#
#
" #
++
What DO We Want !
Supervision
Operator
Display
System

14. 14
31/03/03
Thales Air Traffic Management
We want to Increase Integrated software quality

15. 15
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

16. 16
31/03/03
Thales Air Traffic Management
What We expect ?
0 !
#
#
" #
++
Supervision
Operator
Display
System

17. 17
31/03/03
Thales Air Traffic Management
What We expect ?
8
+ #

18. 18
31/03/03
Thales Air Traffic Management
What We May Have :
+ ( "
+ ( "
+ ( "
+ ( "
+ ( " 2

19. 19
31/03/03
Thales Air Traffic Management
Spaghetti Plate Syndrome
8
"

20. 20
31/03/03
Thales Air Traffic Management
Spaghetti Plate Syndrome
+ #
+ " "

21. 21
31/03/03
Thales Air Traffic Management
Spaghetti Plate Syndrome
+ #
+ #

22. 22
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

23. 23
31/03/03
Thales Air Traffic Management
Why CORBA
0 !
( ( ! " #
!
) " + !
) " "
#
0 ) " '" #
( ( " "

24. 24
31/03/03
Thales Air Traffic Management
Software Component Integration Bus
Software BUS

25. 25
31/03/03
Thales Air Traffic Management
Object Software Component Integration Bus
"
) "
#
99:; (
!$ # #
Distributed
Polymorphism
Software Components
Evolution
And Replacement

26. 26
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

27. 27
31/03/03
Thales Air Traffic Management
Polymorphism
1 < '
) " " # " *
( !
"
0 ! ! "
=
*GoF stand for Gang of Four. It refers to the pattern seminal book of John Vlissides, Erich Gamma,
Richard Helm, Ralph Johnson:
Design Patterns: Elements of Reusable Object-Oriented Software.

28. 28
31/03/03
Thales Air Traffic Management
Object Software Component Integration Bus
Object Software BUS

29. 29
31/03/03
Thales Air Traffic Management
Object Software Component Integration Bus
Object Software BUS
8 !

30. 30
31/03/03
Thales Air Traffic Management
Procedural versus Object
Procedural Design Object Design
Before Object After Object

31. 31
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

32. 32
31/03/03
Thales Air Traffic Management
Design for changes
0 " > ( ?" # @
0 ( " # #
A ( #
(
0 ( " " #
0 " > A - (
# #
& # " #
# (
" #

33. 33
31/03/03
Thales Air Traffic Management
-
" ( 0 0 #
2 (
" #
" " # 0
+ %
0 $ B 0 " (
# + ;
+ "
8
<. ! /
Changes Sources* During Development

34. 34
31/03/03
Thales Air Traffic Management
Object Oriented Design
# # ! " " # & #
" ! ! "
) " # . / " -
. / " # " # "
! " # # & # "
0
" " " ! " ! " #
0
" " " ! "

35. 35
31/03/03
Thales Air Traffic Management
Without OOD
Without OOD
Design for no Changes
Stationary System

36. 36
31/03/03
Thales Air Traffic Management
Change management before OOD
# ( "
(
" # "
Caller called

37. 37
31/03/03
Thales Air Traffic Management
Change management before OOD
0 ! " " "
( " # " " #
! " "
Caller called
No changes

38. 38
31/03/03
Thales Air Traffic Management
Change management before OOD
! '! " "
" # " " " #
! "
Caller called
Changes

39. 39
31/03/03
Thales Air Traffic Management
Change management and code reuse before OO
! '! " "
" # " " " #
! "
Caller called

40. 40
31/03/03
Thales Air Traffic Management
System Integration is a specific change case
+ # " " # "
" # " ! "
0 ! " #
- (
! " " # "
" " "
Caller Called Caller Called

41. 41
31/03/03
Thales Air Traffic Management
Integration case
+ # " " # "
" # " ! "
0 ! " #
- (
! " " # "
" " "
Caller Called Caller Called
New
Code
Old
Code
Old
Code
New
Code

42. 42
31/03/03
Thales Air Traffic Management
Pervasive Change
Replaced Module (Changed)

43. 43
31/03/03
Thales Air Traffic Management
Pervasive Change

44. 44
31/03/03
Thales Air Traffic Management
Pervasive Change

45. 45
31/03/03
Thales Air Traffic Management
Pervasive Change
Several Changes Replace and Reused

46. 46
31/03/03
Thales Air Traffic Management
Pervasive Change = Spaghetti Plate
+ #
After Several Changes Replace and Reused

47. 47
31/03/03
Thales Air Traffic Management
Procedural versus Object
Without OOD With OOD
Design For Changes
Evolutionary System
Design for no Changes
Stationary System

48. 48
31/03/03
Thales Air Traffic Management
Change management with OO reuse
0 % ! " "
" ! " "
Caller called
OOD

49. 49
31/03/03
Thales Air Traffic Management
Change management with OO reuse
0 % ! " "
" ! " "
Caller called
No changes
OOD

50. 50
31/03/03
Thales Air Traffic Management
With OOD : Software Bus

51. 51
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

52. 52
31/03/03
Thales Air Traffic Management
Changes example : the printer
Client Printing Server
From The CORBA Bible
Michi Henning
Steve Vinoski
Advanced CORBA
Programming with C++

53. 53
31/03/03
Thales Air Traffic Management
Changes example : the printer
3 " " & # " #
( "
# # ! "% !
# ( ' ! " #
( ( ?- "% @ ! " # ! " !
! "

54. 54
31/03/03
Thales Air Traffic Management
Changes example : the printer
Client Printing Server

55. 55
31/03/03
Thales Air Traffic Management
Changes example : the printer
Old Client Printing Server
New Client

56. 56
31/03/03
Thales Air Traffic Management
Change management with OOD reuse
# # ! "% !
Client Printing Server

57. 57
31/03/03
Thales Air Traffic Management
Change management with OOD reuse
3 ! " # ( ( ?- "% @ !
" # ! " ! ! "
Client Printing Server

58. 58
31/03/03
Thales Air Traffic Management
Change management and code reuse before OOD
" " #
" ! ( " " #

59. 59
31/03/03
Thales Air Traffic Management
Change management with OOD reuse
# ? ) " @ " ! "
" # ( "

60. 60
31/03/03
Thales Air Traffic Management
Object properties
? ) " @ ! #
2 "
"
"
2&" #
" "
" ! #
" #

61. 61
31/03/03
Thales Air Traffic Management
CORBA = Distributed Polymorphism
) " # # "
#
0 #
) " + ( " . + /

62. 62
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

63. 63
31/03/03
Thales Air Traffic Management
CORBA Distributed Polymorphism examples
2&
! + 8 # ( "
2& C
# + $ "
" " .1 /
2& D
#

64. 64
31/03/03
Thales Air Traffic Management
Example UML Diagram
Strip
Strip : string
Print()
Strip : string
Print()
Printer
Print()Print()
Print
1
ColorPrinter
Setcolor()Setcolor()
From The CORBA Bible
Michi Henning
Steve Vinoski
Advanced CORBA
Programming with C++

65. 65
31/03/03
Thales Air Traffic Management
Example Interface Inheritance (IDL)
!!!! """"
Printer
ColorPrinter
# "# "# "# "

66. 66
31/03/03
Thales Air Traffic Management
printer
Printer
print()
&OLHQW
Colour
set_color()

67. 67
31/03/03
Thales Air Traffic Management
printer
Printer
print()
&OLHQW

68. 68
31/03/03
Thales Air Traffic Management
CORBA Distributed Polymorphism example 1
0
- &
8 #
+ ( "
Printer

69. 69
31/03/03
Thales Air Traffic Management
CORBA = Distributed Polymorphism
? # ( " @
" "
# ( " # # " ""
8 # + ( " ( ! " #
! " # ( "

70. 70
31/03/03
Thales Air Traffic Management
Objet Reference and Naming
Client Naming
Service
Server
Server exports
IOR
Client lookup
for Interface IOR
Client submits
request to server

71. 71
31/03/03
Thales Air Traffic Management
CORBA = Distributed Polymorphism
%
! ( " " #
"
8 ! " " ! "
! " "

72. 72
31/03/03
Thales Air Traffic Management
CORBA = Distributed Polymorphism
0
- &
8 #
+ ( "
ColorPrinter
Printer+ " ! " #
"% 0

73. 73
31/03/03
Thales Air Traffic Management
CORBA Distributed Polymorphism
0
- &
8 #
+ ( "
ColorPrinter
Printer+ " ! " #

74. 74
31/03/03
Thales Air Traffic Management
printer
Printer
print()
&OLHQW
Colour
set_color()

75. 75
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

76. 76
31/03/03
Thales Air Traffic Management
We need design patterns
0 (
# " "
- #
#
" " ! " " # ! "
"
! % !
) " # #

77. 77
31/03/03
Thales Air Traffic Management
Distributed Pattern
# # .1 / ) "
+
# ) " + ! # ! "
( " # "
2& " ! " " " ) "
! +
& ! "
+ " & # !
"
& # !

78. 78
31/03/03
Thales Air Traffic Management
The GOF Abstract Factory Design Pattern
*GoF stand for Gang of Four. It refers to the famous books of John Vlissides, Erich Gamma, Richard Helm,
Ralph Johnson. Design Patterns: Elements of Reusable Object-Oriented Software.

79. 79
31/03/03
Thales Air Traffic Management
Polymorphism and Factory Pattern : example 2
"

80. 80
31/03/03
Thales Air Traffic Management
Life cycle
Printer FactoryClient Printer
Create Printer
Create Printer
Request
Printer IOR

81. 81
31/03/03
Thales Air Traffic Management
FACTOY PATTERN (from OOC training)
" " ! (
' " # ! #
+ "
A client is required to provide security information before the
factory object will allow the client to have access to another
object.
$ * " #
The factory object manages a pool of objects, often
representing some limited resource, and assigns them to
clients based on some utilization algorithm.
A factory object enables the use of polymorphism by returning
object references to different implementations depending on
the criteria specified by a client.

82. 82
31/03/03
Thales Air Traffic Management
Polymorphism and Factory Pattern
"

83. 83
31/03/03
Thales Air Traffic Management
Polymorphism and Factory Pattern
"

84. 84
31/03/03
Thales Air Traffic Management
Factory And Code Generation
Printer
+print()
Black & White
+ print()
&OLHQW

85. 85
31/03/03
Thales Air Traffic Management
Factory And Code Generation
Printer
+print()
&OLHQW
Black & White
+ print()
Colour
+ print()

86. 86
31/03/03
Thales Air Traffic Management
Factory And Code Generation
Printer
+print()
Black & White
+ print()
&OLHQW
Colour
+ print()
FAX
+ print()

87. 87
31/03/03
Thales Air Traffic Management
Factory And Code Generation
Printer
+print()
Black & White
+ print()
&OLHQW
Colour
+ print()
FAX
+ print()
Strip
+ print()

88. 88
31/03/03
Thales Air Traffic Management
Factory And Code Generation
<<Interface>>
Printer
+print()
Black & White
+ print()
&OLHQW
Colour
+ print()
FAX
+ print()
Strip
+ print()

89. 89
31/03/03
Thales Air Traffic Management
Factory And Code Generation
<<Interface>>
Printer Factory
Black & White
Factory
&OLHQW
1 "
Colour
Factory
FAX
Factory
Strip
Factory

90. 90
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

91. 91
31/03/03
Thales Air Traffic Management
Why is procedural design expensive to change ?
" " "
#
" "
+ ! " # "
" #

92. 92
31/03/03
Thales Air Traffic Management
Why is OOD easy to change ?
" ) " #
" "
2 " ) "
" #
) "
) "
" "

93. 93
31/03/03
Thales Air Traffic Management
Object collaboration

94. 94
31/03/03
Thales Air Traffic Management
Why is OOD easy to change ?
+ ! " #
! ) " " # !
" " ) " " #
" # " #
? @

95. 95
31/03/03
Thales Air Traffic Management
Example 3: The problem is in the User Input
Exit Coordination State
A: NIL_EXIT_STATE,
B: FLIGHT_ACTIVATION_PROPOSAL,
C: FLIGHT_ACTIVATION_ALARM,
D: FLIGHT_ACTIVATION_CONFIRMED,
E: HANDOVER_TRANSFERED,
F: COORDINATION_TERMINATED,
G: UNKNOWN_EXIT_STATE
Enter Exit Coordination State =>

96. 96
31/03/03
Thales Air Traffic Management
Replace case and enum by object .
enum ExitCoordinationState {
NIL_EXIT_STATE,
FLIGHT_ACTIVATION_PROPOSAL,
FLIGHT_ACTIVATION_ALARM,
FLIGHT_ACTIVATION_CONFIRMED,
HANDOVER_TRANSFERED,
COORDINATION_TERMINATED,
UNKNOWN_EXIT_STATE
}

97. 97
31/03/03
Thales Air Traffic Management
Example of structural fragility : the switch
+ " + ! " " #
2( " # " # "
" # ! ! "
" " ! "
# % " # " E
2( ! ( " "" #
( ' ( ! " "" # (
0 ( " # (
" # ( ! ! " "

98. 98
31/03/03
Thales Air Traffic Management
structural switch
static void printsStatus(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}

99. 99
31/03/03
Thales Air Traffic Management
structural switch
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}

100. 100
31/03/03
Thales Air Traffic Management
structural switch
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
staticvoidflightUpdate(intstatus){
switch(status){
caseNIL_EXIT_STATE:
processing1
caseFLIGHT_ACTIVATION_PROPOSAL:
processing2
caseFLIGHT_ACTIVATION_ALARM:
processing3
caseFLIGHT_ACTIVATION_CONFIRMED:
processing4
caseHANDOVER_TRANSFERED,
processing5
caseCOORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
Software
Module A
Software
Module B
Software
Module C
Software
Module D
Software
Module E

101. 101
31/03/03
Thales Air Traffic Management
The problem space and the solution space.
! " ( " &
0 - ! " ( " #
( ! ! " (

102. 102
31/03/03
Thales Air Traffic Management
User Imput
Exit Coordination State
A: NIL_EXIT_STATE,
B: FLIGHT_ACTIVATION_PROPOSAL,
C: FLIGHT_ACTIVATION_ALARM,
D: FLIGHT_ACTIVATION_CONFIRMED,
E: HANDOVER_TRANSFERED,
F: COORDINATION_TERMINATED,
G: NewState
H: UNKNOWN_EXIT_STATE
Enter Exit Coordination State =>

103. 103
31/03/03
Thales Air Traffic Management
Replace case and enum by object .
enum ExitCoordinationState {
NIL_EXIT_STATE,
FLIGHT_ACTIVATION_PROPOSAL,
FLIGHT_ACTIVATION_ALARM,
FLIGHT_ACTIVATION_CONFIRMED,
HANDOVER_TRANSFERED,
COORDINATION_TERMINATED,
NewState,
UNKNOWN_EXIT_STATE
}

104. 104
31/03/03
Thales Air Traffic Management
static void printsStatus(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case New_State,
processing 7
case UNKNOWN_EXIT_STATE
processing 8
}
}
structural switch

105. 105
31/03/03
Thales Air Traffic Management
structural switch
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
staticvoidflightUpdate(intstatus){
switch(status){
caseNIL_EXIT_STATE:
processing1
caseFLIGHT_ACTIVATION_PROPOSAL:
processing2
caseFLIGHT_ACTIVATION_ALARM:
processing3
caseFLIGHT_ACTIVATION_CONFIRMED:
processing4
caseHANDOVER_TRANSFERED,
processing5
caseCOORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
static void flightUpdate(int status) {
switch(status) {
case NIL_EXIT_STATE :
processing 1
case FLIGHT_ACTIVATION_PROPOSAL:
processing 2
case FLIGHT_ACTIVATION_ALARM:
processing 3
case FLIGHT_ACTIVATION_CONFIRMED:
processing 4
case HANDOVER_TRANSFERED,
processing 5
case COORDINATION_TERMINATED,
processing 6
case UNKNOWN_EXIT_STATE
processing 7
}
}
Software
Module A
Software
Module B
Software
Module C
Software
Module D
Software
Module E
Changes

106. 106
31/03/03
Thales Air Traffic Management
OOD hides the problem space
0 % " # " "
) "
3 ! 0
0
3 !

107. 107
31/03/03
Thales Air Traffic Management
Polymorphism
Status
+print()
NIL_EXIT
_STATE
+ print()
Print()
Client
FLIGHT_ACTIVATION
_PROPOSAL
+ print()
FLIGHT_ACTIVATION
_ALARM
+ print()
UNKNOWN_EXI
T_STATE
+ print()

108. 108
31/03/03
Thales Air Traffic Management
Factory Pattern
Status
+print()
NIL_EXIT
_STATE
+ print()
&OLHQW
FLIGHT_ACTIVATION
_PROPOSAL
+ print()
FLIGHT_ACTIVATION
_ALARM
+ print()
UNKNOWN_EXIT
_STATE
+ print()
StatusFactory
+ create()

109. 109
31/03/03
Thales Air Traffic Management
Factory Pattern
! " ! ) " "
" ! ) " # (
" # ! " " # "
" ! " ) "
+
2 " ) " % ! ! # "
( " "

110. 110
31/03/03
Thales Air Traffic Management
Factory pseudo code
static Status create(int status) {
switch(status) {
case NIL_EXIT_STATE :
return status = new nil_exit_state();
break;
case FLIGHT_ACTIVATION_PROPOSAL:
return status = new flight_activation_proposal();
break;
case FLIGHT_ACTIVATION_ALARM:
return status = new flight_activation_alarm();
break;
case FLIGHT_ACTIVATION_CONFIRMED:
return status = new flight_activation_confirmed();
break;
case HANDOVER_TRANSFERED,
return status = new handover_transfered();
break;
case COORDINATION_TERMINATED,
return status = new coordination_terminated();
break;
case UNKNOWN_EXIT_STATE
return status = new unknown_exit_state();
}
}
New Object

111. 111
31/03/03
Thales Air Traffic Management
Polymorphism and changes
Status
+print()
NIL_EXIT
_STATE
+ print()
&OLHQW
FLIGHT_ACTIVATION
_PROPOSAL
+ print()
FLIGHT_ACTIVATION
_ALARM
+ print()
UNKNOWN_EXIT
_STATE
+ print()
NEW_STATE
+ print()
No Changes

112. 112
31/03/03
Thales Air Traffic Management
Polymorphism and state patterns
! ( ) " ! " " " # #
! (
"" # ) " !
+ ( ! " (
) " " # #
+ " ) " "
"
( "

113. 113
31/03/03
Thales Air Traffic Management
State Pattern (from the GoF)
GoF stand for Gang of Four. It refers to the famous books of Vlisside and Co.
Design Patterns: Elements of Reusable Object-Oriented Software.

114. 114
31/03/03
Thales Air Traffic Management
Object Programming
State2
Stat1
State4
+ #
State5
2& + F
G

115. 115
31/03/03
Thales Air Traffic Management
State Pattern
" & ) " "
! " ) "
) " & ' # "
% ! ! # ' ! "
" ( "

116. 116
31/03/03
Thales Air Traffic Management
Polymorphism
Status
+print()
NIL_EXIT
_STATE
+ print()
&OLHQW
FLIGHT_ACTIVATION
_PROPOSAL
+ print()
FLIGHT_ACTIVATION
_ALARM
+ print()
UNKNOWN_EXIT
_STATE
+ print()

117. 117
31/03/03
Thales Air Traffic Management
Polymorphism
status
+print()
NIL_EXIT
_STATE
+ print()
&OLHQW
FLIGHT_ACTIVATION
_PROPOSAL
+ print()
FLIGHT_ACTIVATION
_ALARM
+ print()
UNKNOWN_EXIT
_STATE
+ print()
Status
+print()
Context
Concrete state

118. 118
31/03/03
Thales Air Traffic Management
Coarse Grain Examples
& ( ' "
" # " "
" ' # ( ) " #
& " # &
+ ! ) " " # ) "

119. 119
31/03/03
Thales Air Traffic Management
On line coordination with CORBA Objects
Air Traffic Control Centre
Status
Status
Status
Status

120. 120
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

121. 121
31/03/03
Thales Air Traffic Management
CORBA = Coarse Grain Object
Remote ObjectLocal Object
Operation1()
Operation2()
Operation3()
Operation4()
Fine Grain Object
NO

122. 122
31/03/03
Thales Air Traffic Management
CORBA = Coarse Grain Object
Remote ObjectLocal Object
GroupOperation()
YES

123. 123
31/03/03
Thales Air Traffic Management
Distributed Object Patterns
FaçadeLocal Object
Operation1()
Operation2()
Operation3()
Remote Object
GetRemoteObject()
H
$ " "

124. 124
31/03/03
Thales Air Traffic Management
Object By Value
Local Object
Operation1()
Operation2()
Operation3()
Remote Object
OBV
Event Factory
new
Event Type
$ " ) "

125. 125
31/03/03
Thales Air Traffic Management
31/03/03
CORBA use case
Can we use CORBA in Large Distributed Control
System ?
What do We want !
Complex System Seamless Integration
Why CORBA ?
Object Software Bus
Design for changes
Change example : Printer
CORBA distributed polymorphism example
CORBA and Distributed Design pattern example
Procedural design versus Object design
Designing Distributed Object
Normalisation processes

126. 126
31/03/03
Thales Air Traffic Management
Separation Of Concern
Fault
Tolerance
Printer
Load
Balancing
Printer
Transaction
Printer
Security
Printer

127. 127
31/03/03
Thales Air Traffic Management
Separation Of Concern
" " ! ( #
" " " "
" ) "
) "
" ) "
" ) "
" " !
" " ) "
"

128. 128
31/03/03
Thales Air Traffic Management
Separation Of Concern
Security
Load
Balancing
Printer
Transaction
Fault
Tolerance

129. 129
31/03/03
Thales Air Traffic Management
Separation Of Concern
Security Load
Balancing
Printer
Transaction
Fault
Tolerance

130. 130
31/03/03
Thales Air Traffic Management
Separation Of Concern
Security
Load
Balancing
Printer Transaction
Fault
Tolerance
Domain
Services
Technical
Services

131. 131
31/03/03
Thales Air Traffic Management
Y development cycle
"
$ " #
"
"
1 " !
!

132. 132
31/03/03
Thales Air Traffic Management
Application Lay out
"
$ # "
" -

133. 133
31/03/03
Thales Air Traffic Management
"
$ # "
" -
"
$ # "
Application Lay out
" " -

134. 134
31/03/03
Thales Air Traffic Management
Application Lay out
" $ # "
" " -
"
" "
" "
" "

135. 135
31/03/03
Thales Air Traffic Management
Y Standardization Process
" " " # !
#
" " ( # " ! "
" "
" "
0 ( ! "% ( A
"

136. 136
31/03/03
Thales Air Traffic Management
Y Standardization Process
Domain Logic
Patterns
Domain Technical
Patterns
Transportation DTF