Analyze consistency and completeness of architectural artifacts and if they conform to the requirements.

The designs will be delivered by the customer and have to be transformed into a description LaQuSo can work with. This is similar to the activities in requirements analysis, where a formal system model is created. In this case it may be obtained already from the customer or the customer model has to be transformed into a formal one. The models differ from the models in the requirements phase, because they contain more details. The models and other products in the architecture phase can be created by elaborating the output of the requirements phase.

The main parts of the system model are the component structure and the information structure. The component model and the data model are related. So some questions can only be answered if both models are made.

The most extensive verification is that of the behavioral properties. These can be about the order of events or the transformation of data. In many situations the customer is only interested in structural quality attributes (metrics) of his design. This description (e.g. UML models) can be analyzed for structural and semantic properties.

• Requirements engineering products: requirements, high-level model, formal properties, test cases;
• Customer designs, e.g., in the form of formal models or UML type models:
• Models of the component structure;
• Models of the information structure;
• Optional: detailed design with: program structure, algorithms and (internal) data structures.

Diagnosis with ambiguities, open questions, logical design errors, counter examples for behavioral rules and quality attributes.

• Quick scan of the architecture of a complex planning system. This system is a overall system that plans services and guards and keeps track of the rules and regulations of thousands of employees.
• Architecture analysis and quality diagnosis of two software packages in the medical domain that handle full patient administration including electronic dossiers. The systems differ in structure and development methods, techniques and underlying technology. One is component based and is developed evolutionary together with the customers. The second is fully documented and outsourced to India. It migrates to the newest technology.