The workshop was intended for consortium members. Other interested parties could contact the project coordinator for an invitation.
|19.00||Project Management Committee||Ken Turner, Stirling||Evan Magill, Strathclyde|
|09.00||Introduction to the day||Mark Ryan|
University of Birmingham
|09.05||Appliances Everywhere||Dave Marples|
|This session will consider the development of networked appliances as the logical successor to the telephone. They might include WAP-enabled devices, PDAs with network connections, alarm clocks that alter their setting according to reported conditions on the road to work, ...|
|10.45||The Role of Reflection in Next Generation Middleware Platforms||Gordon Blair|
University of Lancaster
|Middleware has emerged as an important architectural component in supporting distributed applications. With the expanding role of middleware, however, a number of problems are emerging. Most significantly, it is becoming difficult for a single solution to meet the requirements of a range of application domains. Hence, many researchers now believe that the next generation of middleware platforms should be both configurable and re-configurable. The talk will address this issue and will argue that reflective middleware together with component technologies offer a principled means of achieving these goals. More specifically, a language-independent reflective architecture will be introduced featuring a per-component meta-space, the use of meta-models to structure meta-space, and a consistent use of component graphs for composite components. The talk will also raise some discussion points as to whether this approach can be applied to the design of future telecommunications services and infrastructure.|
|13.30||Specifying Services - What, How, When, Why?||Muffy Calder|
University of Glasgow
What behaviour is relevant: functional, real-time, billing? What level of
abstraction is appropriate: service level or global plane? What is the
goal: interaction detection, resolution, avoidance?
How should features and networks be modelled: logics, event-based languages, state-based languages? How should interaction be defined: generic properties, specific properties? How should analysis be carried out: testing, simulation, model-checking, theorem-proving? How can we analyse legacy code?
When should analysis take place: off-line, on-line, hybrid?
Why should we be confident that formal models are appropriate, that they can be interpreted in the operational world, that the results scale up?
|15.15||What research is needed on telecomms services?||Ken Turner|
University of Stirling
|This session will open with a list of research issues that have arisen during previous project meetings. All participants will then be invited to contribute their own ideas on industrially relevant research topics, with the aim of producing a list of `hot research issues' of relevance to the project.|
Up one level to FORCES Project Activities
Last Update: 15th July 2006