An organization middleware encapsulates the management of dynamic organizations and offers roles and organizations as high-level abstractions to application developers. This report presents a complete formal specification in Z of an organization model and management model for context-driven dynamic organizations, a particular class of dynamic organizations. The organization model describes the abstractions offered by the organization middleware, while the management model describes the desired behavior of the middleware with respect to the management of dynamic organizations.
Context-driven dynamic organizations, allow developers to group agents in organizations which represent collaborations that are driven by a dynamic context. As the context changes, the required collaborations change and the organizations have to be adapted. The management model identifies external inputs, such as changes in context, and a set of reflective adaptation processes, which will adapt the organizations accordingly. We use a decentralized traffic monitoring case to illustrate the organization and management model.