Inhalt des Dokuments
Integration of Modelling Techniques
Viewpoint models of software systems or their components are formal or semi-formal models that specify a specific aspect of the system, like its overall functionality, static structure, or inter- or intra-object behaviour for instance. In the unified modelling language UML, for example, these viewpoints would be specified by use case, class, interaction and statemachine diagrams. Viewpoint models in general reduce the complexity of the development process by separating concerns. On the other hand, they are usually heterogeneous both w.r.t. their form and contents, since problem specific languages and tools are employed for their construction and analysis. Therefore, concepts and methods are needed that allow the integration of heterogeneous viewpoint models, manage their corespondences, and check their consistency.
Related Research Projects
- SeGraVis 
- Formal modeling and analysis of flexible processes in mobile ad-hoc networks