GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution

  title={GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution},
  author={Luca Sabatucci and Patrizia Ribino and Carmelo Lodato and Salvatore Lopes and Massimo Cossentino},
The characteristic of being autonomous and proactive makes the agents able to explore a wide solution space, that dynamically changes or contains uncertainty. We propose a language for describing system goals that may be injected at run-time into the system. The novelty of our approach consists in decoupling the business goals what is expected and their implementation how to address the desired behavior. Indeed relieving the tension between 'what' and 'how' provides more degrees of freedom to… 

Towards Self-Adaptation and Evolution in Business Process

This work proposes a framework, based on the standard BPMN, in which both business goals and the operative context are monitored for changes during the execution time, to enable a flexible adaptivity of the process to a changing environment.


This work presents a theoretical framework and a general architecture for system evolution, self-configuration and self-healing and the strength of this architecture is to promote reusability and domain independence.

Implementing Proactive Means-End Reasoning

This paper investigates how it is possible to provide goal models at run-time that do not contain tasks, i.e. the description of how to address goals, thus breaking the design-time tie up between Tasks and Goals, generally outcome of a means-end analysis.

From Means-End Analysis to Proactive Means-End Reasoning

  • L. SabatucciM. Cossentino
  • Computer Science
    2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
  • 2015
This work investigates how it is possible to provide goal models at run-time that do not contain tasks, thus breaking the design-time tie up between Tasks and Goals, generally outcome of a means-end analysis.

Requirements Planning with Event Calculus for Self-adaptive Multi-agent System

A requirements-driven planning approach to self-adaptation of Multi-agent cooperative systems is proposed, which includes the states of the system context and the actions describing the behaviors of its multiple agents.

Self-adaptive smart spaces by proactive means–end reasoning

A theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks is presented and is specifically suitable for developing smart space systems, promoting scalability and reusability.

Goal-Capability-Commitment Based Context-Aware Collaborative Adaptive Diagnosis and Compensation

A Goal-Capability-Commitment (GCC) based context aware collaborative adaptive diagnosis and compensation approach, which gives a formal and semantic representation of GCC model and defines semantic match relations between goals and capabilities/commitments.

Goal-Capability-Commitment based Mediation for Multi-Agent Collaboration

  • Wei LiuDeng ChenJ. Guo
  • Computer Science, Business
    2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design ((CSCWD))
  • 2018
This work proposes a Goal-Capability-Commitment (GCC) based multi-agent collaboration mediation for ACSs at run-time, which illustrates the approach through two experiments over the simulated scenario of automated hospital cart transportation system and discusses the results of experiments.

Self-configuring cloud application mashup with goals and capabilities

This paper presents a general approach for automatically composing applications and services deployed over the Cloud to encapsulate distributed processes into smart and autonomic entities, namely cloud capabilities.

A Goal-Oriented Approach for Self-Configuring Mashup of Cloud Applications

A general approach to wrap existing services in smart and autonomic entities, namely cloud capabilities, that are able to interact and coordinate themselves in order to establish different ways to orchestrate their contained services.



Towards goal-oriented development of self-adaptive systems

The objective of this 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 and adopt an agent-oriented approach.

Tropos: An Agent-Oriented Software Development Methodology

The goal in this paper is to introduce and motivate a methodology, called Tropos, for building agent oriented software systems, based on the notion of agent and all related mentalistic notions, formalized in a metamodel described with a set of UML class diagrams.

Agent Programming with Declarative Goals

The notion of a commitment strategy - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL, a new programming language which incorporates such declarative goals.

Goal Representation for BDI Agent Systems

A generic representation of goal types, properties, and lifecycles is developed in consideration of existing goal-oriented requirements engineering and modelling techniques and is backed by experiences gained from developing a generic agent framework.

Declarative and procedural goals in intelligent agent systems

This paper presents a high-level plan notation with goals and gives its formal semantics, and shows how the use of declarative information permits reasoning to be performed on goals.

Towards Adaptive Workflow Enactment Using Multiagent Systems

A critical survey of workflow, workflow description languages, web services and agent technologies is provided and the idea that the Business Process Execution Language for Web Services (BPEL4WS) can be used as a specification language for expressing the initial social order of the multiagent system is advanced.

RELAX: a language to address uncertainty in self-adaptive systems requirement

This paper introduces RELAX, a new requirements language for self-adaptive systems that explicitly addresses uncertainty inherent in adaptive systems, and presents the formal semantics for RELAX in terms of fuzzy logic, thus enabling a rigorous treatment of requirements that include uncertainty.

A Norm-Governed Holonic Multi-agent System Metamodel

An extension of the ASPECS metamodel for supporting organizational and normative principles is presented and it allows to define models not only from an holonic agent viewpoint but also from a normative organization perspective.

Goal-Directed Requirements Acquisition

Guiding Goal Modeling Using Scenarios

The proposal is to define enactable rules which form the basis of a software environment called L'Ecritoire to guide the requirements elicitation process through interleaved goal modeling and scenario authoring to overcome difficulties in practice.