Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study

Avjot Garcha Singh, Aida Omerovic, Franck Chauvel, Nicolas Ferry

2015

Abstract

Design of a system architecture normally refers to a pre-defined goal. We consider the goal as the desired (functional or non-functional) aspect that is achieved by providing functionalities or mechanisms that support it. For example, a security goal is supported by a set of security mechanisms. However, there are often several ways towards (partially or completely) achieving a goal, which we refer to as design alternatives. Each design alternative is composed of a subset of the mechanisms needed. Some mechanisms are more important than others, and it is not obvious to what degree the different design alternatives fulfill the goal. It can moreover often be difficult to see what combinations of the design alternatives would result in maximum coverage of the goal. We propose an approach to modeling and analysis of the goals of a system. The approach supports specification of the goal, specification of the design alternatives, a quantification of the degree of fulfillment, as well as a quantification of the degree of overlap with respect to the goal fulfillment across design alternatives. We also propose a visual representation of the degrees of fulfillment and the degrees of overlap. We have evaluated the approach on a case study, and the initial results indicate its feasibility. This paper presents the approach and the evaluation results. It also summarizes experiences and suggestions for further improvements.

References

  1. Alberts, C. J. and Davey, J. (2004). OCTAVE criteria version 2.0. Technical report CMU/SEI-2001-TR-016, Carnegie Mellon University.
  2. Alhir, S. S. (1998). UML in a Nutshell - A Desktop Quick Reference. OReilly & Associates, Inc., Sebastopol, first edition edition.
  3. Barber, B. and Davey, J. (1992). The use of the ccta risk analysis and management methodology cramm in health information systems. In In 7th International Congress on Medical Informatics, MEDINFO92. M. S., Solhaug, B., and Stølen, K. (2011).
  4. Mosser, S., Fleurey, F., Morin, B., Chauvel, F., Solberg, A., and Goutier, I. (2012). Sensapp as a reference platform to support cloud experiments: From the internet of things to the internet of services. In Management of resources and services in Cloud and Sky computing workshop, Timisoara. IEEE.
  5. Nielsen, D. S. (1971). The cause/consequence diagram method as basis for quantitative accident analysis. Technical report RISO-M-1374, Danish Atomic Energy Commission.
  6. Omerovic, A. (2012). PREDIQT: A Method for Modelbased Prediction of Impacts of Architectural Design Changes on System Quality. Doctoral Dissertation, Faculty of Mathematics and Natural Sciences, University of Oslo, Oslo.
  7. Omerovic, A., Karahasanovic, A., and Stølen, K. (2012). Uncertainty handling in weighted dependency trees: A systematic literature review. In Dependability and Computer Engineering: Concepts for SoftwareIntensive Systems. IGI Global.
  8. Omerovic, A. and Stølen, K. (2011). A practical spproach to uncertainty handling and estimate acquisition in model-based prediction of system quality. International Journal on Advances in Systems and Measurements, 4(1-2):55-70.
  9. Ravindran, A. R. (2007). Operations Research and Management Science Handbook. CRC Press,, Boca Raton.
  10. Runeson, P. and Höst, M. (2009). Guidelines for conducting and reporting case study research in software engineering. Department Computer Science, Lund University.
  11. Schneier, B. (1999). Attack Trees: Modeling Security Threats. Dr. Dobbs Journal.
  12. Singh, A. G. (2014). Towards a Decision Support Method for Trade-off Analysis Considering Cost, Risk, and Quality. MSc Dissertation, Faculty of Mathematics and Natural Sciences, University of Oslo, Oslo.
  13. Solheim, I. and Stølen, K. (2007). Technology Research Explained. SINTEF. Technical Report A313, Oslo.
  14. Thüm, T., Kästner, C., Benduhn, F., Meinicke, J., Saake, G., and Leich, T. (2014). FeatureIDE: An Extensible Framework for Feature-Oriented Software Development. Science of Computer Programming.
Download


Paper Citation


in Harvard Style

Garcha Singh A., Omerovic A., Chauvel F. and Ferry N. (2015). Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 193-204. DOI: 10.5220/0005229401930204


in Bibtex Style

@conference{modelsward15,
author={Avjot Garcha Singh and Aida Omerovic and Franck Chauvel and Nicolas Ferry},
title={Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={193-204},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005229401930204},
isbn={978-989-758-083-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study
SN - 978-989-758-083-3
AU - Garcha Singh A.
AU - Omerovic A.
AU - Chauvel F.
AU - Ferry N.
PY - 2015
SP - 193
EP - 204
DO - 10.5220/0005229401930204