stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture for COntext-driven Dynamic agent Organizations. The complementary part of the MACODO approach is a middleware platform that supports the ted execution of dynamic organizations specified using the abstractions, as described in [Weyns et al. 2009]. In the model, the life-cycle management of dynamic organizations is separated from the agents: organizations are first-class citizens, and their dynamics are governed by laws. The laws specify how changes in the system (e.g. an agent joins an organization) and changes in the context (e.g. information observed in the environment) lead to dynamic reorganizations. As such, the model makes it easier to understand and specify dynamic organizations in multi-agent systems, and promotes reusing the life-cycle management of dynamic organizations. The tion model is formally des...