TU Berlin

Theor. Informatik / Formale SpezifikationIntegration of Modelling Techniques

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

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



Schnellnavigation zur Seite über Nummerneingabe