, L'objectif principal de notre langage est de faire face aux changements d'exécution, y compris l'incertitude, afin de spécifier le comportement d'un système auto-adaptatif pour répondre aux changements inattendus, qui se produisent dans l'environnement d'exécution. L'absence d'informations suffisantes sur le comportement prévu de l'application peut causer une incertitude comportementale pendant la phase de développement, de sorte qu'il nécessite encore une adaptation au moment de l'exécution. Nous avons introduit un catalogue de patrons pour les exigences non-invariantes. Le langage est basé sur deux piliers majeurs : la logique floue et les patrons de spécification. l'anglais structuré. Nous avons donné un ensemble d'exemples pour apporter un sens à notre proposition. Nous avons également présenté un cas d'étude industriel à partir d, Conclusion Cet article vise à présenter un nouveau langage de spécification pour les systèmes auto-adaptatifs

N. Abid, A Real-Time Specification Patterns Language, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00593965

M. Autili, Aligning qualitative, real-time, and probabilistic property specification patterns using a structured english grammar, IEEE Transactions on Software Engineering, vol.41, pp.620-638, 2015.

A. Banks and R. Gupta, Version 3.1.1. 29, 2014.

L. Baresi, Fuzzy goals for requirements-driven adaptation. Requirements Engineering Conference (RE), p.18, 2010.

P. Bellini, Expressing and organizing real-time specification patterns via temporal logics, Journal of Systems and Software, vol.82, issue.2, pp.183-196, 2009.

P. Bresciani, Tropos: An agent-oriented software development methodology, Autonomous Agents and Multi-Agent Systems, vol.8, pp.203-236, 2004.

A. Capozucca, The fault-tolerant insulin pump therapy. Rigorous Development of Complex Fault-Tolerant Systems, pp.59-79, 2006.

B. Cheng and . Hc, A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. Model Driven Engineering Languages and Systems, pp.468-483, 2009.

A. Dardenne, Goal-directed requirements acquisition, Science of computer programming, vol.20, pp.3-50, 1993.

A. K. Dey, Understanding and using context, Personal and ubiquitous computing, vol.5, issue.1, pp.4-7, 2001.

M. Dwyer, Patterns in property specifications for finite-state verification. Software Engineering, Proceedings of the 1999 International Conference, 1999.

N. Esfahani and S. Malek, Uncertainty in self-adaptive software systems. Software Engineering for Self-Adaptive Systems II, pp.214-238, 2013.

V. Gruhn and R. Laue, Patterns for timed property specifications, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.117-133, 2006.

L. Grunske, Specification patterns for probabilistic quality properties, Proceedings of the 30th International Conference on Software Engineering, pp.31-40, 2008.

K. S. Cheng and B. Hc, Real-time specification patterns, Proceedings of the 27th international conference on Software engineering, pp.372-381, 2005.

R. Koymans, Specifying real-time properties with metric temporal logic. Real-time systems, vol.2, pp.255-299, 1990.

C. Krupitzer, A survey on engineering approaches for self-adaptive systems, Pervasive and Mobile Computing, vol.17, pp.184-206, 2015.

M. , U. Iftikhar, and D. Weyns, A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System, Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA2012, pp.45-62, 2012.

A. Manzoor, Modeling and Verification of Functional and Non-Functional Requirements of Ambient Self-Adaptive Systems, Journal of Systems and Software, vol.107, pp.50-70, 2015.

F. D. Macias-escriva, Self-adaptive systems: A survey of current approaches, research challenges and applications, Expert Systems with Applications, vol.40, pp.7267-7279, 2013.

S. Moon, Fuzzy branching temporal logic. Systems, Man, and Cybernetics, Part B: Cybernetics, vol.34, issue.2, pp.1045-1055, 2004.

M. Morandini, Engineering requirements for adaptive systems, Requirements Engineering, vol.22, issue.1, pp.77-103, 2017.

R. A. , Techniques for automatic verification of real-time systems, 1991.

M. Salehie and L. Tahvildari, Autonomic computing: emerging trends and open problems, ACM SIGSOFT Software Engineering, vol.30, pp.1-7, 2005.

V. Souza, Awareness requirements for adaptive systems, Proceedings of the 6th international symposium on Software engineering for adaptive and self-managing systems, pp.60-69, 2011.

V. Souza, (Requirement) evolution requirements for adaptive systems, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.155-164, 2012.

E. Vassev and M. Hinchey, Engineering Requirements for Autonomy Features. Software Engineering for Collective Autonomic Systems, pp.379-403, 2015.

D. Weyns, M. U. Iftikhar, S. Malek, and J. Andersson, Claims and supporting evidence for self-adaptive systems-A literature study, SEAMS'12, Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.89-98, 2012.

J. Whittle, P. Sawyer, N. Bencomo, B. Cheng, . Hc et al., Relax: Incorporating uncertainty into the specification of self-adaptive systems, Requirements Engineering Conference, pp.79-88, 2009.

Y. Eric and S. K. , Towards modelling and reasoning support for early-phase requirements engineering. Requirements Engineering, Proceedings of the Third IEEE International Symposium, pp.226-235, 1997.

L. A. Zadeh, Fuzzy sets, Information and control, vol.8, pp.338-353, 1965.

Y. Zhou and T. Murata, Petri net model with fuzzy timing and fuzzy-metric temporal logic, International Journal of Intelligent Systems, vol.14, pp.719-745, 1999.