Title: A formal specification of an organization model and management model for context-driven dynamic organizations
Authors: Haesevoets, Robrecht
Weyns, Danny
Holvoet, Tom
Issue Date: Jan-2009
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW535
Abstract: 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.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW535.pdfDocument Published 392KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.