Le...qo1: qo2: ˇ + ’* requires provides provides gprs:GPRSNetwo rk deployedAt locatedAt...
Transcript of Le...qo1: qo2: ˇ + ’* requires provides provides gprs:GPRSNetwo rk deployedAt locatedAt...
MOBIS 2004, Oslo 15/09/2004
Conceptual Modeling of Styles for Mobile Systems 1
UniversitUniversitäättPaderbornPaderborn
�������� ���� ���������������� ���������
�� ������������� �����
������� ��������� ��������� � ���� ������������
�� ���!""#$����$�%��&��'(��)'*�������������!""#
!
��� +� ��
� ,� ���� ��� ��� ��$���� ��� ���������������������� �� �����+������
� -� ����.� ���/ ������ ���������� & ���� �����������&�������� 0� ���1���� �$��)���$�23
� ��������� ���������������14 ����������$�5!�6$�23
���+ ���� ������������� �� �������� �� ���
� 4��������������������&�� ����������$������&$� ������ � ����� �� ���7�4���������� �������89:��2
� ������� �� ���� ���&��7���&���������;�����������2
2 ���� �����&����<������ ��������=
>
6?���
�4���& ������� ����&�;�����@� ��������� ��������� ������ �� ��=
WLANConnection
GPRSConnection
GPRSBaseStation
#
��@� �������
������������ ����������������������������������� �������� �� �������������� ���������
����� ����1& �������$��?������������3
�������������1�������&������ �����3
����� ����+����������� ���1������������� �� �����@� �������3
(
��� ��
�A������7������B�������� ������,�C
�A�� �� ��7�A����������%��� ��%��&����
�A�� ���;��)&������
�6?����1��+ � ���3
�1������ 3� ���� ��
D
A������7������B�������� ����������
Node
Area
locatedAt
(fromConnectivity)
administrates1
NodeType
AreaType
locatedAt
(fromConnectivity)
administrates1
instanceOf 1
���������
����� �� ��� ������
������� �� ������������� ��
moveInn:Node
a:Area
NT :NodeType
instanceOf
AT:AreaType
instanceOflocatedAt
n:Node
a:Area
NT:NodeType
instanceOf
AT:AreaType
instanceOflocatedAt locatedAt
���������
MOBIS 2004, Oslo 15/09/2004
Conceptual Modeling of Styles for Mobile Systems 2
*
A������7������B�������� �����������1& ���,�C) �������?3
Node
Area
locatedAt
(fromConnectivity)
administrates1
NodeType
AreaType
locatedAt
(fromConnectivity)
administrates1
instanceOf 1
���������
�������������� ��
����� � ��� ���� ����
����� �� ��� ������
������� �� ������������� ��
� �������� ������
moveIn
<<node>>NT
locatedAt
<<area>> AT
<<node>>n:NT
<<area>>a:AT
<<node>> n:NT
locatedAt
<<area>>a:AT
���������
E
A�� �� ��7�A����������%��� ��%��&����
�������� ����������� ����������
� �4�A��� �������
� ������� + ��
� ��� ��
� ����� ������ ������ ��
B�������� ���������������� ����
� ��� ����$������ ����
� ��+���$���+����
� �������$�� ��������
� ����+��
F
Port
Component1
2
Connector
has
connects
Architecture
uses
client
service
ComponentType
PortType
1
1
1
2
1 ConnectorTypeinstanceOf
instanceOf
instanceOf
supports
connects
service
client
uses
������� �����7��4�A��� �������
'"
Connection
Bridge
Node
1
2
Component
deployedAt(fromArchitecture)
hosts
connects
Connectivity
Connector(fromArchitecture)
uses
1
Networkregistered
provides1..*
NetworkTypeConnectionType
BridgeType
NodeType
1
2
ComponentType
deployedAt(fromArchitecture)
hosts
connects
ConnectorType(fromArchitecture)
uses
1
instanceOf
instanceOf
instanceOf
1
1
1
instanceOf
1
registeredprovides
1..*
������� �����7�������� + ��
''
������� �����7���� ��
Node
Area
locatedAt
(fromConnectivity)
administrates
Roaming
1
NodeType
AreaType
locatedAt
(fromConnectivity)
administrates1
instanceOf 1
'!
����� ��7�����+��
locatedAt
connects
hosts
hosts
administratesadministrates
hosts
<<connector>> cr: Connector
uses
locatedAt
<<node>> n1: Node1
<<bridge>> b1: Bridge1
<<bridge>> b2: Bridge2
<<node>> n2: Node2
<<connection>> cn2:Connection2
<<area>> a2: Area2 <<area>>
a:3 Area3
<<bridge>> b3: Bridge3
<<node>> n3: Node3
connects
handOver<<connection>>
Connection3
<<bridge>>
Bridge3
connects
locatedAt
connects
hosts
hosts
administratesadministrates
hosts
<<connector>> cr: Connector
uses
locatedAt
<<node>> n1: Node1
<<bridge>> b1: Bridge1
<<bridge>> b2: Bridge2
<<node>> n2: Node2
<<connection>> cn3:Connection3
<<area>> a2: Area2 <<area>>
a3: Area3
<<bridge>> b3: Bridge3
<<node>> n3: Node3
connects
<<bridge>>
Bridge1
connects
MOBIS 2004, Oslo 15/09/2004
Conceptual Modeling of Styles for Mobile Systems 3
'>
QoSRequired QoSOffered
Requestor ProviderdependsOn
requires
Component Network…
…
QoS
satisfied
provides
1 1
(fromArchitecture) (fromConnectivity)
QoSContract
hashas
1 1
limitslimits
1..n1..n
A�� ���;��)&������
� ��� ����������� ����������������1 ������& ����������&����������� ��3
� �������@� ��������� ����������� ��
� ����� ����������� ����@� ����������������� �� ��
'#
provides
requires
provides
satisfied
<<network>> nw2: Netwrk2
deployedAt
locatedAt
connects
hosts
hosts
administratesadministrates
hosts
<<connector>> cr: Connector
uses
provides
provides
locatedAt
<<node>> n1: Node1
<<bridge>> b1: Bridge1
<<network>> nw1: Netwrk1
<<bridge>> b2: Bridge2
<<node>> n2: Node2
<<connection>> cn2:Connection2
<<area>> a2: Area2 <<area>>
a3: Area3
<<bridge>> b3: Bridge3
<<node>> n3: Node3
connects
<<component>> ct: Componentsatisfied
<<QoSReq>>qr:
provides
requires
provides
satisfied
<<network>> nw2: Netwrk2
deployedAt
locatedAt
connects
hosts
hosts
administratesadministrates
hosts
<<connector>> cr: Connector
uses
provides
provides
locatedAt
<<node>> n1: Node1
<<bridge>> b1: Bridge1
<<network>> nw1: Netwrk1
<<bridge>> b2: Bridge2
<<node>> n2: Node2
<<connection>> cn3:Connection3
<<area>> a2: Area2 <<area>>
a3: Area3
<<bridge>> b3: Bridge3
<<node>> n3: Node3
connects
<<component>> ct: Component
handOver
<<QoSReq>>qr:
<<QoSOffer>>qo2:
<<QoSOffer>>qo2:
<<QoSOffer>>qo1:
<<QoSOffer>>qo1:
<<bridge>>
Bridge3
connects
<<bridge>>
Bridge1
connects
<<connection>>
Connection3
����+���& ���;��
'(
6?����1��+ � ���3
�4���& ������� ����&�;�����@� ��������� ��������� ������ �� ��=
WLANConnection
GPRSConnection
GPRSBaseStation
'D
providesrequires
provides
<<network>> gprs:GPRSNetwork
deployedAt
locatedAt
connects
hosts
hosts
administrates
administrates
hosts
<<connector>> emailCr:Session
uses
provides
provides
locatedAt
<<node>> mobilePC:Wintel
<<bridge>> mpcb:MPCBridge
<<network>> wlan:WLANNetwork <<bridge>>
wlanb:WLanBridge
<<node>> AccessPoint:Server
<<connection>> cn2: GPRSCon
<<area>> office1:WLANArea
<<area>> Outside:GPRSArea
<<bridge>> gprsb:GPRSBridge
<<node>> BaseStation:BSNd
<<bridge>>
<<connection>>
<<bridgeWLanBridge
connects
connects
<<component>> client:MailClient
satisfiedconnects
<<area>> office2:GPRSArea
administrates
<<QoSReq>>qr:
<<QoSOffer>>qo1:
<<QoSOffer>>qo2:
���� ���� ��������������+��
'*
providesrequires
provides
<<network>> gprs:GPRSNetwork
deployedAt
locatedAt
connects
hosts
hosts
administrates
administrates
hosts
<<connector>> emailCr:Session
uses
provides
provides
locatedAt
<<node>> mobilePC:Wintel
<<bridge>> mpcb:MPCBridge
<<network>> wlan:WLANNetwork <<bridge>>
wlanb:WLanBridge
<<connection>> cn3: WLANCon
<<area>> office1:WLANArea
<<area>> Outside:GPRSArea
<<bridge>> gprsb:GPRSBridge
<<node>> BaseStation:BSNd
<<component>> client:MailClient
satisfied
connects
<<area>> office2:GPRSArea
administrates
handOver <<QoSReq>>qr:
<<QoSOffer>>qo2:
<<QoSOffer>>qo1:
<<node>> AccessPoint:Server
���� ���� ������������+��
'E
1������ 3� ���� ��
4������&�������&=
���� �� ������ ����������������� ���������1�������� ������������3
������������������ �$�� ��� ���������� ���1����� �� �������� ���&��3
���������� ���������� �������&����������� ���������+���1%��� ��� 4 ����������3
MOBIS 2004, Oslo 15/09/2004
Conceptual Modeling of Styles for Mobile Systems 4
'F
Java Virtual MachineReflection API
Reflection Library
WCORBA software
Simulation KernelDobs
4.Exeuction
Initial Cnfiguration
visualization
1.Static Structural Specification
2.Dynamic Behavioral Specification
3.Code Generation
� ��� ��� ��G�H��1&&&I��H�I��3
!"
ConceptualModel of MIS Style
Concrete Model of Style (WirelessCorba)
Application
ConceptualLevel
PlatformSpecificLevel
ConcreteSimulation
ConceptualSimulation
Tool(Fujaba)
Tool(Fujaba)
<<uses>>ConceptualAPI
ConcreteAPI
Wrapper
<<uses>>
Implementation
<<uses>>
<<refines>>
B��� ��������� ������