Formal Description of Architectural Patterns


Abstract. Formal description of architectural patterns helps designers to detect bugs early in the design phase of Software Development Life Cycle (SDLC). The emphasis of the work is on capturing the architectural pattern and providing it’s formal description in terms of concurrent Calculus Of Communicating Systems (CCS) processes. The paper presents model… (More)


2 Figures and Tables

Slides referencing similar topics