Analyzing requirements of knowledge management systems with the support of agent organizations

Knowledge Management (KM) is considered by many organizations a key aspect in sustaining competitive advantage. Designing appropriate KM processes and enabling technology face considerable risks, as they must be shaped to respond to specific needs of the organizational environment. Thus, many systems are abandoned or fall into disuse because of inadequate understanding of the organizational context. This motivates current research, which tends to propose agent organizations as a useful paradigm for KM systems engineering. Following these approaches, organizations are analyzed as collective systems, composed of several agents, each of them autonomously producing and managing their own local data according to their own logic, needs, and interpretative schema, i.e. their goals and beliefs. These agents interact and coordinate for goal achievement defining a coherent local knowledge system. This paper presents a novel methodology for analyzing the requirements of a KM system based on an iterative workflow where a pivotal role is played by agent-oriented modeling. Within this approach, the needs for KM systems are traced back to the organization stakeholders’ goals. A case study is used to illustrate the methodology. The relationship of this work with current studies in agent organizations and organizational knowledge management is also discussed. Differently from other works, this methodology aims at offering a practical guideline to the analyst, pointing out the appropriate abstractions to be used in the different phases of the analysis

OperA/ALIVE/OperettA

Comprehensive models for organizations must, on the one hand, be able to specify global goals and requirements but, on the other hand, cannot assume that particular actors will always act according to the needs and expectations of the system design. Concepts as organizational rules (Zambonelli 2002), norms and institutions (Dignum and Dignum 2001; Esteva et al. 2002), and social structures (Parunak and Odell 2002) arise from the idea that the effective engineering of organizations needs high-level, actor-independent concepts and abstractions that explicitly define the organization in which agents live (Zambonelli 2002).Peer ReviewedPostprint (author's final draft

Cognition, agency theory, and organizational failure : a Saskatchewan Wheat Pool case study

The Saskatchewan Wheat Pool went from being the largest grain handler in western Canada in the mid 1990s to undertaking a $405 million debt restructuring in January 2003. Provincial grain handling market share had been over 60 percent for two decades prior to the Pool becoming publicly traded in 1996. With the share conversion, the Pool began a capital expenditure program in an effort to adapt to industry deregulation and to compete with the multinationals that were entering western Canada. This program was not successful. SWP’s long-term debt increased five fold over the period 1996–1999 and consecutive multi-million dollar net losses were incurred followed by the debt restructuring.This thesis uses dominant logic theory and the principal-agent problem to analyze what went wrong at SWP. Theory suggests organizations faced with major industry change may have difficulty revising their dominant logic, which leads to organizational failure. Not only is there a tendency to hold on to established beliefs, but the creation of new beliefs is prone to error because of bounded rationality. The existence of a principal-agent problem can worsen an organization’s ability to revise its dominant logic. Information asymmetry and the principal’s trust of the agent can lead to inaccurate beliefs and ineffective strategies being approved. The results of personal interviews with twenty-one past management and elected Saskatchewan Wheat Pool personnel and grain industry affiliates are presented and analyzed in a case study format. The results suggest that deregulation of the grain handling industry and the anticipated arrival of multinational competitors pressured the Pool to respond quickly to major industry change. The Pool had difficulty revising its dominant logic; it retained outdated beliefs and accepted inaccurate new beliefs. Interviewees described how some investments were built on erroneous beliefs and lacked complete due diligence. Evidence suggests the principal-agent problem was also at play. The need for confidentiality after the share conversion increased information asymmetry, and management took advantage of the board’s lack of experience as investments extended beyond the farm gate. The principal-agent problem in conjunction with an inaccurate revised dominant logic is a reasonable explanation for the Pool’s failure

Detection and resolution of normative conflicts in multi-agent systems : a literature survey

Peer reviewedPostprin

The Globalization of Health and Safety Standards: Delegation of Regulatory Authority in the SPS Agreement of the 1994 Agreement Establishing the World Trade Organization

Buthe examines why states delegated regulatory authority in the Agreement on the Application of Sanitary and Phytosanitary (SPS) Measures, an integral part of the founding treaty of the World Trade Organization (WTO). Buthe argues that, to explain this case of international delegation, principal-agent theory must be complemented by an analysis of cost-benefit calculations of the relevant domestic interest groups. Given these domestic interests, governments decided to institutionalize international cooperation on SPS measures outside of the WTO because they believed that such delegation would minimize the political costs of the loss of policymaking autonomy. Buthe notes, however, that in retrospect it appears that the widespread positive association of international standards with multilateralism and international consensus led many countries to underestimate those autonomy losses. Material and ideational factors thus interacted to shape the definition of national interests and the outcome of international delegation

A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System

Self-adaptation is a promising approach to manage the complexity of modern software systems. A self-adaptive system is able to adapt autonomously to internal dynamics and changing conditions in the environment to achieve particular quality goals. Our particular interest is in decentralized self-adaptive systems, in which central control of adaptation is not an option. One important challenge in self-adaptive systems, in particular those with decentralized control of adaptation, is to provide guarantees about the intended runtime qualities. In this paper, we present a case study in which we use model checking to verify behavioral properties of a decentralized self-adaptive system. Concretely, we contribute with a formalized architecture model of a decentralized traffic monitoring system and prove a number of self-adaptation properties for flexibility and robustness. To model the main processes in the system we use timed automata, and for the specification of the required properties we use timed computation tree logic. We use the Uppaal tool to specify the system and verify the flexibility and robustness properties.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432