61 research outputs found
Operational Semantics of Goal Models in Adaptive Agents
No full textSeveral agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodologies is the paramount importance of the concept of goal model in order to understand the requirements of a software system. Goal models consist of goal graphs rep- resenting AND/OR-decomposition of abstract goals down to operationalisable leaf-level goals. Goal models are used primarily in the earlier phases of software engineering, for social modelling, requirements elicitation and analysis, to concretise abstract objectives, to detail them and to cap- ture alternatives for their satisfaction. Although various agent programming languages incorpo- rate the notion of (leaf-level) goal as a language construct, none of them natively support the definition of goal mod- els. However, the semantic gap between goal models used at design-time and the concept of goal used at implementa- tion and execution time represent a limitation especially in the development of self-adaptive and fault-tolerant systems. In such systems, design-time knowledge on goals and vari- ability becomes relevant at run-time, to take autonomous decisions for achieving high level objectives correctly. Recently, unifying operational semantics for (leaf) goals have been proposed (Riemsdijk, AAMAS08). We extend this work to define an operational semantics for the behaviour of goals in goal mod- els, maintaining the flexibility of using different goal types and conditions. We use a simple example to illustrate how the proposed approach effectively deals with the semantic gap between design-time goal models and run-time agent implementations
Design Matters for Semantic Web Services
No full textThe several Semantic Web Services (SWS) initiatives seems to really pave the way for supporting autonomous and goal-oriented behavior during the whole service providing life-cycle. The main results based on service ontology languages, e.g., OWL-S, allow for automatic discover, invocation, and composition of services reducing the human intervention at a minimum.
Nevertheless, the SWS approaches have not focused enough on the analysis and design phases in order to support discover, composition, and the service ontology definition also at design time. On the contrary, our approach aims to illustrate possible advantages when considering the Tropos analysis and design levels over the SWS technologie
A P2P-based Infrastructure for Virtual-Enterprise ́s Supply-Chain Management
No full textThis paper proposes and describes a prototype of a peer-to-peer based infrastructure to support virtual enterprise’s supply chain management. Because of a virtual enterprise is composed of autonomous, distributed, and continuously evolving entities, we have naturally modelled each business entity like a peer’s agent platform that can play several roles according to the task to be fulfilled. To this end, we describe and apply such roles, required to the organizational architecture, into a virtual storehouse scenari
Analisi di uno scenario sulla filiera lattiero-casearia trentina. Il caso Trentingrana
No full textIl presente documento si propone di descrivere il problema adottato come caso di studio nell'ambito del WP1 del progetto Osserva3. Si è scelto di analizzare il comparto lattiero-caseario, con riferimento alla produzione del formaggio D.O.P. Grana Trentino (Trentingrana).
Il documento risulta, a questo scopo, organizzato su una prima parte di analisi del contesto del caso di studio: l'attività del Consorzio Trentingrana. Il documento prosegue dettagliando la fase di gestione dei dati e delle informazioni, che coinvolge, a livelli diversi, il Consorzio Centrale, i caseifici periferici e la rete degli allevatori distribuiti sul territorio. Successivamente vengono individuate e analizzate le criticità del sistema esaminato, per giungere, quindi, ad un programma di interventi visibile nell'adozione di uno strumento informatico a supporto della rintracciabilità nella filiera specifica. Il documento, infine, presenta il piano delle attività previste per l'implementazione finale della soluzione propost
Modelling Self-Adaptivity: A Goal-Oriented Approach
No full textSelf-adaptive systems aim at autonomously achieving their objectives in a dynamic environment, adapting their behaviour to different circumstances. We claim that appropriate software engineering methodologies are needed to define and to model the information necessary for a system to perform autonomous diagnosis and decision making at runtime. In this short paper we focus on conceptual modelling for the design of self-adaptive software. Our design framework adopts a goal-oriented approach to specify variability in system requirements, coping with some limits of current goal modelling approaches
Refining Goal Models by Evaluating System Behaviour
No full textNowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software engineering methodologies need to cope with the complexity of requirements specification in such scenarios, where new requirements may emerge also at run-time and the system’s goals are expected to evolve to meet new stakeholder needs. Following an agent-oriented approach, we are studying methods and techniques to design adaptive and evolvable information systems able to fulfill stakeholders’ objectives. In a previous work we defined an Agent-Oriented framework to design and code system specifications in terms of goal models and we instantiated it in a tool-supported process which exploits the Agent-Oriented Software Engineering methodology Tropos and the Multi-Agent Platform JADE/Jadex. In this paper, we show how to use this framework to develop a system following an iterative process, where the system execution allows enriching the system specification given in terms of goal models. Experimental evaluation has been performed on a simple example and lead to the refinement of the designed goal model upon the analysis of the system’s run-time behaviour
Automated Mapping from Goal Models to Self-Adaptive Systems
No full textSelf-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that supports goal-oriented modelling and generation of code for goal-directed, self-adaptive systems, supporting Tropos4AS, an extension of the software engineering methodology Tropos
Cooperation Strategies for Information Integration
No full textTRENTO, ITALY, LECTURE NOTES IN COMPUTER SCIENCE, SPRINGER--VERLAG, BERLIN, GERMAN
A.: Towards goal-oriented development of self-adaptive systems
No full textSelf-adaptive software aims at anticipating changes which occur in a complex environment and to automatically deal with them at run-time. The increasing demand for complex networked software, which makes computing resources available to anyone, anywhere and at any time, is drawing attention to the engineering of self-adaptive software. The objective of our work is to define a process and a tool-supported design framework to develop self-adaptive systems, which consider Belief-Desire-Intention agent models as reference architectures. We adopt an agent-oriented approach, which allows to explicitly model system goals in requirements specifica-tion and in the system architecture design. Moreover, goal achieve-ment conditions are specified along with their relationships with the environment and with possible failures, and corresponding recov-ery actions. This paper aims at motivating and giving an overview of our approach with the help of an example
- …
