Imposing transactional properties on distributed software atchitectures

Abstract

specification language for the definition of the integration rules. Hence, the rules become reusable abstractions that can be easily interpreted while taking into account several implementation details, specific to the given computing system (e.g. implementation language, unde:(Iying communication platform etc.). Since in our execution model, components interact only through their interfaces, our specification language ends up to be quite simple. Its basic constieuents are: declarations of components' interface instances, and operation calls on components' interface in-