Model analysis focuses on modeling of actual and conceptual systems and the validation of the models
Systems are software systems, hardware systems, business processes or combinations. Model analysis comprizes 2 themes, Model Structure and Model Behavior. In these themes LaQuSo has defined research programs about:
- Analysis of system architecture
The presentation of the different views and rules in the architecture and the consistency of the architecture are object of research - Behavior analysis of systems
One of the subjects of research is the development of a language and underlying formalism to integrate the concepts of Petrinets and process algebra. The unification asks more than only syntactic transformation. For instance it leads to transformers that support exchange of models between the formalisms. Eventually the already available specific analysis tools will be used simultaneously.
Another area of research in behavior analysis is on verification of business processes (workflows). It considers soundness of processes and includes the data aspect as well.
Goal Architecture analysis
- Architecture: all levels from business architecture to infrastructure (process and data perspective)
- Qualitative statements: inconsistencies between views and conformance standards
- Qualitative statements: performance. risk and cost of ownership
- Development of repositories of reusable architecture patterns
Goal Behavior analysis
- Definition of basis language for the toolset based on LPO
- Prototyping of tools for verification
- Symbolic theorem provers
- Model checkers based on LPO reduction
Output
The expertise center for architecture and modeling in Verification and Validation
New projects include requirements analysis, transaction integrity in component based systems and architecture analysis.