Telecom and Informatics 1 SDL Forum 2005 Grimstad, Norway Service Discovery and Component Reuse with Semantic Interfaces Richard T. Sanders (SINTEF, Trondheim, Norway) Rolv Bræk (NTNU, Trondheim, Norway) Gregor v. Bochmann & Daniel Amyot (SITE, Univ. Ottawa, Canada) Richard T. Sanders (SINTEF, Trondheim, Norway) Rolv Bræk (NTNU, Trondheim, Norway) Gregor v. Bochmann & Daniel Amyot (SITE, Univ. Ottawa, Canada)

Telecom and Informatics 2 SDL Forum 2005 Grimstad, Norway Conclusion Service components with semantic interfaces can be described using UML 2.0 collaborations interface role behaviour including goal expressions Liveness properties can be evaluated improvement over static interfaces Helps reuse, service discovery and role learning Service components with semantic interfaces can be described using UML 2.0 collaborations interface role behaviour including goal expressions Liveness properties can be evaluated improvement over static interfaces Helps reuse, service discovery and role learning

Telecom and Informatics 3 SDL Forum 2005 Grimstad, Norway Service oriented architecture a service is a collaboration between roles a role is the part an actor (agent) plays in a service a role describes a property of an actor actors may be involved in several services a service is a collaboration between roles a role is the part an actor (agent) plays in a service a role describes a property of an actor actors may be involved in several services Actor1Actor2Actor3Actor4Actor5 Service 3Service 2 Service 1 Service component Horizontal composition (within a service) Vertical composition (within an actor)

Telecom and Informatics 4 SDL Forum 2005 Grimstad, Norway :Actor Role modelling principles Validate interfaces behaviour rather than components Safety properties Liveness properties Validate interfaces behaviour rather than components Safety properties Liveness properties user A CA user B CB call A-B :Actor Semantic interface Service component B:Callee A:Caller UserCall UML 2.0 Collaboration

Telecom and Informatics 5 SDL Forum 2005 Grimstad, Norway Service feature and a pair of semantic interfaces modelled in UML 2.0 UserCall A:Caller 1 B:Callee 1 {def: goal : Boolean = A.VoiceCntTo(B) and B.VoiceCntTo(A)} Collaboration goal Semantic interface Service feature

Telecom and Informatics 6 SDL Forum 2005 Grimstad, Norway Interactions Collaboration goal

Telecom and Informatics 7 SDL Forum 2005 Grimstad, Norway UserCall Calling {goal: VoiceCnt(A,B)} Invite Busy Phases of a UserCall Collaboration goal

Telecom and Informatics 8 SDL Forum 2005 Grimstad, Norway Semantic interfaces with goals and role behaviour Role behaviour is a projection, and not a complete behaviour (hence spontaneous output) UML 2.0 does not adequately describe interface behaviour (protocol state machines not satisfactory) Role behaviour is a projection, and not a complete behaviour (hence spontaneous output) UML 2.0 does not adequately describe interface behaviour (protocol state machines not satisfactory) inviting Alerting inviter Busy idle Invite(A, role) alerting {goal=True} invited invitee idle Alerting alerted {goal=True} Busy Invite(A, role) Role goal

Telecom and Informatics 9 SDL Forum 2005 Grimstad, Norway Interface behaviour as transition charts Caller and Callee are dual roles Role goal

Telecom and Informatics 10 SDL Forum 2005 Grimstad, Norway Adding WaitOnBusy feature CallerW and CalleeW are dual roles

Telecom and Informatics 11 SDL Forum 2005 Grimstad, Norway Safety requirements and subtyping Caller Busy SelectBusyAction ending EndReq Callee Busy SelectBusyAction ending EndReq CallerW Busy SelectBusyAction ending wait waiting EndReq CalleeW Busy SelectBusyAction endingwaiting EndReqwait Added input: extension Removed ouput: reduction

Telecom and Informatics 12 SDL Forum 2005 Grimstad, Norway Caller Callee UserCall CallerW CalleeW UserCallW ext extension reduction red Subtyping relationships

Telecom and Informatics 13 SDL Forum 2005 Grimstad, Norway Incompatible Using Semantic Interfaces Compatibility can be decided at design time Can be performed for types, not just instances Compatibility can be decided at design time Can be performed for types, not just instances Y: UserAgent Callee yi X: UserAgent Caller xi W: UserAgent CalleeW wi Z: UserAgent CallerW zi Compatible {UserCallW.goal} BA BWAW UserCallW UserCall Compatible {UserCall.goal}

Telecom and Informatics 14 SDL Forum 2005 Grimstad, Norway Role negotiation pattern X: UserAgentY: UserAgent RoleRequest (Callee) RoleConfirm (Callee) Caller Callee A B Run-time role validation

Telecom and Informatics 15 SDL Forum 2005 Grimstad, Norway Service role learning pattern X: UserAgentW: UserAgent RoleRequest (Callee) RoleConfirm (CalleeW) Caller CalleeW :ServiceBroker Lookup(CalleeW, Caller) Result(idCallerW, provider) Export (CallerW) provider :ServiceProvider Import (idCallerW) CA’ CallerW A BW CallerW

Telecom and Informatics 16 SDL Forum 2005 Grimstad, Norway Work done Role projection and validation: Role projection and safety validation algorithms designed and implemented Jacqueline Floch: Compositional approach to service validation (Thursday) Progress validation algorithms design and implemented To be integrated in the tools used at Teleservice Lab at NTNU Role projection and validation: Role projection and safety validation algorithms designed and implemented Jacqueline Floch: Compositional approach to service validation (Thursday) Progress validation algorithms design and implemented To be integrated in the tools used at Teleservice Lab at NTNU

Telecom and Informatics 17 SDL Forum 2005 Grimstad, Norway Work to be done UML tool support for UML 2.0 collaborations Compatibility checking of role binding at design time Composition of role behaviour from semantic interfaces Humberto Castejón: Behaviour synthesis from UML/UCM (Thursday) Middleware support for service discovery and selection Role validation / negotiation at run-time Define ontologies for semantic interfaces Application to industry cases EU IST project Semantic Interfaces for Mobile Services (SIMS) SINTEF, NTNU, WUT, Appear Networks, Gentleware, Amena,… UML tool support for UML 2.0 collaborations Compatibility checking of role binding at design time Composition of role behaviour from semantic interfaces Humberto Castejón: Behaviour synthesis from UML/UCM (Thursday) Middleware support for service discovery and selection Role validation / negotiation at run-time Define ontologies for semantic interfaces Application to industry cases EU IST project Semantic Interfaces for Mobile Services (SIMS) SINTEF, NTNU, WUT, Appear Networks, Gentleware, Amena,…

Telecom and Informatics 18 SDL Forum 2005 Grimstad, Norway Conclusion Service components with semantic interfaces can be described using UML 2.0 collaborations interface role behaviour including goal expressions Liveness properties can be evaluated improvement over static interfaces Helps reuse, service discovery and role learning Service components with semantic interfaces can be described using UML 2.0 collaborations interface role behaviour including goal expressions Liveness properties can be evaluated improvement over static interfaces Helps reuse, service discovery and role learning

Telecom and Informatics 19 SDL Forum 2005 Grimstad, Norway Thanks for listening!