In this paper we show how software architectural styles can be used to guide object-oriented design. Design guidance is important as the initial phases of software design signiicantly impact software quality. We use two diierent architectural styles to guide the design process from a formal speciication to a design. Software architectural styles assist by providing a diierent level of reuse tha...