We suggest an approach to software development that integrates elaboration of security requirements at an early stage of the software life cycle. Reasoning about security in goal-oriented requirements engineering allows one to anticipate malicious behaviours of agents in the environment of the software-to-be and thereby systematically build more robust systems. We will elaborate attack patterns...

We propose optimal dimensionality reduction techniques for the solution of goal–oriented linear–Gaussian inverse problems, where the quantity of interest (QoI) is a function of the inversion parameters. These approximations are suitable for large-scale applications. In particular, we study the approximation of the posterior covariance of the QoI as a low-rank negative update of its prior covari...

Goals capture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use of goals for eliciting, elaborating, structuring, specifying, analyzing, negotiating, documenting, and modifying requirements. This area has received increasing attention over the past few years. The paper revie...

In this paper we revisit the problem of achieving multi-class workload response time goals by automatically adjusting the buuer memory allocations of each workload class. We discuss the virtues and limitations of previous work with respect to a set of criteria we lay out for judging the success of any goal-oriented resource allocation algorithm. We then introduce the concept of hit rate concavi...

Previous experiments have shown that human attention is influenced by high level task demands. In this paper, we propose an architecture to estimate the task-relevance of attended locations in a scene. We maintain a task graph and compute relevance of fixations using an ontology that contains a description of real world entities and their relationships. Our model guides attention according to a...

This paper proposes the adoption of a goal-based method called GBRAM for facilitating the process of building taxonomies of COTS components. Since GBRAM was defined in a different setting, the main result of the paper is to adapt it to this new context obtaining the GBTCM method. We show how the different activities and artifacts of GBRAM change, and we apply the proposal to obtain a taxonomy f...

Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. This paper shows how to derive a user interface for human agents from such a model, especially with respect to the monitor and control capabilities of those agents. A goal-oriented widget taxonomy was elaborated in ord...

Parietal and frontal cortical areas play important roles in the control of goal-oriented behaviour. This review examines how signal processing in the parietal and frontal eye fields is involved in coding and storing space, directing attention and processing the sensorimotor transformation for saccades. After a survey of the functional specialization of these areas in monkeys, we discuss homolog...

We have adapted our general multiple perspective system design method to provide design-time and run-time support for workflow systems. In this position paper, we illustrate the resulting method and toolset. Specifically, we illustrate how analysis of stakeholder goals can be used to generate alternative workflows, monitor system requirements, and modify an operational system in response to req...

We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating parties. Focusing on goals provides a framework for addressing the problem of potential “misunderstanding” during communication, where the misunderstanding arises from lack of initial agreement on what protocol and/or langua...