Titlebook: Coordination, Organizations, Institutions, and Norms in Agent Systems II; AAMAS 2006 and ECAI Pablo Noriega,Javier Vázquez-Salceda,Eric Ma

expunge

https://doi.org/10.1007/978-1-349-17018-0ify an institution and FIEVeL, a language that can be used to formalize institutions. Finally, we discuss how to automatically translate FIEVeL specifications into the input language of the SPIN model checker and the kind of properties that it is possible to check.

Aggrandize

NIB

Redesign of Organizations as a Basis for Organizational Changerocess specification is presented that models the redesign process for an organization that adapts to changes in the environment. The formally specified and implemented approach to organization redesign thus obtained has been tested for a well-known historical case study from the Organization Theory literature.