Design and formal model of an event-driven and service-oriented architecture for the Mobile Tourist Information System TIP

This thesis introduces a new collaboration framework for context-aware services in a mobile environment enabling services to co-operate with several anonymous co-operation partners. We extend the current TIP design and architecture so that new services may easily be added to and co-operate with existing ones. Obsolete services may be replaced by new ones providing the same functionality. Services are de-coupled. Service co-operation is completely changed. This means that services react to the events they receive, irrespective of the events publishers. We also show how service-oriented and event-driven architectures may be combined maintaining their respective advantages. We introduce features of serviceoriented architectures to services co-operating via an eventbased middleware. We describe the formal model of a new system for mobile tourist information and the newly introduced features of the collaboration framework. Those features fundamentally change the way services communicate and cooperate