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.
2023
Cossentino, Massimo; Sabatucci, Luca; Mylopoulos, John
Consciousness as a Trigger to Adaptation Journal Article
In: Journal of Artificial Intelligence and Consciousness, vol. 20, no. 1, pp. 27–47, 2023.
Abstract | Links | BibTeX | Tags: Agents, Consciousness, Goal-Oriented Approach, Goals, Practical Reasoning, Self-Consciousness
@article{cossentinoConsciousnessTriggerAdaptation2023,
title = {Consciousness as a Trigger to Adaptation},
author = { Massimo Cossentino and Luca Sabatucci and John Mylopoulos},
doi = {10.1142/S270507852250014X},
year = {2023},
date = {2023-01-01},
journal = {Journal of Artificial Intelligence and Consciousness},
volume = {20},
number = {1},
pages = {27--47},
abstract = {Consciousness refers to mental states of a cognitive agent that make it aware of elements of its environment and its own state.Phenomena of consciousness have been studied in Philosophy, Psychology and Cognitive Science. With the advent of Artificial Intelligence (AI) the study of consciousness has broadened to include questions such as textbackslash textbackslashvirgWhen is an AI system conscious?, textbackslash textbackslashvirgWhat role does consciousness play in the cognitive architecture of an AI system?. This paper proposes a cognitive architecture that attempts to answer such questions and is an extension of proposals for practical reasoning, founded on the notion of epistemic goals, goals where the desired state-of-affairs is knowledge of something in the environment or within the agent itself. The proposal is illustrated with an example involving an autonomous vehicle.},
keywords = {Agents, Consciousness, Goal-Oriented Approach, Goals, Practical Reasoning, Self-Consciousness},
pubstate = {published},
tppubtype = {article}
}
Consciousness refers to mental states of a cognitive agent that make it aware of elements of its environment and its own state.Phenomena of consciousness have been studied in Philosophy, Psychology and Cognitive Science. With the advent of Artificial Intelligence (AI) the study of consciousness has broadened to include questions such as textbackslash textbackslashvirgWhen is an AI system conscious?, textbackslash textbackslashvirgWhat role does consciousness play in the cognitive architecture of an AI system?. This paper proposes a cognitive architecture that attempts to answer such questions and is an extension of proposals for practical reasoning, founded on the notion of epistemic goals, goals where the desired state-of-affairs is knowledge of something in the environment or within the agent itself. The proposal is illustrated with an example involving an autonomous vehicle.
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.
2017
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
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
Sabatucci, Luca; Cossentino, Massimo; Susi, Angelo
A Goal-Oriented Approach for Representing and Using Design Patterns Journal Article
In: Journal of Systems and Software, vol. 110, pp. 136–154, 2015.
Abstract | Links | BibTeX | Tags: Design Patterns, Goal-Oriented Approach, Software engineering
@article{sabatucciGoalorientedApproachRepresenting2015,
title = {A Goal-Oriented Approach for Representing and Using Design Patterns},
author = { Luca Sabatucci and Massimo Cossentino and Angelo Susi},
doi = {10.1016/j.jss.2015.07.040},
year = {2015},
date = {2015-01-01},
journal = {Journal of Systems and Software},
volume = {110},
pages = {136--154},
abstract = {Design patterns are known as proven solutions to recurring design problems. The role of pattern documentation format is to transfer experience thus making pattern employment a viable technique. This research line proposes a goal-oriented pattern documentation that highlights decision-relevant information. The contribution of this paper is twofold. First, it presents a semi-structural visual notation that visualizes context, forces, alternative solutions and consequences in a compact format. Second, it introduces a systematic reuse process, in which the use of goal-oriented patterns aids the practitioner in selecting and customizing design patterns. An empirical study has been conducted the results of which supports the hypothesis that the goal-oriented format provides benefits for the practitioner. The experiment revealed a trend in which solutions better address requirements when the subjects are equipped with the new pattern documentation.},
keywords = {Design Patterns, Goal-Oriented Approach, Software engineering},
pubstate = {published},
tppubtype = {article}
}
Design patterns are known as proven solutions to recurring design problems. The role of pattern documentation format is to transfer experience thus making pattern employment a viable technique. This research line proposes a goal-oriented pattern documentation that highlights decision-relevant information. The contribution of this paper is twofold. First, it presents a semi-structural visual notation that visualizes context, forces, alternative solutions and consequences in a compact format. Second, it introduces a systematic reuse process, in which the use of goal-oriented patterns aids the practitioner in selecting and customizing design patterns. An empirical study has been conducted the results of which supports the hypothesis that the goal-oriented format provides benefits for the practitioner. The experiment revealed a trend in which solutions better address requirements when the subjects are equipped with the new pattern documentation.
2013
Ribino, Patrizia; Cossentino, Massimo; Lodato, Carmelo; Lopes, Salvatore; Sabatucci, Luca; Seidita, Valeria
Ontology and Goal Model in Designing BDI Multi-Agent Systems. Proceedings Article
In: WOA@ AI* IA, pp. 66–72, 2013.
Abstract | BibTeX | Tags: Goal-Model, Goal-Oriented Approach, Multi agent systems, Semantic layer
@inproceedings{ribinoOntologyGoalModel2013,
title = {Ontology and Goal Model in Designing BDI Multi-Agent Systems.},
author = { Patrizia Ribino and Massimo Cossentino and Carmelo Lodato and Salvatore Lopes and Luca Sabatucci and Valeria Seidita},
year = {2013},
date = {2013-01-01},
booktitle = {WOA@ AI* IA},
volume = {1099},
pages = {66--72},
abstract = {Nowadays several methodological approaches exist, each of them tightly tied up with the implementation platform supporting it. In this paper we propose an intermediate step toward the definition of a methodological approach for supporting the JACAMO framework. This paper resumes a previous work, focused on modeling BDI organizations, and we now address the requirements analysis phase. In particular, we propose the use of an ontological model and a goal model for representing requirements and the domain formalization respectively. The two portions of design process are connected by a heuristic process that allows to extract goals from the ontological model. The resulting models are also used for completing each other and for enhancing the problem description that is considered an input to our process. In the paper we use the well-known case study of the conference management system for illustrating the proposed portion of process.},
keywords = {Goal-Model, Goal-Oriented Approach, Multi agent systems, Semantic layer},
pubstate = {published},
tppubtype = {inproceedings}
}
Nowadays several methodological approaches exist, each of them tightly tied up with the implementation platform supporting it. In this paper we propose an intermediate step toward the definition of a methodological approach for supporting the JACAMO framework. This paper resumes a previous work, focused on modeling BDI organizations, and we now address the requirements analysis phase. In particular, we propose the use of an ontological model and a goal model for representing requirements and the domain formalization respectively. The two portions of design process are connected by a heuristic process that allows to extract goals from the ontological model. The resulting models are also used for completing each other and for enhancing the problem description that is considered an input to our process. In the paper we use the well-known case study of the conference management system for illustrating the proposed portion of process.
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.
2012
Cossentino, Massimo; Lodato, Carmelo; Lopes, Salvatore; Ribino, Patrizia; Sabatucci, Luca; Seidita, Valeria; others,
The Role of Ontology in Agent-Oriented Requirements Analysis Proceedings Article
In: In Proceedings of the 10th European Workshop on Multi-Agent Systems, EUMAS 2012, pp. 88–102, 2012.
Abstract | BibTeX | Tags: Goal-Oriented Approach, Goals, Multi agent systems, Semantic layer
@inproceedings{cossentinoRoleOntologyAgentOriented2012,
title = {The Role of Ontology in Agent-Oriented Requirements Analysis},
author = { Massimo Cossentino and Carmelo Lodato and Salvatore Lopes and Patrizia Ribino and Luca Sabatucci and Valeria Seidita and others},
year = {2012},
date = {2012-01-01},
booktitle = {In Proceedings of the 10th European Workshop on Multi-Agent Systems, EUMAS 2012},
pages = {88--102},
abstract = {Goals identification is an open issue in the Requirement Analysis field for Multi-Agent System design. Stakeholders commonly don't have full and exhaustive awareness about their real objectives in the domain problem. Goals are implicitly expressed during the inquiring phase. Thus, the goal identification task is commonly ascribed to the expertise of the analyst. In this work we propose a new methodological approach to formalize the problem domain in terms of its ontological representation. We also introduce a new heuristic for extraction and val- idation of goals from the problem description. In this approach the do- main can provide evidences for the identification of unvoiced goals and for their validation according to the contextual data.},
keywords = {Goal-Oriented Approach, Goals, Multi agent systems, Semantic layer},
pubstate = {published},
tppubtype = {inproceedings}
}
Goals identification is an open issue in the Requirement Analysis field for Multi-Agent System design. Stakeholders commonly don't have full and exhaustive awareness about their real objectives in the domain problem. Goals are implicitly expressed during the inquiring phase. Thus, the goal identification task is commonly ascribed to the expertise of the analyst. In this work we propose a new methodological approach to formalize the problem domain in terms of its ontological representation. We also introduce a new heuristic for extraction and val- idation of goals from the problem description. In this approach the do- main can provide evidences for the identification of unvoiced goals and for their validation according to the contextual data.
2011
Sabatucci, Luca; Leonardi, Chiara; Susi, Angelo; Zancanaro, Massimo
Issues and Challenges in Coupling Tropos with User-Centred Design. Proceedings Article
In: iStar, pp. 120–125, 2011.
Abstract | BibTeX | Tags: AAL for the Elderly, Design Process, Goal-Oriented Approach, Requirement Engineering, User-Centred Design
@inproceedings{sabatucciIssuesChallengesCoupling2011,
title = {Issues and Challenges in Coupling Tropos with User-Centred Design.},
author = { Luca Sabatucci and Chiara Leonardi and Angelo Susi and Massimo Zancanaro},
year = {2011},
date = {2011-01-01},
booktitle = {iStar},
pages = {120--125},
abstract = {Goal-oriented requirements engineering aims at eliciting, elab- orating, structuring, specifying, analyzing and documenting functional and non-functional requirements. This activity must include the involve- ment of final users of the system across the whole process to reduce the risk of misunderstanding the domain, missing important details and to in- crease the final value of the product. User-Centred Design is an approach that focuses on the continuous communication between requirements en- gineers and stakeholders, thus distributing responsibilities of the decision process about the requirements. In this paper we explore the issues and challenges of coupling User- Centred Design and Goal-Oriented methods as we experienced in a real project aiming at developing smart environment for nursing home to support medical and assistance staff.},
keywords = {AAL for the Elderly, Design Process, Goal-Oriented Approach, Requirement Engineering, User-Centred Design},
pubstate = {published},
tppubtype = {inproceedings}
}
Goal-oriented requirements engineering aims at eliciting, elab- orating, structuring, specifying, analyzing and documenting functional and non-functional requirements. This activity must include the involve- ment of final users of the system across the whole process to reduce the risk of misunderstanding the domain, missing important details and to in- crease the final value of the product. User-Centred Design is an approach that focuses on the continuous communication between requirements en- gineers and stakeholders, thus distributing responsibilities of the decision process about the requirements. In this paper we explore the issues and challenges of coupling User- Centred Design and Goal-Oriented methods as we experienced in a real project aiming at developing smart environment for nursing home to support medical and assistance staff.
2010
Francescomarino, Chiara Di; Leonardi, Chiara; Marchetto, Alessandro; Nguyen, Cu D.; Qureshi, Nauman A.; Sabatucci, Luca; Perini, Anna; Susi, Angelo; Tonella, Paolo; Zancanaro, Massimo
A Bit of" Persona", a Bit of" Goal", a Bit of" Process"... a Recipe for Analyzing User Intensive Software Systems. Proceedings Article
In: iStar 2010 – Proceedings of the 4th International i* Workshop, pp. 36–40, 2010.
Abstract | BibTeX | Tags: AAL for the Elderly, Business Process, Design Process, Goal-Oriented Approach, Requirement Engineering
@inproceedings{difrancescomarinoBitPersonaBit2010,
title = {A Bit of" Persona", a Bit of" Goal", a Bit of" Process"... a Recipe for Analyzing User Intensive Software Systems.},
author = { Chiara Di Francescomarino and Chiara Leonardi and Alessandro Marchetto and Cu D. Nguyen and Nauman A. Qureshi and Luca Sabatucci and Anna Perini and Angelo Susi and Paolo Tonella and Massimo Zancanaro},
year = {2010},
date = {2010-01-01},
booktitle = {iStar 2010 – Proceedings of the 4th International i* Workshop},
volume = {586},
pages = {36--40},
series = {CEUR Workshop Proceedings},
abstract = {The centrality of users in the design and development of complex systems, such as service-based applications, calls for new methodologies and techniques to extract and represent user needs and to translate them into real processes. In this short paper, we describe the integration of concepts and analysis techniques of different approaches, namely Goal-Oriented Requirements Engineering, User-Centred Design and Process-Oriented Modeling, that are being developed in the context of two projects related to Ambient Assisted Living and Internet of Services.},
keywords = {AAL for the Elderly, Business Process, Design Process, Goal-Oriented Approach, Requirement Engineering},
pubstate = {published},
tppubtype = {inproceedings}
}
The centrality of users in the design and development of complex systems, such as service-based applications, calls for new methodologies and techniques to extract and represent user needs and to translate them into real processes. In this short paper, we describe the integration of concepts and analysis techniques of different approaches, namely Goal-Oriented Requirements Engineering, User-Centred Design and Process-Oriented Modeling, that are being developed in the context of two projects related to Ambient Assisted Living and Internet of Services.
Leonardi, Chiara; Sabatucci, Luca; Susi, Angelo; Zancanaro, Massimo
Ahab's Leg: Exploring the Issues of Communicating Semi-Formal Requirements to the Final Users Proceedings Article
In: Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings 22, pp. 455–469, Springer Berlin Heidelberg, 2010.
Abstract | Links | BibTeX | Tags: Goal-Oriented Approach, Requirement Engineering, Requirement Validation, User-Centred Design
@inproceedings{leonardiAhabLegExploring2010,
title = {Ahab's Leg: Exploring the Issues of Communicating Semi-Formal Requirements to the Final Users},
author = { Chiara Leonardi and Luca Sabatucci and Angelo Susi and Massimo Zancanaro},
doi = {10.1007/978-3-642-13094-6_35},
year = {2010},
date = {2010-01-01},
booktitle = {Advanced Information Systems Engineering: 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings 22},
pages = {455--469},
publisher = {Springer Berlin Heidelberg},
abstract = {In this paper, we present our experience in using narrative scenarios as a tool to communicate and validate semi-formal requirements with the stake-holders in a large software project. The process of translating the semi-formal language of Tropos into the narrative form of scenarios is introduced and some unintended implications of this process are discussed. In particular, we define the notion of Ahab's leg to describe the necessity to introduce new constraints or features in a description when moving to a different representational language. Starting from the lessons learned with this specific case study, we derive some general implications concerning the issue of requirement translation for validation tasks and we propose some methodological guidelines to address the Ahab's leg dilemma.},
keywords = {Goal-Oriented Approach, Requirement Engineering, Requirement Validation, User-Centred Design},
pubstate = {published},
tppubtype = {inproceedings}
}
In this paper, we present our experience in using narrative scenarios as a tool to communicate and validate semi-formal requirements with the stake-holders in a large software project. The process of translating the semi-formal language of Tropos into the narrative form of scenarios is introduced and some unintended implications of this process are discussed. In particular, we define the notion of Ahab's leg to describe the necessity to introduce new constraints or features in a description when moving to a different representational language. Starting from the lessons learned with this specific case study, we derive some general implications concerning the issue of requirement translation for validation tasks and we propose some methodological guidelines to address the Ahab's leg dilemma.
Morandini, Mirko; Sabatucci, Luca; Siena, Alberto; Mylopoulos, John; Penserini, Loris; Perini, Anna; Susi, Angelo
On the Use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning. Proceedings Article
In: iStar, pp. 71, 2010.
Abstract | BibTeX | Tags: Goal-Oriented Approach, Requirement Engineering, Self-Adaptive Systems
@inproceedings{morandiniUseGoalOrientedParadigm2010,
title = {On the Use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning.},
author = { Mirko Morandini and Luca Sabatucci and Alberto Siena and John Mylopoulos and Loris Penserini and Anna Perini and Angelo Susi},
year = {2010},
date = {2010-01-01},
booktitle = {iStar},
volume = {4},
pages = {71},
abstract = {The concept of goal may be used to model intentions of human actors, such as requirements analysts or designers, as well as the reasons for pro-active behaviour of software agents. This short paper describes three ongoing research efforts on the application of the Goal-Oriented paradigm to system requirements analysis, system design and development of self-adaptive software agents.},
keywords = {Goal-Oriented Approach, Requirement Engineering, Self-Adaptive Systems},
pubstate = {published},
tppubtype = {inproceedings}
}
The concept of goal may be used to model intentions of human actors, such as requirements analysts or designers, as well as the reasons for pro-active behaviour of software agents. This short paper describes three ongoing research efforts on the application of the Goal-Oriented paradigm to system requirements analysis, system design and development of self-adaptive software agents.
2009
Sabatucci, Luca; Cossentino, Massimo; Susi, Angelo
Introducing Motivations in Design Pattern Representation Proceedings Article
In: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering, pp. 210, Springer, 2009.
Abstract | Links | BibTeX | Tags: Design Patterns, Design Process, Goal-Oriented Approach
@inproceedings{sabatucciIntroducingMotivationsDesign2009,
title = {Introducing Motivations in Design Pattern Representation},
author = { Luca Sabatucci and Massimo Cossentino and Angelo Susi},
doi = {10.1007/978-3-642-04211-9_20},
year = {2009},
date = {2009-01-01},
booktitle = {Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering},
pages = {210},
publisher = {Springer},
abstract = {Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical notation and complementary text, typically composed by a static and a dynamic definitions. The weak point is the lack of flexibility when customizing the generic solution to the specific context of use. This paper proposes a criterion to motivate design pattern selection and reuse. Designer is supported with a technique for balancing pattern and context forces for selecting among alternative implementations. The provided representation summarizes and organizes relevant information in the classical informal pattern documentation.},
keywords = {Design Patterns, Design Process, Goal-Oriented Approach},
pubstate = {published},
tppubtype = {inproceedings}
}
Design pattern formalization is aimed at encouraging the use of design patterns during the design phase. Many approaches focuses on providing solutions with a graphical notation and complementary text, typically composed by a static and a dynamic definitions. The weak point is the lack of flexibility when customizing the generic solution to the specific context of use. This paper proposes a criterion to motivate design pattern selection and reuse. Designer is supported with a technique for balancing pattern and context forces for selecting among alternative implementations. The provided representation summarizes and organizes relevant information in the classical informal pattern documentation.