Methods, systems, frameworks and software products are disclosed for semantic-based definition of optionally nested transactional behavior, with an extensible automated, built-in ability to recover, commit, rollback or compensate while invoking nested composite software services containing other software services such as, but not limited to Web services.