Juan C. Muñoz-Fernández | Universidad Icesi (original) (raw)
Papers by Juan C. Muñoz-Fernández
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of information sensitive to users. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications
Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage cha... more Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage changes in their user requirements and operating context. To achieve this goal, a SAS needs to carry knowledge in artifacts (e.g., contextual goal models) at runtime. However, identifying, representing, and refining requirements and their context to create and maintain such artifacts at runtime is a challenging task, especially if the runtime environment is not very well known. In this short paper, we present an early concept to requirements engineering for the implementation of SAS in the context of uncertainty. Especially the wide variety of knowledge materialized in artifacts created during software engineering activities at design time is considered. We propose to start with a list of ambiguous requirements - or under-specified requirements -, leaving the ambiguity in the requirements, which will in the later steps be resolved further as more information is known. In contrast to convent...
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of information sensitive to users. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications
2018 12th International Conference on Research Challenges in Information Science (RCIS), 2018
The demand for systems that continue on operation by adapting themselves in response to disturbin... more The demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.
Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage cha... more Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage changes in their user requirements and operating context. To achieve this goal, a SAS needs to carry knowledge in artifacts (e.g., contextual goal models) at runtime. However, identifying, representing, and refining requirements and their context to create and maintain such artifacts at runtime is a challenging task, especially if the runtime environment is not very well known. In this short paper, we present an early concept to requirements engineering for the implementation of SAS in the context of uncertainty. Especially the wide variety of knowledge materialized in artifacts created during software engineering activities at design time is considered. We propose to start with a list of ambiguous requirements - or under-specified requirements -, leaving the ambiguity in the requirements, which will in the later steps be resolved further as more information is known. In contrast to convent...
Proceedings of the 19th International Conference on Software Product Line - SPLC '15, 2015
Model simulation has demonstrated its usefulness in evaluation and decision-making for improving ... more Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.
2018 12th International Conference on Research Challenges in Information Science (RCIS), 2018
The demand for systems that continue on operation by adapting themselves in response to disturbin... more The demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line - SPLC '15, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
2014 XL Latin American Computing Conference (CLEI), 2014
The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from sev... more The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper's contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.
Proceedings of the …, Nov 7, 2011
Most web applications deliver personalized features by making decisions on behalf of the user. Th... more Most web applications deliver personalized features by making decisions on behalf of the user. Thus, the user's web experience is still a fractionated process due to a lack of user-centric web integration. In contrast, smarter web applications will empower the user to control the integration of web resources according to personal concerns. Moreover, as the user's situation and web resources continuously evolve, web infrastructures supporting smarter applications require dynamic and efficient mechanisms to represent, gather, ...
2014 XL Latin American Computing Conference (CLEI), 2014
The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from sev... more The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper's contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.
Proceedings of the …, Nov 7, 2011
Most web applications deliver personalized features by making decisions on behalf of the user. Th... more Most web applications deliver personalized features by making decisions on behalf of the user. Thus, the user's web experience is still a fractionated process due to a lack of user-centric web integration. In contrast, smarter web applications will empower the user to control the integration of web resources according to personal concerns. Moreover, as the user's situation and web resources continuously evolve, web infrastructures supporting smarter applications require dynamic and efficient mechanisms to represent, gather, ...
In Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research (CASCON '11), , Nov 2011
In Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research (CASCON '12),, Nov 2012
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with Web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of user's sensitive information. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications. Surprise (i) allows users to configure access permissions to their sensitive personal information to third parties, selectively and with different levels of granularity; (ii) supports changes in these configurations at runtime to add or remove third parties or permissions, and (iii) realizes partial encryption to share non-sensitive data with not explicitly authorized third parties, while protecting user identity. We analyze details of our proofof-concept implementation with respect to the SmarterContext's privacy and security requirements.
Conference Presentations by Juan C. Muñoz-Fernández
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of information sensitive to users. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications
Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage cha... more Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage changes in their user requirements and operating context. To achieve this goal, a SAS needs to carry knowledge in artifacts (e.g., contextual goal models) at runtime. However, identifying, representing, and refining requirements and their context to create and maintain such artifacts at runtime is a challenging task, especially if the runtime environment is not very well known. In this short paper, we present an early concept to requirements engineering for the implementation of SAS in the context of uncertainty. Especially the wide variety of knowledge materialized in artifacts created during software engineering activities at design time is considered. We propose to start with a list of ambiguous requirements - or under-specified requirements -, leaving the ambiguity in the requirements, which will in the later steps be resolved further as more information is known. In contrast to convent...
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of information sensitive to users. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications
2018 12th International Conference on Research Challenges in Information Science (RCIS), 2018
The demand for systems that continue on operation by adapting themselves in response to disturbin... more The demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.
Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage cha... more Self-adaptive systems (SAS) automatically adjust their behavior at runtime in order to manage changes in their user requirements and operating context. To achieve this goal, a SAS needs to carry knowledge in artifacts (e.g., contextual goal models) at runtime. However, identifying, representing, and refining requirements and their context to create and maintain such artifacts at runtime is a challenging task, especially if the runtime environment is not very well known. In this short paper, we present an early concept to requirements engineering for the implementation of SAS in the context of uncertainty. Especially the wide variety of knowledge materialized in artifacts created during software engineering activities at design time is considered. We propose to start with a list of ambiguous requirements - or under-specified requirements -, leaving the ambiguity in the requirements, which will in the later steps be resolved further as more information is known. In contrast to convent...
Proceedings of the 19th International Conference on Software Product Line - SPLC '15, 2015
Model simulation has demonstrated its usefulness in evaluation and decision-making for improving ... more Model simulation has demonstrated its usefulness in evaluation and decision-making for improving preliminary versions of artefacts before production. Particularly, one of the main goals of simulation is to verify model properties based on data collected from its execution. In this paper, we present the simulation capabilities of our REFAS framework for specifying requirements models for dynamic software products lines and self-adaptive systems. The simulation is controlled by a feedback loop and a reasoning engine that operates on the functional and non-functional requirements. The paper contribution is threefold. First, REFAS allows developers to evaluate and improve requirements models through their simulation capabilities. Second, REFAS provides rich feedback in its interactive simulations for the human modeller to make informed decisions to improve her model. Third, REFAS automates the generation of simulation scenarios required to verify the model adequacy and correctness. We evaluate our contribution by comparing the application of REFAS to a case study used in other approaches.
2018 12th International Conference on Research Challenges in Information Science (RCIS), 2018
The demand for systems that continue on operation by adapting themselves in response to disturbin... more The demand for systems that continue on operation by adapting themselves in response to disturbing changes in their environment has increased in the last decades. Those systems, termed self-adaptive software (SAS) systems, should be developed with techniques and methods appropriated for analysing and designing this kind of systems, starting from the requirements phase. Several contributions propose approaches to improve the specification of requirements for those systems. This paper aims to review the most significant challenges still open in the domains of languages for requirements specification and methods for model verification of self-adaptive systems, independently of their particular application areas. More concretely, the main contribution of this paper is a list of ten challenges to achieve a better-defined specification of requirements for SAS systems, and a more effective verification of such specifications. These challenges are well worthy of being addressed in both communities, the requirements engineering (RE) and the SAS one.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line - SPLC '15, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
2014 XL Latin American Computing Conference (CLEI), 2014
The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from sev... more The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper's contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.
Proceedings of the …, Nov 7, 2011
Most web applications deliver personalized features by making decisions on behalf of the user. Th... more Most web applications deliver personalized features by making decisions on behalf of the user. Thus, the user's web experience is still a fractionated process due to a lack of user-centric web integration. In contrast, smarter web applications will empower the user to control the integration of web resources according to personal concerns. Moreover, as the user's situation and web resources continuously evolve, web infrastructures supporting smarter applications require dynamic and efficient mechanisms to represent, gather, ...
2014 XL Latin American Computing Conference (CLEI), 2014
The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from sev... more The analysis of self-adaptive systems (SAS) requirements involves addressing uncertainty from several sources. Despite advances in requirements for SAS, uncertainty remains an extremely difficult challenge. In this paper, we propose REFAS, a framework to model the requirements of self-adaptive software systems. Our aim with REFAS is to address and reduce uncertainty and to provide a language with sufficient power of expression to specify the different aspects of self-adaptive systems, relative to functional and non-functional requirements. The REFAS modeling language includes concepts closely related to these kind of requirements and their fulfillment, such as context variables, claims, and soft dependencies. Specifically, the paper's contribution is twofold. First, REFAS supports different viewpoints and concerns related to requirements modeling, with key associations between them. Moreover, the modeler can define additional models and views by exploiting the REFAS meta-modeling capability, in order to capture additional aspects contributing to reduce uncertainty. Second, REFAS promotes in-depth analysis of all of the modeled concerns with aggregation and association capabilities, especially with context variables. Furthermore, we also define a process that enforces modeling requirements, considering different aspects of uncertainty. We demonstrate the applicability of REFAS by using the VariaMos software tool, which implements the REFAS meta-model, views, and process.
Proceedings of the …, Nov 7, 2011
Most web applications deliver personalized features by making decisions on behalf of the user. Th... more Most web applications deliver personalized features by making decisions on behalf of the user. Thus, the user's web experience is still a fractionated process due to a lack of user-centric web integration. In contrast, smarter web applications will empower the user to control the integration of web resources according to personal concerns. Moreover, as the user's situation and web resources continuously evolve, web infrastructures supporting smarter applications require dynamic and efficient mechanisms to represent, gather, ...
In Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research (CASCON '11), , Nov 2011
In Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research (CASCON '12),, Nov 2012
The Smart Internet relies on the exploitation of information obtained from interactions of users ... more The Smart Internet relies on the exploitation of information obtained from interactions of users with Web applications. A critical aspect for its success is the adoption of mechanisms that guarantee the protection of user's sensitive information. This paper presents Surprise, our solution to empower users with privacy and data security control for the access to their information, stored in Personal Context Sphere repositories. These repositories are defined and maintained by SmarterContext, our Smart Internet infrastructure that improves the quality of user experience in their interactions with web applications. Surprise (i) allows users to configure access permissions to their sensitive personal information to third parties, selectively and with different levels of granularity; (ii) supports changes in these configurations at runtime to add or remove third parties or permissions, and (iii) realizes partial encryption to share non-sensitive data with not explicitly authorized third parties, while protecting user identity. We analyze details of our proofof-concept implementation with respect to the SmarterContext's privacy and security requirements.