Abstract: Transactions provide the warranty for a consistent, transparent and individual system state transition. In this paper, we describe a method for imposing transactional properties on distributed software architectures. Given the architectural description of a software system, expressed in terms of components, configuration and transactional requirements, a number of basic services are retrieved from a software repository. Selected services are then combined with the components of the system in a fully functioning system. Service retrieval is based on the formal specification of transaction models and basic properties provided by the lower level services (e.g. locking, recovery, time-stamps). Services are also associated with some integration rules, which serve two different purposes: 1) they guide a code generation procedure that integrates services into the given configuration and, 2) they extend the basic properties provided by the services in order to meet the required transaction model.