Transaction Models vers. Behavior Protocols

摘要: In this paper, we propose a method of transactional behavior description in component-based software architectures. We fucus on the specification models employed components. Especially, try to specify creation and canceling dependencies among transactions. For purpose, enhance SOFA architecture so that it can be dynamic: at runtime, new interface instances added or removed, components instantiated tied. Thus, protocols such dynamically reconfiguring are also dynamic. The transaction manager, as coordinating component, provides an for initiation completion. If subtransaction is created, instance created protocol parent modified. key achievement paper introduces semi-formal model used by particular component (replacing thus classical plain English).