Reasoning of Competitive Non-Functional Requirements in Agent-Based Models

During the decision-making process in real-time competitive environments, there is a need to perform concurrent optimisation of multiple competitive objectives to select an optimal design decision for interdependent stakeholders. To handle such issues, this thesis successfully assimilates the goal-oriented requirements-engineering knowledge with analytical decision-making approaches to facilitate reasoning and analysis by encouraging stakeholders’ involvement. This leads to optimal decisions with domain knowledge improvement in the agent-based i*-goal model by balancing multiple conflicting non-functional requirements reciprocally

Optimal Reasoning of Opposing Non-functional Requirements based on Game Theory

Goal-Oriented Requirement Engineering is a modeling technique that represents software system requirements using goals as goal models. In a competitive environment, these requirements may have opposing objectives. Therefore, there is a requirement for a goal reasoning method, which offers an alternative design option that achieves the opposing objectives of inter-dependent actors. In this paper, a multi-objective zero-sum game theory-based approach is applied for choosing an optimum strategy for dependent actors in the i* goal model. By integrating Java with IBM CPLEX optimisation tool, a simulation model based on the proposed method was developed. A successful evaluation was performed on case studies from the existing literature. Results indicate that the developed simulation model helps users to choose an optimal design option feasible in real-time competitive environments

AHP based Optimal Reasoning of Non-functional Requirements in the i∗ Goal Model

Goal-Oriented Requirements Engineering (GORE) has been found to be a valuable tool in the early stages of requirements engineering. GORE plays a vital role in requirements analysis like alternative design/ goal selection during decision-making. The decision-making process of alternative design/ goal selection is performed to assess the practicability and value of alternative approaches towards quality goals. Majority of the GORE models manage alternative selection based on qualitative approach, which is extremely coarse-grained, making it impossible for separating two alternatives. A few works are based on quantitative alternative selection, yet this does not provide a consistent judgement on decision-making. In this paper, Analytic Hierarchy Process (AHP) is modified to deal with the evaluation of selecting the alternative strategies of inter-dependent actors of i∗ goal model. The proposed approach calculates the contribution degrees of alternatives to the fulfilment of top softgoals. It is then integrated with the normalized relative priority values of top softgoals. The result of integration helps to evaluate the alternative options based on the requirements problem against each other. To clarify the proposed approach, a simple telemedicine system is considered in this paper

Agents for educational games and simulations

This book consists mainly of revised papers that were presented at the Agents for Educational Games and Simulation (AEGS) workshop held on May 2, 2011, as part of the Autonomous Agents and MultiAgent Systems (AAMAS) conference in Taipei, Taiwan. The 12 full papers presented were carefully reviewed and selected from various submissions. The papers are organized topical sections on middleware applications, dialogues and learning, adaption and convergence, and agent applications

DAG-Based Attack and Defense Modeling: Don't Miss the Forest for the Attack Trees

This paper presents the current state of the art on attack and defense modeling approaches that are based on directed acyclic graphs (DAGs). DAGs allow for a hierarchical decomposition of complex scenarios into simple, easily understandable and quantifiable actions. Methods based on threat trees and Bayesian networks are two well-known approaches to security modeling. However there exist more than 30 DAG-based methodologies, each having different features and goals. The objective of this survey is to present a complete overview of graphical attack and defense modeling techniques based on DAGs. This consists of summarizing the existing methodologies, comparing their features and proposing a taxonomy of the described formalisms. This article also supports the selection of an adequate modeling technique depending on user requirements

A framework for Adaptive Capability Profiling

This thesis documents research providing improvements in the field of accessibility modelling, which will be of particular interest as computing becomes increasingly ubiquitous. It is argued that a new approach is required that takes into account the dynamic relationship between users, their technology (both hardware and software) and any additional Assistive Technologies (ATs) that may be required. In addition, the approach must find a balance between fidelity and transportability. A theoretical framework has been developed that is able to represent both users and technology in symmetrical (hierarchical) recursive profiles, using a vocabulary that moves from device-specific to device-agnostic capabilities. The research has resulted in the development of a single unified solution that is able to functionally assess the accessibility of interactions through the use of pattern matching between graph-based profiles. A self-efficacy study was also conducted, which identified the inability of older people to provide the data necessary to drive a system based on the framework. Subsequently, the ethical considerations surrounding the use of automated data collection agents were discussed and a mechanism for representing contextual information was also included. Finally, real user data was collected and processed using a practically implemented prototype to provide an evaluation of the approach. The thesis represents a contribution through its ability to both: (1) accommodate the collection of data from a wide variety of sources, and (2) support accessibility assessments at varying levels of abstraction in order to identify if/where assistance may be necessary. The resulting approach has contributed to a work-package of the Sus-IT project, under the New Dynamics of Ageing (NDA) programme of research in the UK. It has also been presented to a W3C Research and Development Working Group symposium on User Modelling for Accessibility (UM4A). Finally, dissemination has been taken forward through its inclusion as an invited paper presented during a subsequent parallel session within the 8th International Conference on Universal Access in Human-Computer Interaction

THE DYNAMICS OF INSTITUTIONAL CHANGEAND THE CASE OF THE EU BUDGETARY NEGOTIATIONS

This dissertation analyzes how institutions change, particularly how institutions go in and out of equilibrium; it proposes a dynamic account of institutional change by examining the endogenous and exogenous factors that change the preferences of players and the distributional implications of (renegotiated) institutional outcomes. The EU budgetary negotiations provide a compelling case for institutional change in the EU. Motto:"Disequilibrium, or the potential that the status quo be upset, is the characteristic feature of politics…What prevents purely random embodiments of tastes is the fact that decisions are customarily made within the framework of known rules, which are what we commonly call institutions." (Riker 1980, 443

Collective agency:From philosophical and logical perspectives

People inhabit a vast and intricate social network nowadays. In addition to our own decisions and actions, we confront those of various groups every day. Collective decisions and actions are more complex and bewildering compared to those made by individuals. As members of a collective, we contribute to its decisions, but our contributions may not always align with the outcome. We may also find ourselves excluded from certain groups and passively subjected to their influences without being aware of the source. We are used to being in overlapping groups and may switch identities, supporting or opposing the claims of particular groups. But rarely do we pause to think: What do we talk about when we talk about groups and their decisions?At the heart of this dissertation is the question of collective agency, i.e., in what sense can we treat a group as a rational agent capable of its action. There are two perspectives we take: a philosophical and logical one. The philosophical perspective mainly discusses the ontological and epistemological issues related to collective agency, sorts out the relevant philosophical history, and argues that the combination of a relational view of collective agency and a dispositional view of collective intentionality provides a rational and realistic account. The logical perspective is associated with formal theories of groups, it disregards the psychological content involved in the philosophical perspective, establishes a logical system that is sufficiently formal and objective, and axiomatizes the nature of a collective

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"