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


*

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


<<node>> n2: Node2

<<connection>> cn2:Connection2

<<area>> a2: Area2 <<area>>

a:3 Area3


<<node>> n3: Node3

connects

handOver<<connection>>

Connection3

<<bridge>>

Bridge3

connects

locatedAt

connects

hosts

hosts


hosts


uses

locatedAt

<<node>> n1: Node1



<<node>> n2: Node2



a3: Area3


<<node>> n3: Node3

connects

<<bridge>>

Bridge1

connects

MOBIS 2004, Oslo 15/09/2004


'>

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


hosts


uses

provides

provides

locatedAt

<<node>> n1: Node1




<<node>> n2: Node2



a3: Area3


<<node>> n3: Node3

connects

<<component>> ct: Componentsatisfied

<<QoSReq>>qr:

provides

requires

provides

satisfied


deployedAt

locatedAt

connects

hosts

hosts


hosts


uses

provides

provides

locatedAt

<<node>> n1: Node1




<<node>> n2: Node2



a3: Area3


<<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


'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��

le...qo1: qo2: ˇ + ’* requires provides provides gprs:gprsnetwo rk deployedat locatedat...

Documents