Formalizing Organizational Constraints: A Semantic Approach (extended abstract)