Temporal Pattern Specifications for Self-Adaptive Requirements

Author(s): Ayoub Yahiaoui*, Hakim Bendjenna, Philippe Roose, Lawrence Chung, Mohamed Amroune.

Journal Name: Recent Patents on Computer Science

Volume 12 , Issue 1 , 2019

Become EABM
Become Reviewer

Graphical Abstract:


Abstract:

Background: Systems whose requirements change at a rate that necessitates adaptation without human intervention are called self-adaptive systems, and they have the ability to adjust their behavior autonomously at run-time in response to their environment’s evolution. Samples of applications that require self-adaptation include Smart home systems and environmental monitoring. However, self-adaptivity is often constructed in an ad-hoc manner.

Methods: In this paper, the authors present a pattern-based specification language for self-adaptive systems. Its semantics are presented in terms of fuzzy logic. Thus, enabling a meticulous processing of requirements, in order to permit the formulation of self-adaptive requirements accurately, thereby facilitates the design of systems that are flexible and responsive to adaptation in a systematic manner.

Results: To show the applicability and effectiveness of our language, the authors apply it to two case studies. One case study reviews the Smart fridge in ambient assisted living and the second case study is focused on an ambulance dispatching system using a developed support tool.

Keywords: Adaptive requirements, specification patterns, formal specification, fuzzy logic, metric temporal logic, selfadaptive system, fuzzy metric temporal logic.

[1]
"L. A. Zadeh, "Fuzzy sets,"", Information and control,. Vol. 8, 1965.
[2]
"M. B. Dwyer, G. S. Avrunin and J. C.Corbett, "Patterns in property specifications for finite-state verification," in", Proceedings of the 21st international conference on Software engineering,. Los Angeles, 1999.
[3]
N. Abid, S. Dal Zilio and D. Le Botlan, "A Real-Time Specification Patterns Language," 2011.
[4]
J. Whittle, P. Sawyer, N. Bencomo, B.H. Cheng, and J-M. Bruel, "RELAX: a language to address uncertainty in self-adaptive systems requirement", Requirements Eng., pp. 177-196, 2010.
[5]
"M. U. Iftikhar and D. Weyns, "A case study on formal verification of self-adaptive behaviors in a decentralized system,"", arXiv preprint arXiv:1208.4635. 2012.
[6]
"S. Konrad and B. H. Cheng, "Real-time specification patterns," in", Proceedings of the 27th international conference on Software engineering,. St. Louis, MO, USA, 2005.
[7]
M. Autili, L. Grunske, M. Lumpe, P. Pelliccione, and A. Tang, "Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar", IEEE Trans. Softw. Eng., vol. 41, pp. 620-638, 2015.
[8]
C. Krupitzer, F.M. Roth, S. VanSyckel, G. Schiele, and C. Becker, "A survey on engineering approaches for self-adaptive systems", Pervasive Mobile Comput., vol. 17, pp. 184-206, 2015.
[9]
D. Weyns, Software engineering of self-adaptive systems: an organised tour and future challenges., Chapter in Handbook of Software Engineering, 2017.
[10]
"D. Weyns, M. U. Iftikhar, S. Malek and J. Andersson, "Claims and supporting evidence for self-adaptive systems: A literature study," in", Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,. Zurich, Switzerland, 2012.
[11]
F.D. Macias-Escriva, R. Haber, R. del Toro, and V. Hernandez, "Self-adaptive systems: A survey of current approaches, research challenges and applications", Expert Syst. Appl., vol. 40, pp. 7267-7279, 2013.
[12]
"R. De Lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson, M. Litoiu and D. Weyns, "Software engineering for self-adaptive systems: A second research roadmap," in", Software Engineering for Self-Adaptive Systems II,. Berlin, Heidelberg, 2013.
[13]
"S.-i. Moon, K. H. Lee and D. Lee, Fuzzy branching temporal logic", IEEE Trans. Syst. Man Cybern. B Cybern., vol. 34, pp. 1045-1055, 2004.
[14]
"B. H. Cheng, P. Sawyer, N. Bencomo and J. Whittle, "A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty," in", International Conference on Model Driven Engineering Languages and Systems,. Berlin, Heidelberg, 2009.
[15]
"L. Baresi, L. Pasquale and P. Spoletini, "Fuzzy goals for requirements-driven adaptation," in", 2010 18th IEEE International Requirements Engineering Conference,. Sydney, NSW, Australia, 2010.
[16]
"V. E. Silva Souza, A. Lapouchnian, W. N. Robinson and J. Mylopoulos, "Awareness requirements for adaptive systems," in", Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems,. Waikiki, Honolulu, HI, USA, 2011.
[17]
"V. E. S. Souza, A. Lapouchnian and J. Mylopoulos, "(Requirement) evolution requirements for adaptive systems," in", Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,. Zurich, Switzerland, 2012
[18]
M. Ahmad, N. Belloir, and J-M. Bruel, "Modeling and Verification of Functional and Non-Functional Requirements of Ambient Self-Adaptive Systems", J. Syst. Softw., vol. 107, pp. 50-70, 2015.
[19]
A. Dardenne, A. Van Lamsweerde, and S. Fickas, "Goal-directed requirements acquisition", Sci. Comput. Program., vol. 20, pp. 3-50, 1993.
[20]
"E. Vassev and M. Hinchey, "Engineering Requirements for Autonomy Features," in", Software Engineering for Collective Autonomic Systems,. Cham, 2015.
[21]
"E. S. Yu, "Towards modelling and reasoning support for earlyphase requirements engineering," in", Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering,. Annapolis, MD, USA, USA, 1997.
[22]
P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, "Tropos: An agent-oriented software development methodology", Auton. Agent. Multi Agent Syst., vol. 8, pp. 203-236, 2004.
[23]
M. Morandini, L. Penserini, A. Perini, and A. Marchetto, "Engineering requirements for adaptive systems", Requirements Eng., vol. 22, pp. 77-103, 2017.
[24]
D.G.D.L. Iglesia, and D. Weyns, "MAPE-K formal templates to rigorously design behaviors for self-adaptive systems", ACM Trans. Auton. Adapt. Syst TAAS., vol. 10, p. 15, 2015.
[25]
"C. E. da Silva, J. D. S. da Silva, C. Paterson and R. Calinescu, "Self-adaptive role-based access control for business processes," in", Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,. Buenos Aires, Argentina, 2017.
[26]
"M. Salehie and L. Tahvildari, "Autonomic computing: emerging trends and open problems," in", DEAS '05 Proceedings of the 2005 workshop on Design and evolution of autonomic application software,. St. Louis, Missouri, USA, 2005.
[27]
"L. Grunske, "Specification patterns for probabilistic quality properties," in", 2008 ACM/IEEE 30th International Conference on Software Engineering,. Leipzig, Germany, 2008.
[28]
R. Koymans, "Specifying real-time properties with metric temporal logic", Real-Time Syst., vol. 2, pp. 255-299, 1990.
[29]
Y. Zhou, and T. Murata, "Petri net model with fuzzy timing and fuzzy-metric temporal logic", Int. J. Intell. Syst., vol. 14, pp. 719-745, 1999.
[30]
I. Suzuki, and H. Lu, "Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter", IEEE Trans. Comput., vol. 38, pp. 696-704, 1989.
[31]
"N. Esfahani and S. Malek, "Uncertainty in self-adaptive software systems," in", Software Engineering for Self-Adaptive Systems II,. Berlin, Heidelberg, 2013.
[32]
V. Gruhn, and R. Laue, "Patterns for timed property specifications", Electron. Notes Theor. Comput. Sci., vol. 153, pp. 117-133, 2006.
[33]
J.O. Kephart, and D.M. Chess, "The vision of autonomic computing", Computer, vol. 36, pp. 41-50, 2003.


Rights & PermissionsPrintExport Cite as

Article Details

VOLUME: 12
ISSUE: 1
Year: 2019
Page: [58 - 68]
Pages: 11
DOI: 10.2174/2213275911666181019115744
Price: $58

Article Metrics

PDF: 8
HTML: 1