Overview

The use of different complementary views plays an important role in describing complex systems. There are a lot of models which are adequate for data, transitions, interaction, composition, and recursive definitions at any level to describe static and dynamic aspects. The goal of the project is the integration of different formal models into an interoperable toolkit.

Profile-based group forming in mobile ad hoc networks represents a new field of application. The profile-based group forming corresponds to a data mining on profiles in a ad hoc enviroment. In the profile-based group forming every mobile host is equipped with user profile. As the subscribers move around similar profiles within the ad hoc network are searched and pooled to groups. As a consequence the group members are enabled to solve a problem together. We use profile-based group forming as an example in a taxi-sharing scenario. At this at highly frequented locations persons with similar destinations are searched so that they can share a taxi.