Imposing transactional properties on distributed software atchitectures
Apostolos V. Zarras, Valérie Issarny · 1998
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: I) 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.