Summary

This project contributes to the current trends in software development methods by: a) relating requirements capture and architectural decomposition reliably, and b) transforming systematically the abstract architectural models down to a level where well-established design methods can be applied. The interest is in practical methods that can be used for rigorous high-level system development under industrial constraints. The focus is on three themes: a) capturing requirements and expressing them in abstract architectural models, b) finding paradigmatic architectural models to make explicit the different system views, and c) transforming the abstract architectural models into specific architectures and code designs.

Keywords: Software Engineering, Requirements Capture, Software Architecture, Formal Methods, Abstract State Machines, Refinement, Service Oriented Architecture.