GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution

Sabatucci, Luca; Ribino, Patrizia; Lodato, Carmelo; Lopes, Salvatore; Cossentino, Massimo

doi:10.1007/978-3-642-45343-4_13

Cited by 23 publications

(10 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, the main contributions of this work are: -an algorithm for modifying agent goal fulfillment according to norm changing; -an algorithm for checking the consistency of norms with the system. In order to show in semi-natural languages some practical examples, we use GoalSpec [9] and SBVR [10] for modeling goals and norms.…”

Section: Introductionmentioning

confidence: 99%

“…This section introduces the theoretical background of the paper. In particular, it is organized in four parts: the first one presents the features making multi-agent systems more suitable for implementing smart environments; the second one introduces two modeling languages (GoalSpec [9] and SBVR [10]) we use for modeling goals and norms for specifying functionalities and setting regulations the smart environment has to own. The third one provides an overview of MUSA [11], a multi-agent system for the dynamic composition and the orchestration of services in a distributed and open environment we adopt for implementing the functionality of the smart environment.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Run-time Injection of Norms in Simulated Smart Environments

Ribino

Lodato

Cavaleri

et al. 2016

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Abstract-Smart systems have to deal with environmental changes and react for adapting their behavior to changes in the operating conditions, so to always meet users' expectations. This is fundamental for those systems operating in open environments that may change frequently. Smart environments are complex systems that more than others are affected by these issues. In this paper, we propose a normative framework for regulating at run-time system behavior when some situations occur, thus providing system flexibility. The proposed approach includes also mechanisms to identify anomalous situations that can occur in the system due to the run-time injection of new norms.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Run-time Injection of Norms in Simulated Smart Environments

Ribino

Lodato

Cavaleri

et al. 2016

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…Examples of goals for the smart travel agency: The WHEN reserved word is used for specifying an external event (in the example it introduces the goal triggering condition clause), whereas the SHALL PRODUCE reserved words specifies the final state of the world that is desired by the user. More details about this specification language are given in [22].…”

Section: Definition 3 (Goal)mentioning

confidence: 99%

“…The user will interact with the smart travel through a web page for specifying her preferences (dates, places to visit, events to assist, and other interests). The web page converts user-data into a set of goals in an ad-hoc language called GoalSPEC [22]. Goals are injected into the MUSA running system that interprets them and uses them as directives for a planning phase.…”

Section: Capability For Hotels Capability For Flightsmentioning

confidence: 99%

“…In MUSA the goal may be injected at run-time by using GoalSPEC see [22], a goal specification language that integrates a subset of natural language and first-order predicates. Examples of goals for the smart travel agency: The WHEN reserved word is used for specifying an external event (in the example it introduces the goal triggering condition clause), whereas the SHALL PRODUCE reserved words specifies the final state of the world that is desired by the user.…”

Section: Definition 3 (Goal)mentioning

confidence: 99%

See 1 more Smart Citation