A model and language for business-aware transactions door