The S-Transaction Model (extended Abstract)