Abstract: |
This work aims to reuse proved architectural solutions by combining techniques from formal and semi-formal development to solve problems. We intend to contribute to the definition, the validation and the integration of architectural patterns into software engineering environments.
We propose to formalize architectural patterns definition for both of the problem and the solution part and relationships between them. On one hand, the provided description is based on UML/OCL specification and a stereotype set, on the other hand on a quality model who establishes quality characteristics in terms of functional and non-functional requirements. Quality characteristics are specified using the ISO/IEC 9126-1 quality model.
Our patterns are semantically supported by a B formal specification following a transformational approach from UML/OCL to B. The integration of our approach in the UML Objecteering Modeler aims to help the developer by hiding the formal back-end details, allowing him to use architectural patterns in his development as a friendly and familiar front-end.
|
