AHCI RESEARCH GROUP
Publications
Papers published in international journals,
proceedings of conferences, workshops and books.
OUR RESEARCH
Scientific Publications
How to
Here you can find the complete list of our publications.
You can use the tag cloud to select only the papers dealing with specific research topics.
You can expand the Abstract, Links and BibTex record for each paper.
You can use the tag cloud to select only the papers dealing with specific research topics.
You can expand the Abstract, Links and BibTex record for each paper.
2021
Sabatucci, Luca
MonteCarlo Tree Search with Goal-Based Heuristic Proceedings Article
In: The First Online Workshop of the UK Planning & Scheduling Special Interest Group, UK, 2021.
Abstract | Links | BibTeX | Tags: Goal-Oriented Approach, Monte Carlo Search, Partial goal satisfaction, Self-Adaptive Systems
@inproceedings{sabatucciSabatucciMonteCarlo2021,
title = {MonteCarlo Tree Search with Goal-Based Heuristic},
author = { Luca Sabatucci},
url = {https://plansig2020.files.wordpress.com/2020/12/plansig_2020_paper_7.pdf},
year = {2021},
date = {2021-10-01},
urldate = {2021-10-01},
booktitle = {The First Online Workshop of the UK Planning & Scheduling Special Interest Group},
address = {UK},
abstract = {The use of a domain-driven symbolic planner may provide interesting performances, even with the most challenging planning domain. However, sometimes a domain utility-function to be maximized does not exist: there are cases in which creating such a function is difficult and error-prone. This paper investigates an alternative approach to afford deterministic planning when no utility-functions are available. In cases like these, classical planning may provide bad performances. The use of a MonteCarlo approach, in conjunction with a goal-based heuristic, has given promising results.},
keywords = {Goal-Oriented Approach, Monte Carlo Search, Partial goal satisfaction, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The use of a domain-driven symbolic planner may provide interesting performances, even with the most challenging planning domain. However, sometimes a domain utility-function to be maximized does not exist: there are cases in which creating such a function is difficult and error-prone. This paper investigates an alternative approach to afford deterministic planning when no utility-functions are available. In cases like these, classical planning may provide bad performances. The use of a MonteCarlo approach, in conjunction with a goal-based heuristic, has given promising results.
2020
Cossentino, Massimo; Lopes, Salvatore; Sabatucci, Luca
Goal-Driven Adaptation of MOISE Organizations for Workflow Enactment Proceedings Article
In: Proceedings of the 8th International Workshop on Engineering Multi-agent Systems (EMAS 2020). National Research Council of Italy, 2020.
Abstract | Links | BibTeX | Tags: Agent organisations, Dynamic workflow, Goal-Oriented Approach, Self-Adaptive Systems
@inproceedings{cossentinoGoaldrivenAdaptationMOISE2020,
title = {Goal-Driven Adaptation of MOISE Organizations for Workflow Enactment},
author = { Massimo Cossentino and Salvatore Lopes and Luca Sabatucci},
doi = {10.1007/978-3-030-34914-1_31},
year = {2020},
date = {2020-01-01},
booktitle = {Proceedings of the 8th International Workshop on Engineering Multi-agent Systems (EMAS 2020). National Research Council of Italy},
abstract = {The enactment of dynamic workflows may take advantage of the multi-agent system paradigm. The approach presented in this paper allows exploiting a high-level BPMN definition to generate several agent organisations that can enact the BPMN workflow. The availability of different solutions (i.e. organisations) enables the optimisation and adaptation features of the approach. The mapping of the initial workflow to organisations starts with the automatic generation of goals from the BPMN, and it exploits a metamodeling approach to generate MOISE organisation definitions.},
keywords = {Agent organisations, Dynamic workflow, Goal-Oriented Approach, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The enactment of dynamic workflows may take advantage of the multi-agent system paradigm. The approach presented in this paper allows exploiting a high-level BPMN definition to generate several agent organisations that can enact the BPMN workflow. The availability of different solutions (i.e. organisations) enables the optimisation and adaptation features of the approach. The mapping of the initial workflow to organisations starts with the automatic generation of goals from the BPMN, and it exploits a metamodeling approach to generate MOISE organisation definitions.
Cossentino, Massimo; Lopes, Salvatore; Renda, Giovanni; Sabatucci, Luca; Zaffora, Flavia
Smartness and Autonomy for Shipboard Power Systems Reconfiguration Proceedings Article
In: Modelling and Simulation for Autonomous Systems: 6th International Conference, MESAS 2019, Palermo, Italy, October 29– 31, 2019, Revised Selected Papers 6, pp. 317–333, Springer International Publishing, 2020.
Abstract | Links | BibTeX | Tags: Adaptive fault management, Partial reconfiguration, Self-Adaptive Systems, Shipboard power system
@inproceedings{cossentinoSmartnessAutonomyShipboard2020,
title = {Smartness and Autonomy for Shipboard Power Systems Reconfiguration},
author = { Massimo Cossentino and Salvatore Lopes and Giovanni Renda and Luca Sabatucci and Flavia Zaffora},
doi = {10.1007/978-3-030-43890-6_26},
year = {2020},
date = {2020-01-01},
booktitle = {Modelling and Simulation for Autonomous Systems: 6th International Conference, MESAS 2019, Palermo, Italy, October 29– 31, 2019, Revised Selected Papers 6},
pages = {317--333},
publisher = {Springer International Publishing},
abstract = {Smart Ships represent the next generation of ships that use ICT to connect all the devices on board for integrated monitoring and safety management. In such a context, the Shipboard Power System (SPS) is critical to the survival and safety of the ship because many accidents are due to electrical failures. The SPS reconfiguration consists of a variation of the electrical topology to supply energy to critical services successfully. The proposed reconfiguration procedure uses an autonomous and mission-oriented approach, and it employs a generic-purpose self-adaptive Fault Management System. It delivers a set of possible runtime solutions that properly consider the current ship mission and operating scenario while dealing with multiple failures. Solutions, achieving a partial reconfiguration of the system, are considered when a full recovery strategy is not available according to the current ship conditions.},
keywords = {Adaptive fault management, Partial reconfiguration, Self-Adaptive Systems, Shipboard power system},
pubstate = {published},
tppubtype = {inproceedings}
}
Smart Ships represent the next generation of ships that use ICT to connect all the devices on board for integrated monitoring and safety management. In such a context, the Shipboard Power System (SPS) is critical to the survival and safety of the ship because many accidents are due to electrical failures. The SPS reconfiguration consists of a variation of the electrical topology to supply energy to critical services successfully. The proposed reconfiguration procedure uses an autonomous and mission-oriented approach, and it employs a generic-purpose self-adaptive Fault Management System. It delivers a set of possible runtime solutions that properly consider the current ship mission and operating scenario while dealing with multiple failures. Solutions, achieving a partial reconfiguration of the system, are considered when a full recovery strategy is not available according to the current ship conditions.
Cossentino, Massimo; Lopes, Salvatore; Sabatucci, Luca
A Tool for the Automatic Generation of MOISE Organisations From BPMN. Proceedings Article
In: WOA, pp. 69, 2020.
Abstract | BibTeX | Tags: BPMN, Business Process, Multi agent systems, Self-Adaptive Systems
@inproceedings{cossentinoToolAutomaticGeneration2020,
title = {A Tool for the Automatic Generation of MOISE Organisations From BPMN.},
author = { Massimo Cossentino and Salvatore Lopes and Luca Sabatucci},
year = {2020},
date = {2020-01-01},
booktitle = {WOA},
volume = {1613},
pages = {69},
abstract = {Multi-agent systems proved successful in enacting business processes because of their inner properties (distribution of tasks, collaboration and coordination among agents). MAS adoption in enacting processes becomes even more interesting if they exhibit adaptation capabilities. The proposed approach consists in the automatic generation of a MOISE organisation from the BPMN specification of a business process. This organisation is conceived to support adaptation because of the possibility to adapt its configuration at runtime according to emerging needs. Here, we focus on the tool for processing BPMN specification and generating MOISE organization code.},
keywords = {BPMN, Business Process, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Multi-agent systems proved successful in enacting business processes because of their inner properties (distribution of tasks, collaboration and coordination among agents). MAS adoption in enacting processes becomes even more interesting if they exhibit adaptation capabilities. The proposed approach consists in the automatic generation of a MOISE organisation from the BPMN specification of a business process. This organisation is conceived to support adaptation because of the possibility to adapt its configuration at runtime according to emerging needs. Here, we focus on the tool for processing BPMN specification and generating MOISE organization code.
2019
Cossentino, Massimo; Sabatucci, Luca; Seidita, Valeria
Engineering Self-adaptive Systems: From Experiences with MUSA to a General Design Process Proceedings Article
In: Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers 6, pp. 96–116, Springer International Publishing, 2019.
Abstract | Links | BibTeX | Tags: Continuous change, Design Process, Retrospective analysis, Self-Adaptive Systems
@inproceedings{cossentinoEngineeringSelfadaptiveSystems2019,
title = {Engineering Self-adaptive Systems: From Experiences with MUSA to a General Design Process},
author = { Massimo Cossentino and Luca Sabatucci and Valeria Seidita},
doi = {10.1007/978-3-030-25693-7_6},
year = {2019},
date = {2019-01-01},
booktitle = {Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers 6},
pages = {96--116},
publisher = {Springer International Publishing},
abstract = {Designing and developing complex self-adaptive systems require design processes having specific features fitting and representing the complexity of these systems. Changing requirements, users' needs and dynamic environment have to be taken in consideration, also con- sidering that, due of the self-adaptive nature of the system, the solution is not fixed at design time but it is a run-time outcome. Traditional design approach and life cycles are not suitable to design software sys- tems where requirements continuously change at runtime. A new design process paradigm is needed to design such systems. In this Chapter, we present a retrospective analysis based on three projects developed in the last five years with the middleware MUSA in order to identify specific features of the design process for supporting continuous change and self-adaptation. The result is a general approach allowing to reduce the gap between design time and run-time.},
keywords = {Continuous change, Design Process, Retrospective analysis, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Designing and developing complex self-adaptive systems require design processes having specific features fitting and representing the complexity of these systems. Changing requirements, users' needs and dynamic environment have to be taken in consideration, also con- sidering that, due of the self-adaptive nature of the system, the solution is not fixed at design time but it is a run-time outcome. Traditional design approach and life cycles are not suitable to design software sys- tems where requirements continuously change at runtime. A new design process paradigm is needed to design such systems. In this Chapter, we present a retrospective analysis based on three projects developed in the last five years with the middleware MUSA in order to identify specific features of the design process for supporting continuous change and self-adaptation. The result is a general approach allowing to reduce the gap between design time and run-time.
Cossentino, Massimo; Sabatucci, Luca; Lopes, Salvatore
Partial and Full Goal Satisfaction in the MUSA Middleware Proceedings Article
In: Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6– 7, 2018, Revised Selected Papers 16, pp. 15–29, Springer International Publishing, 2019.
Abstract | Links | BibTeX | Tags: Multi agent systems, Partial goal satisfaction, Self-Adaptive Systems
@inproceedings{cossentinoPartialFullGoal2019,
title = {Partial and Full Goal Satisfaction in the MUSA Middleware},
author = { Massimo Cossentino and Luca Sabatucci and Salvatore Lopes},
doi = {10.1007/978-3-030-14174-5_2},
year = {2019},
date = {2019-01-01},
booktitle = {Multi-Agent Systems: 16th European Conference, EUMAS 2018, Bergen, Norway, December 6– 7, 2018, Revised Selected Papers 16},
pages = {15--29},
publisher = {Springer International Publishing},
abstract = {Classical goal-based reasoning frameworks for agents sup- pose goals are either achieved fully or not achieved at all: unless achieved completely, the agents have failed to address them. This behavior is dif- ferent from how people do and therefore is far from real-world scenarios: in every moment a goal has reached a certain level of satisfaction. This work proposes to extend the classical boolean definition of goal achievement by adopting a novel approach, the Distance to Goal Satis- faction, a metric to measure the distance to the full satisfaction of a logic formula. In this paper we defined and implemented this metric; subsequently, we extended MUSA, a self-adaptive middleware used to engineer a het- erogeneous range of applications. This extension allows solving real sit- uations in which the full achievement represented a limitation.},
keywords = {Multi agent systems, Partial goal satisfaction, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Classical goal-based reasoning frameworks for agents sup- pose goals are either achieved fully or not achieved at all: unless achieved completely, the agents have failed to address them. This behavior is dif- ferent from how people do and therefore is far from real-world scenarios: in every moment a goal has reached a certain level of satisfaction. This work proposes to extend the classical boolean definition of goal achievement by adopting a novel approach, the Distance to Goal Satis- faction, a metric to measure the distance to the full satisfaction of a logic formula. In this paper we defined and implemented this metric; subsequently, we extended MUSA, a self-adaptive middleware used to engineer a het- erogeneous range of applications. This extension allows solving real sit- uations in which the full achievement represented a limitation.
Cossentino, Massimo; Sabatucci, Luca; Zaffora, Flavia
Safety Management in Smart Ships Proceedings Article
In: Internet and Distributed Computing Systems: 12th International Conference, IDCS 2019, Naples, Italy, October 10– 12, 2019, Proceedings 12, pp. 328–337, Springer International Publishing, 2019.
Abstract | Links | BibTeX | Tags: Multi-Paradigm, Self-Adaptive Systems, Shipboard power system, Smart Ship Safety, System of Systems
@inproceedings{cossentinoSafetyManagementSmart2019,
title = {Safety Management in Smart Ships},
author = { Massimo Cossentino and Luca Sabatucci and Flavia Zaffora},
doi = {10.1007/978-3-030-34914-1_31},
year = {2019},
date = {2019-01-01},
booktitle = {Internet and Distributed Computing Systems: 12th International Conference, IDCS 2019, Naples, Italy, October 10– 12, 2019, Proceedings 12},
pages = {328--337},
publisher = {Springer International Publishing},
abstract = {Smart Ships represent the next-generation of ships and they use ICT to connect all the devices on board to support integrated monitoring and safe management. In such cyber-physical systems, software has the responsibility of bridging the physical components and creating smart functions. Safety is a critical concern in such kind of systems whose malfunctioning may result in damage to equipment and injury to people. In this paper, we deal with this aspect, by identifying two interconnected sub-systems: shipboard power system and emergency management. The proposed architecture is developed through the H-entity multi-paradigm approach, in which heterogeneous technologies are interconnected. We propose to extend the MOISE+ organisational model to deal with systems of H-entities.},
keywords = {Multi-Paradigm, Self-Adaptive Systems, Shipboard power system, Smart Ship Safety, System of Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Smart Ships represent the next-generation of ships and they use ICT to connect all the devices on board to support integrated monitoring and safe management. In such cyber-physical systems, software has the responsibility of bridging the physical components and creating smart functions. Safety is a critical concern in such kind of systems whose malfunctioning may result in damage to equipment and injury to people. In this paper, we deal with this aspect, by identifying two interconnected sub-systems: shipboard power system and emergency management. The proposed architecture is developed through the H-entity multi-paradigm approach, in which heterogeneous technologies are interconnected. We propose to extend the MOISE+ organisational model to deal with systems of H-entities.
Sabatucci, Luca; Cossentino, Massimo
Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN Journal Article
In: ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 14, no. 2, pp. 1–38, 2019.
Abstract | Links | BibTeX | Tags: Automatic extraction, Business Process, Dynamic workflow, Goals, Self-Adaptive Systems
@article{sabatucciSupportingDynamicWorkflows2019,
title = {Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMN},
author = { Luca Sabatucci and Massimo Cossentino},
doi = {10.1145/3355488},
year = {2019},
date = {2019-01-01},
journal = {ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
volume = {14},
number = {2},
pages = {1--38},
abstract = {Organizations willing to employ workflow technology have to be prepared to undertake a significant investment of time and effort due to the exceptional dynamic nature of the business environment. Today, it is unlikely that processes are modeled once to be repeatedly executed without any changes. Goal-oriented dynamic workflows are a promising approach to provide flexibility to the execution of business processes. Many goal-oriented frameworks exist in literature to be used for the purpose. However, modeling goals is a burden for the business analyst. This work proposes an automatic approach for extracting goals from a business process for supporting adaptive workflows. The approach consists of a static analysis of the global workflow state. Goals derive from individual BPMN elements and their interactions. For validating the theory, we developed the BPMN2Goals tool, which has been used for supporting a middleware for self-adaptation.},
keywords = {Automatic extraction, Business Process, Dynamic workflow, Goals, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {article}
}
Organizations willing to employ workflow technology have to be prepared to undertake a significant investment of time and effort due to the exceptional dynamic nature of the business environment. Today, it is unlikely that processes are modeled once to be repeatedly executed without any changes. Goal-oriented dynamic workflows are a promising approach to provide flexibility to the execution of business processes. Many goal-oriented frameworks exist in literature to be used for the purpose. However, modeling goals is a burden for the business analyst. This work proposes an automatic approach for extracting goals from a business process for supporting adaptive workflows. The approach consists of a static analysis of the global workflow state. Goals derive from individual BPMN elements and their interactions. For validating the theory, we developed the BPMN2Goals tool, which has been used for supporting a middleware for self-adaptation.
2018
Sabatucci, Luca; Seidita, Valeria; Cossentino, Massimo
The Four Types of Self-Adaptive Systems: A Metamodel Proceedings Article
In: Intelligent Interactive Multimedia Systems and Services 2017 10, pp. 440–450, Springer International Publishing, 2018.
Abstract | Links | BibTeX | Tags: Metamodel, Self-Adaptive Systems
@inproceedings{sabatucciFourTypesSelfadaptive2018,
title = {The Four Types of Self-Adaptive Systems: A Metamodel},
author = { Luca Sabatucci and Valeria Seidita and Massimo Cossentino},
doi = {10.1007/978-3-319-59480-4_44},
year = {2018},
date = {2018-01-01},
booktitle = {Intelligent Interactive Multimedia Systems and Services 2017 10},
pages = {440--450},
publisher = {Springer International Publishing},
abstract = {The basic ideas of self-adaptive systems are not a novelty in computer science. There are plenty of systems that are able of monitoring their operative context to take run-time decisions. However, more recently a new research discipline is trying to provide a common framework for collecting theory, methods, middlewares, algorithms and tools for engineering such software systems. The aim is to collect and classify existing approaches, coming from many different research areas. The objective of this work is providing a unified metamodel for describing the various categories of adaptation.},
keywords = {Metamodel, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The basic ideas of self-adaptive systems are not a novelty in computer science. There are plenty of systems that are able of monitoring their operative context to take run-time decisions. However, more recently a new research discipline is trying to provide a common framework for collecting theory, methods, middlewares, algorithms and tools for engineering such software systems. The aim is to collect and classify existing approaches, coming from many different research areas. The objective of this work is providing a unified metamodel for describing the various categories of adaptation.
Sabatucci, Luca; Lopes, Salvatore; Cossentino, Massimo
MUSA 2.0: A Distributed and Scalable Middleware for User-Driven Service Adaptation Proceedings Article
In: Intelligent Interactive Multimedia Systems and Services 2017 10, pp. 492–501, Springer International Publishing, 2018.
Abstract | Links | BibTeX | Tags: Middleware, Multi agent systems, Self-Adaptive Systems
@inproceedings{sabatucciMUSADistributedScalable2018,
title = {MUSA 2.0: A Distributed and Scalable Middleware for User-Driven Service Adaptation},
author = { Luca Sabatucci and Salvatore Lopes and Massimo Cossentino},
doi = {10.1007/978-3-319-59480-4_49},
year = {2018},
date = {2018-01-01},
booktitle = {Intelligent Interactive Multimedia Systems and Services 2017 10},
pages = {492--501},
publisher = {Springer International Publishing},
abstract = {MUSA is an agent-based middleware for user-driven self-adaptation. It is based on the separation of concerns between user's goals and system's capabilities. This work analyses some architectural problems of the current implementation and illustrates a new architecture based on the agents and artifacts paradigm. textcopyright Springer International Publishing AG 2018.},
keywords = {Middleware, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
MUSA is an agent-based middleware for user-driven self-adaptation. It is based on the separation of concerns between user's goals and system's capabilities. This work analyses some architectural problems of the current implementation and illustrates a new architecture based on the agents and artifacts paradigm. textcopyright Springer International Publishing AG 2018.
Sabatucci, Luca; Cossentino, Massimo; Lopes, Salvatore
Self-Adaptive Reconfigurations of Shipboard Power Systems. Proceedings Article
In: WOA, pp. 103–108, 2018.
Abstract | BibTeX | Tags: Matlab/Simulink simulation, Self-Adaptive Systems, Shipboard power system
@inproceedings{sabatucciSelfAdaptiveReconfigurationsShipboard2018,
title = {Self-Adaptive Reconfigurations of Shipboard Power Systems.},
author = { Luca Sabatucci and Massimo Cossentino and Salvatore Lopes},
year = {2018},
date = {2018-01-01},
booktitle = {WOA},
pages = {103--108},
abstract = {The functioning of the Shipboard Power System (SPS) is critical to the survival and safety of the ship because many accidents occurring during ship navigation are often due to electrical failures. In smart vessels, the SPS reconfiguration consists of a variation of the electrical topology to successfully supply energy to critical services. The proposed reconfiguration procedure uses a distributed and mission-oriented approach, and it employs a generic-purpose self-adaptive middleware (MUSA). MUSA has been customized to dynamically reconfigure an SPS in case of failures or unexpected events. It allows obtaining a runtime solution that properly considers ships mission and current scenario. We also implemented an experimental setup including a Matlab/Simulink simulation of a case study from literature.},
keywords = {Matlab/Simulink simulation, Self-Adaptive Systems, Shipboard power system},
pubstate = {published},
tppubtype = {inproceedings}
}
The functioning of the Shipboard Power System (SPS) is critical to the survival and safety of the ship because many accidents occurring during ship navigation are often due to electrical failures. In smart vessels, the SPS reconfiguration consists of a variation of the electrical topology to successfully supply energy to critical services. The proposed reconfiguration procedure uses a distributed and mission-oriented approach, and it employs a generic-purpose self-adaptive middleware (MUSA). MUSA has been customized to dynamically reconfigure an SPS in case of failures or unexpected events. It allows obtaining a runtime solution that properly considers ships mission and current scenario. We also implemented an experimental setup including a Matlab/Simulink simulation of a case study from literature.
Sabatucci, Luca; Cossentino, Massimo; Simone, Giada De; Lopes, Salvatore
Self-Reconfiguration of Shipboard Power Systems Proceedings Article
In: 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W), pp. 124–129, IEEE, 2018.
Abstract | Links | BibTeX | Tags: Self-Adaptive Systems, Shipboard power system
@inproceedings{sabatucciSelfreconfigurationShipboardPower2018,
title = {Self-Reconfiguration of Shipboard Power Systems},
author = { Luca Sabatucci and Massimo Cossentino and Giada De Simone and Salvatore Lopes},
doi = {10.1109/FAS-W.2018.00036},
year = {2018},
date = {2018-01-01},
booktitle = {2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS* W)},
pages = {124--129},
publisher = {IEEE},
abstract = {The Shipboard Power System (SPS) is the element of a ship that is responsible for supplying energy to vessel operations. This component is critical to the survival and safety of the ship because many accidents may occur during ship navigation are often due to electrical failures. The SPS manages the electrical topology to successfully supply energy to the several onboard components. The proposed reconfiguration architecture uses a distributed and mission-oriented approach based on a generic-purpose self-adaptive middleware (MUSA). This paper illustrates how MUSA has been customized to dynamically reconfigure the electrical circuit of a vessel. In case of failures or unexpected events, it generates at run-time several possible solutions that properly considers ship's mission and the current scenario. The solution also includes a Matlab/Simulink simulator to validate the solution. textcopyright Copyright 2018 for the individual papers by the papers' authors.},
keywords = {Self-Adaptive Systems, Shipboard power system},
pubstate = {published},
tppubtype = {inproceedings}
}
The Shipboard Power System (SPS) is the element of a ship that is responsible for supplying energy to vessel operations. This component is critical to the survival and safety of the ship because many accidents may occur during ship navigation are often due to electrical failures. The SPS manages the electrical topology to successfully supply energy to the several onboard components. The proposed reconfiguration architecture uses a distributed and mission-oriented approach based on a generic-purpose self-adaptive middleware (MUSA). This paper illustrates how MUSA has been customized to dynamically reconfigure the electrical circuit of a vessel. In case of failures or unexpected events, it generates at run-time several possible solutions that properly considers ship's mission and the current scenario. The solution also includes a Matlab/Simulink simulator to validate the solution. textcopyright Copyright 2018 for the individual papers by the papers' authors.
Sabatucci, Luca; Simone, Giada De; Cossentino, Massimo
Shipboard Power System Reconfiguration: A Self-Adaptation Exemplar Proceedings Article
In: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, pp. 49–52, 2018.
Abstract | Links | BibTeX | Tags: Benchmark, Self-Adaptive Systems, Shipboard power system
@inproceedings{sabatucciShipboardPowerSystem2018,
title = {Shipboard Power System Reconfiguration: A Self-Adaptation Exemplar},
author = { Luca Sabatucci and Giada De Simone and Massimo Cossentino},
doi = {10.1145/3196478.3196486},
year = {2018},
date = {2018-01-01},
booktitle = {Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems},
pages = {49--52},
abstract = {The Shipboard Power System (SPS) is the component responsible for granting energy to navigation, communication, and operational systems. The SPS Reconfiguration is the ability to react to electrical failure and to restore critical operations for granting vessel survivability. This work illustrate why SPS Reconfiguration software system may be implemented as a self-adaptive system. To illustrate this relation we exploit a systematic classification of SPS reconfiguration methods, by highlighting terms and attributes related to self-adaptive systems. In particular, the research method considers four types of self-adaptation systems with different degrees of autonomy and proactivity. The corresponding data analysis highlights a strong correlation between SPS Reconfiguration and Self-Adaptive systems, revealing most of the SPS reconfiguration techniques found in literature often belong to three of the four types of adaptation. The outcome of the paper is proposing SPS as an interesting benchmark for comparing self-adaptive approaches, also highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications.},
keywords = {Benchmark, Self-Adaptive Systems, Shipboard power system},
pubstate = {published},
tppubtype = {inproceedings}
}
The Shipboard Power System (SPS) is the component responsible for granting energy to navigation, communication, and operational systems. The SPS Reconfiguration is the ability to react to electrical failure and to restore critical operations for granting vessel survivability. This work illustrate why SPS Reconfiguration software system may be implemented as a self-adaptive system. To illustrate this relation we exploit a systematic classification of SPS reconfiguration methods, by highlighting terms and attributes related to self-adaptive systems. In particular, the research method considers four types of self-adaptation systems with different degrees of autonomy and proactivity. The corresponding data analysis highlights a strong correlation between SPS Reconfiguration and Self-Adaptive systems, revealing most of the SPS reconfiguration techniques found in literature often belong to three of the four types of adaptation. The outcome of the paper is proposing SPS as an interesting benchmark for comparing self-adaptive approaches, also highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications.
2017
Agnello, Luca; Cossentino, Massimo; Simone, Giada De; Sabatucci, Luca
A Self-Adaptation Exemplar: The Shipboard Power System Reconfiguration Problem. Proceedings Article
In: WOA, pp. 96–101, 2017.
Abstract | BibTeX | Tags: Adaptive control system, Self-Adaptive Systems, Shipboard power system
@inproceedings{agnelloSelfAdaptationExemplarShipboard2017,
title = {A Self-Adaptation Exemplar: The Shipboard Power System Reconfiguration Problem.},
author = { Luca Agnello and Massimo Cossentino and Giada De Simone and Luca Sabatucci},
year = {2017},
date = {2017-01-01},
booktitle = {WOA},
pages = {96--101},
abstract = {In a vessel, the Shipboard Power System (SPS) is responsible for supplying energy to various services, such as navigation and communication. A research topic is the reconfiguration of the electrical scheme in case of either failure or damage. Indeed, after a fault, the software control system must ensure the ship's survival. In a couple of earlier studies, we: (i) analyzed the relation between the electrical schema and the software control system and (ii) identified many common characteristics between the SPS problem and Self-Adaptive Systems domain. In particular, a systematic classification of the approaches for reconfiguration highlighted the need of environment monitors, decision-making procedures and a feedback loop among the others. The purpose of this paper is to frame the SPS reconfiguration as a self-adaptive exemplar by highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications. The exemplar may serve for a twofold aim: (i) the SPS may be a new field to compare self-adaptive procedures, and, on the other side, novel self-adaptive approaches may improve the state-of-the-art in SPS reconfiguration},
keywords = {Adaptive control system, Self-Adaptive Systems, Shipboard power system},
pubstate = {published},
tppubtype = {inproceedings}
}
In a vessel, the Shipboard Power System (SPS) is responsible for supplying energy to various services, such as navigation and communication. A research topic is the reconfiguration of the electrical scheme in case of either failure or damage. Indeed, after a fault, the software control system must ensure the ship's survival. In a couple of earlier studies, we: (i) analyzed the relation between the electrical schema and the software control system and (ii) identified many common characteristics between the SPS problem and Self-Adaptive Systems domain. In particular, a systematic classification of the approaches for reconfiguration highlighted the need of environment monitors, decision-making procedures and a feedback loop among the others. The purpose of this paper is to frame the SPS reconfiguration as a self-adaptive exemplar by highlighting scenarios, tasks, norms goals and quality aspects with the support of the IEEE specifications. The exemplar may serve for a twofold aim: (i) the SPS may be a new field to compare self-adaptive procedures, and, on the other side, novel self-adaptive approaches may improve the state-of-the-art in SPS reconfiguration
Cossentino, Massimo; Sabatucci, Luca; Seidita, Valeria
Towards an Approach for Engineering Complex Systems: Agents and Agility. Proceedings Article
In: WOA, pp. 1–6, 2017.
Abstract | BibTeX | Tags: Agile Development, Cyber-Physical Systems, Multi agent systems, Self-Adaptive Systems
@inproceedings{cossentinoApproachEngineeringComplex2017,
title = {Towards an Approach for Engineering Complex Systems: Agents and Agility.},
author = { Massimo Cossentino and Luca Sabatucci and Valeria Seidita},
year = {2017},
date = {2017-01-01},
booktitle = {WOA},
pages = {1--6},
abstract = {The way in which we use and conceive modern software systems is changing. Humans/users are becoming more and more immersed in today complex systems operation, systems interact in a dynamic fashion with the users and with changing and dynamic environments. New design paradigms are necessary. In this paper we propose a first insight to engineering complex physical systems by employing agility and a framework for self-adaptive service composition.},
keywords = {Agile Development, Cyber-Physical Systems, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The way in which we use and conceive modern software systems is changing. Humans/users are becoming more and more immersed in today complex systems operation, systems interact in a dynamic fashion with the users and with changing and dynamic environments. New design paradigms are necessary. In this paper we propose a first insight to engineering complex physical systems by employing agility and a framework for self-adaptive service composition.
Sabatucci, Luca; Cossentino, Massimo
Self-Adaptive Smart Spaces by Proactive Means– End Reasoning Journal Article
In: Journal of Reliable Intelligent Environments, vol. 3, pp. 159–175, 2017.
Abstract | Links | BibTeX | Tags: Architecture, Health care application, Self-Adaptive Systems, Smart Environment
@article{sabatucciSelfadaptiveSmartSpaces2017,
title = {Self-Adaptive Smart Spaces by Proactive Means– End Reasoning},
author = { Luca Sabatucci and Massimo Cossentino},
doi = {10.1007/s40860-017-0047-9},
year = {2017},
date = {2017-01-01},
journal = {Journal of Reliable Intelligent Environments},
volume = {3},
pages = {159--175},
abstract = {The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.},
keywords = {Architecture, Health care application, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {article}
}
The ability of a system to change its behavior at run-time is one of the foundations for engineering intelligent environments. The vision of computing systems that can manage themselves is fascinating, but to date, it presents many intellectual challenges to face. Run-time goal-model artifacts represent a typical approach to communicate requirements to the system and open new directions for dealing with self-adaptation. This paper presents a theoretical framework and a general architecture for engineering self-adaptive smart spaces by breaking out some design-time constraints between goals and tasks. The architecture supports software evolution because goals may be changed during the application lifecycle. The architecture is responsible for configuring its components as the result of a decision-making algorithm working at the knowledge level. The approach is specifically suitable for developing smart space systems, promoting scalability and reusability. The proposed architecture is evaluated through the execution of a set of randomized stress tests.
Sabatucci, Luca; Lopes, Salvatore; Cossentino, Massimo
Self-Configuring Cloud Application Mashup with Goals and Capabilities Journal Article
In: Cluster Computing, vol. 20, no. 3, pp. 2047–2063, 2017.
Abstract | Links | BibTeX | Tags: Business Process, Cloud computing, Goal-Oriented Approach, Self-Adaptive Systems, Self-Configuration, Software engineering
@article{sabatucciSelfconfiguringCloudApplication2017,
title = {Self-Configuring Cloud Application Mashup with Goals and Capabilities},
author = { Luca Sabatucci and Salvatore Lopes and Massimo Cossentino},
doi = {10.1007/s10586-017-0911-7},
year = {2017},
date = {2017-01-01},
journal = {Cluster Computing},
volume = {20},
number = {3},
pages = {2047--2063},
abstract = {Cloud mashup is a technique for the seamless composition of SaaS applications from several sources into a single integrated solution. This paper presents a general approach for automatically composing applications and services deployed over the Cloud. The proposed approach implies to encapsulate distributed processes into smart and autonomic entities, namely cloud capabilities. Despite the lack of a central mashup server, these processes are able to autonomously organize in order to establish different ways to address the desired result. The approach uses a couple of languages for describing respectively the mashup logic in terms of goals and the available functionalities in terms of capabilities. The explicit decoupling between user's goals and capabilities provides the system the freedom to generate the orchestration plan at run-time, according to the contextual state. An industrial case study, conducted in for a scientific project, has provided the conditions for evaluating the running example of a B2B business process for a fashion enterprise.},
keywords = {Business Process, Cloud computing, Goal-Oriented Approach, Self-Adaptive Systems, Self-Configuration, Software engineering},
pubstate = {published},
tppubtype = {article}
}
Cloud mashup is a technique for the seamless composition of SaaS applications from several sources into a single integrated solution. This paper presents a general approach for automatically composing applications and services deployed over the Cloud. The proposed approach implies to encapsulate distributed processes into smart and autonomic entities, namely cloud capabilities. Despite the lack of a central mashup server, these processes are able to autonomously organize in order to establish different ways to address the desired result. The approach uses a couple of languages for describing respectively the mashup logic in terms of goals and the available functionalities in terms of capabilities. The explicit decoupling between user's goals and capabilities provides the system the freedom to generate the orchestration plan at run-time, according to the contextual state. An industrial case study, conducted in for a scientific project, has provided the conditions for evaluating the running example of a B2B business process for a fashion enterprise.
2016
Cabri, Giacomo; Cossentino, Massimo; Denti, Enrico; Giorgini, Paolo; Molesini, Ambra; Mordonini, Monica; Tomaiuolo, Michele; Sabatucci, Luca
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces Proceedings Article
In: 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 3–8, IEEE, 2016.
Abstract | Links | BibTeX | Tags: Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment
@inproceedings{cabriIntegratedPlatformAdaptive2016,
title = {Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces},
author = { Giacomo Cabri and Massimo Cossentino and Enrico Denti and Paolo Giorgini and Ambra Molesini and Monica Mordonini and Michele Tomaiuolo and Luca Sabatucci},
doi = {10.1109/WETICE.2016.11},
year = {2016},
date = {2016-01-01},
booktitle = {2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)},
pages = {3--8},
publisher = {IEEE},
abstract = {The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.},
keywords = {Analysis techniques, Integration frameworks, Self-Adaptive Systems, Smart Environment},
pubstate = {published},
tppubtype = {inproceedings}
}
The widespread availability of mobile devices equipped with sensors on board is strongly pushing towards the development of smart spaces - offices, streets, hospital, airports, homes and shops equipped with sensing systems to help people find relevant information quickly and use services comfortably, often in a collaborative way. A common aspect in these scenarios is that the technology complexity is amplified by the organisational and procedural complexity of the application domain: this is in fact typical of socio-technical systems - kinds of systems that inherently need to be conceived, designed and developed taking into account both the technological and the human/organisational aspects from the earliest stages. In this paper, we select and discuss some challenges in the definition and development of adaptive socio-technical systems for smart spaces, the selected challenges aim at focusing in particular on (i) a socio-technical model and process, (ii) a multi-level integration framework, and (iii) methods and system analysis techniques for runtime adaptation. In fact, designing such systems requires the suitable combination of enabling technologies into an operational framework, integrating and coordinating a multiplicity of processes managed by complex organisations, each made up of independent and autonomous units.
Sabatucci, Luca; Cavaleri, Antonella; Cossentino, Massimo
Adopting a Middleware for Self-Adaptation in the Development of a Smart Travel System Proceedings Article
In: Intelligent Interactive Multimedia Systems and Services 2016, pp. 671–681, Springer International Publishing, 2016.
Abstract | Links | BibTeX | Tags: Automatic service composition, Interactive computer system, Self-Adaptive Systems, Self-Configuration
@inproceedings{sabatucciAdoptingMiddlewareSelfadaptation2016,
title = {Adopting a Middleware for Self-Adaptation in the Development of a Smart Travel System},
author = { Luca Sabatucci and Antonella Cavaleri and Massimo Cossentino},
doi = {10.1007/978-3-319-39345-2_60},
year = {2016},
date = {2016-01-01},
booktitle = {Intelligent Interactive Multimedia Systems and Services 2016},
pages = {671--681},
publisher = {Springer International Publishing},
abstract = {A smart travel system is a complex distributed system acting as a tour operator for organizing holiday packages and supporting travelers on-the-run. A couple of key characteristics of such a system are the ability of self-configuring a set of heterogeneous services and self-adapting to unexpected circumstances. This paper reports an experience of developing a smart travel system by adopting MUSA, a Middleware for User-driven Service Adaptation. The prototype supports users in organizing their time by the specification of goals: this triggers the automatic composition and dynamic orchestration of touristic services. The chosen middleware has played a fundamental role by simplifying the development process thus to speed up the time-to-complete.},
keywords = {Automatic service composition, Interactive computer system, Self-Adaptive Systems, Self-Configuration},
pubstate = {published},
tppubtype = {inproceedings}
}
A smart travel system is a complex distributed system acting as a tour operator for organizing holiday packages and supporting travelers on-the-run. A couple of key characteristics of such a system are the ability of self-configuring a set of heterogeneous services and self-adapting to unexpected circumstances. This paper reports an experience of developing a smart travel system by adopting MUSA, a Middleware for User-driven Service Adaptation. The prototype supports users in organizing their time by the specification of goals: this triggers the automatic composition and dynamic orchestration of touristic services. The chosen middleware has played a fundamental role by simplifying the development process thus to speed up the time-to-complete.
Sabatucci, Luca; Lopes, Salvatore; Cossentino, Massimo
A Goal-Oriented Approach for Self-Configuring Mashup of Cloud Applications Proceedings Article
In: In Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016 IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016), 2016.
Abstract | Links | BibTeX | Tags: Cloud computing, Goal-Oriented Approach, Mashup applications, Self-Adaptive Systems
@inproceedings{sabatucciGoalOrientedApproachSelfConfiguring2016,
title = {A Goal-Oriented Approach for Self-Configuring Mashup of Cloud Applications},
author = { Luca Sabatucci and Salvatore Lopes and Massimo Cossentino},
doi = {10.1109/ICCAC.2016.14},
year = {2016},
date = {2016-01-01},
booktitle = {In Proceedings of the IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016 IEEE International Conference on Cloud and Autonomic Computing (ICCAC 2016)},
abstract = {This paper presents a general approach for automatic composing mashups of applications distributed over the cloud. The approach implies to wrap existing services in smart and autonomic entities, namely cloud capabilities. These are able to interact and coordinate themselves in order to establish different ways to orchestrate their contained services. The main enabler of this technology is based on an explicit distinction between user's goals and the way to address them. A couple of language has been adopted to describe respectively the mashup logic in terms of goals and the available functionalities in terms of capabilities. A running example has been developed for extending B2B business processes of a fashion enterprise.},
keywords = {Cloud computing, Goal-Oriented Approach, Mashup applications, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
This paper presents a general approach for automatic composing mashups of applications distributed over the cloud. The approach implies to wrap existing services in smart and autonomic entities, namely cloud capabilities. These are able to interact and coordinate themselves in order to establish different ways to orchestrate their contained services. The main enabler of this technology is based on an explicit distinction between user's goals and the way to address them. A couple of language has been adopted to describe respectively the mashup logic in terms of goals and the available functionalities in terms of capabilities. A running example has been developed for extending B2B business processes of a fashion enterprise.
2015
Cossentino, Massimo; Lodato, Carmelo; Lopes, Salvatore; Sabatucci, Luca
MUSA: A Middleware for User-driven Service Adaptation. Proceedings Article
In: WOA, pp. 1–10, 2015.
Abstract | BibTeX | Tags: Automatic service composition, Middleware, Multi agent systems, Self-Adaptive Systems
@inproceedings{cossentinoMUSAMiddlewareUserdriven2015,
title = {MUSA: A Middleware for User-driven Service Adaptation.},
author = { Massimo Cossentino and Carmelo Lodato and Salvatore Lopes and Luca Sabatucci},
year = {2015},
date = {2015-01-01},
booktitle = {WOA},
pages = {1--10},
abstract = {One of the current challenges of Service Oriented Engineering is to provide instruments for dealing with dynamic and unpredictable environments and changing user requirements. Traditional approaches based on static workflows provide little support for adapting at runtime the flow of activities. MUSA (Middleware for User-driven Service Adaptation) is a holonic multi-agent system for the self-adaptive composition and orchestration of services in a distributed environment.},
keywords = {Automatic service composition, Middleware, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
One of the current challenges of Service Oriented Engineering is to provide instruments for dealing with dynamic and unpredictable environments and changing user requirements. Traditional approaches based on static workflows provide little support for adapting at runtime the flow of activities. MUSA (Middleware for User-driven Service Adaptation) is a holonic multi-agent system for the self-adaptive composition and orchestration of services in a distributed environment.
Sabatucci, Luca; Cossentino, Massimo
From Means-End Analysis to Proactive Means-End Reasoning Proceedings Article
In: 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2015.
Abstract | Links | BibTeX | Tags: Means-end reasonings, Self-Adaptive Systems, Semantic layer
@inproceedings{sabatucciMeansEndAnalysisProactive2015,
title = {From Means-End Analysis to Proactive Means-End Reasoning},
author = { Luca Sabatucci and Massimo Cossentino},
doi = {10.1109/SEAMS.2015.9},
year = {2015},
date = {2015-01-01},
booktitle = {10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)},
abstract = {Self-adaptation is a prominent property for developing complex distributed software systems. Notable approaches to deal with self-adaptation are the runtime goal model artifacts. Goals are generally invariant along the system lifecycle but contain points of variability for allowing the system to decide among many alternative behaviors. This work 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. In this vision the system is up to decide how to combine its available Capabilities: the Proactive Means-End Reasoning. The impact of this research line is to implement a goal-oriented form of self-adaptation where goal models can be injected at runtime. The paper also introduces MUSA, a Middleware for User-driven Service self-Adaptation.},
keywords = {Means-end reasonings, Self-Adaptive Systems, Semantic layer},
pubstate = {published},
tppubtype = {inproceedings}
}
Self-adaptation is a prominent property for developing complex distributed software systems. Notable approaches to deal with self-adaptation are the runtime goal model artifacts. Goals are generally invariant along the system lifecycle but contain points of variability for allowing the system to decide among many alternative behaviors. This work 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. In this vision the system is up to decide how to combine its available Capabilities: the Proactive Means-End Reasoning. The impact of this research line is to implement a goal-oriented form of self-adaptation where goal models can be injected at runtime. The paper also introduces MUSA, a Middleware for User-driven Service self-Adaptation.
2013
Sabatucci, Luca; Ribino, Patrizia; Lodato, Carmelo; Lopes, Salvatore; Cossentino, Massimo
Goalspec: A Goal Specification Language Supporting Adaptivity and Evolution Proceedings Article
In: Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers 1, pp. 235–254, Springer Berlin Heidelberg, 2013.
Abstract | Links | BibTeX | Tags: Goal-Oriented Approach, Multi agent systems, Self-Adaptive Systems
@inproceedings{sabatucciGoalspecGoalSpecification2013,
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},
doi = {10.1007/978-3-642-45343-4_13},
year = {2013},
date = {2013-01-01},
booktitle = {Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers 1},
pages = {235--254},
publisher = {Springer Berlin Heidelberg},
abstract = {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 the system. On the occurrence, agents of our system may exploit their features (mainly autonomy and proactivity, but also learning and planning) for getting benefits from a wider solution space. The result is that the system behavior may adapt to the current operating conditions. Moreover, the injection mechanism contributes to reduce the effort in evolving the system. This paper focuses on the goal specification language that is the base for enabling both adaptivity and evolution.},
keywords = {Goal-Oriented Approach, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
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 the system. On the occurrence, agents of our system may exploit their features (mainly autonomy and proactivity, but also learning and planning) for getting benefits from a wider solution space. The result is that the system behavior may adapt to the current operating conditions. Moreover, the injection mechanism contributes to reduce the effort in evolving the system. This paper focuses on the goal specification language that is the base for enabling both adaptivity and evolution.
Sabatucci, Luca; Cossentino, Massimo; Lodato, Carmelo; Lopes, Salvatore; Seidita, Valeria
A Possible Approach for Implementing Self-Awareness in JASON. Proceedings Article
In: EUMAS, pp. 68–81, 2013.
Abstract | BibTeX | Tags: Multi agent systems, Self-Adaptive Systems, Self-Awareness
@inproceedings{sabatucciPossibleApproachImplementing2013,
title = {A Possible Approach for Implementing Self-Awareness in JASON.},
author = { Luca Sabatucci and Massimo Cossentino and Carmelo Lodato and Salvatore Lopes and Valeria Seidita},
year = {2013},
date = {2013-01-01},
booktitle = {EUMAS},
volume = {13},
pages = {68--81},
abstract = {In Philosophy, the term awareness is often associated to theories of consciousness and self-referential behavior. In computer science, the awareness is a topic of increasing relevance in both Software Engineering and Artificial Intelligence, being closely related to autonomy and proactiveness. We can distinguish two orders of awareness: the first order is the awareness of the environment also known as context-awareness; conversely, self-awareness is a higher order awareness (knowledge about one's own mental states). Nowadays, many agent oriented languages offer native instruments to implement context-awareness. However, self-awareness is not adequately supported and it requires further considerations. This paper focuses on implementation techniques, based on JASON, for creating software agents able to dynamically reason about their knowledge of the environment, as well as on their missions, capabilities and current execution state.},
keywords = {Multi agent systems, Self-Adaptive Systems, Self-Awareness},
pubstate = {published},
tppubtype = {inproceedings}
}
In Philosophy, the term awareness is often associated to theories of consciousness and self-referential behavior. In computer science, the awareness is a topic of increasing relevance in both Software Engineering and Artificial Intelligence, being closely related to autonomy and proactiveness. We can distinguish two orders of awareness: the first order is the awareness of the environment also known as context-awareness; conversely, self-awareness is a higher order awareness (knowledge about one's own mental states). Nowadays, many agent oriented languages offer native instruments to implement context-awareness. However, self-awareness is not adequately supported and it requires further considerations. This paper focuses on implementation techniques, based on JASON, for creating software agents able to dynamically reason about their knowledge of the environment, as well as on their missions, capabilities and current execution state.
Sabatucci, Luca; Lodato, Carmelo; Lopes, Salvatore; Cossentino, Massimo
Towards Self-Adaptation and Evolution in Business Process. Proceedings Article
In: Aibp@ Ai* Ia, pp. 1–10, 2013.
Abstract | BibTeX | Tags: Business Process, Multi agent systems, Self-Adaptive Systems
@inproceedings{sabatucciSelfAdaptationEvolutionBusiness2013,
title = {Towards Self-Adaptation and Evolution in Business Process.},
author = { Luca Sabatucci and Carmelo Lodato and Salvatore Lopes and Massimo Cossentino},
year = {2013},
date = {2013-01-01},
booktitle = {Aibp@ Ai* Ia},
pages = {1--10},
abstract = {Business process run-time evolution and adaptivity are two urgent objectives in the research agenda of dynamic workflow execution. Traditional languages as BPMN or BPEL take an imperative style for defining the exact sequences of activities to execute. The imperative approach identifies a narrow space of solution that is generally optimized by the experience. However it does not provide enough freedom of action to bypass obstacles when something exceptional happens. In the wake of declarative specification languages we propose 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 we adopt the solution of relax some constraints of the rigid BPMN specification thus to give autonomous software agents the opportunity of exploring a wider space of solution, even when this space evolves unexpectedly or contains uncertainty. The result is a multi-agent system that exploits its features (mainly autonomy and proactivity) in order to monitor the execution state of the process and to discover a distributed solution to unpredictable situations or to specifications' evolution.},
keywords = {Business Process, Multi agent systems, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
Business process run-time evolution and adaptivity are two urgent objectives in the research agenda of dynamic workflow execution. Traditional languages as BPMN or BPEL take an imperative style for defining the exact sequences of activities to execute. The imperative approach identifies a narrow space of solution that is generally optimized by the experience. However it does not provide enough freedom of action to bypass obstacles when something exceptional happens. In the wake of declarative specification languages we propose 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 we adopt the solution of relax some constraints of the rigid BPMN specification thus to give autonomous software agents the opportunity of exploring a wider space of solution, even when this space evolves unexpectedly or contains uncertainty. The result is a multi-agent system that exploits its features (mainly autonomy and proactivity) in order to monitor the execution state of the process and to discover a distributed solution to unpredictable situations or to specifications' evolution.