otimes E) \preceq \phi(S' \otimes E)$.

\[def:adaptation-opt\] Given two systems $S$ and $S'$, $S'$ is at least as adaptive as $S$ with respect to optimization, written $S \sqsubseteq^* S'$ iff for all adaptation domains $\mathcal{A} \in \mathfrak{A}$ it holds that $S \Vdash \mathcal{A} \Longrightarrow S' \Vdash \mathcal{A}$ and $S \preceq_\mathcal{A} S'$.

Note that so far our notions of adaptivity and optimization are purely extensional, which originates from the black box perspective on adaptation assumed in [@holzl2011towards].

Constructing Adaptive Systems
-----------------------------

We now shift the focus of our analysis a bit away from the question “When is a system adaptive?” towards the question “How is a system adaptive?”. This refers to both questions of software architecture (i.e., which components should we use to make an adaptive system?) and questions of software engineering (i.e., which development processes should we use to develop an adaptive system?). We will see that with the increasing usage of methods of artificial intelligence, design-time engineering and run-time adaptation increasingly overlap [@wirsing2015software].

\[def:adaptation-sequence\] A series of $|I|$ systems $\mathcal{S} = (S_i)_{i\in I}$ with index set $I$ with a preorder $\leq$ on the elements of $I$ is called an *adaptation sequence* iff for all $i, j \in I$ it holds that $i \leq j \Longrightarrow S_i \sqsubseteq^* S_j$

Note that we used adaptation with optimization in Definition \[def:adaptation-sequence\] so that a sequence of systems $(S_i)_{i\in I}$ that each fulfill the same hard constraints ($\gamma$ within a singleton adaptation space $\mathfrak{A} = \{\{(E, \gamma, \phi)\}\}$) can form an adaptation sequence iff for all $i, j \in I$ it holds that $i \leq j \Longrightarrow \phi(S_i \otimes E) \preceq \phi(S_j \otimes E)$. This is the purest formulation of an optimization process within our formal framework.[^2]

Such an adaptation sequence can
otimes E) \preceq \phi(S' \otimes E)$. 

 \[def: adaptation - opt\ ] Given two systems $ S$ and $ S'$, $ S'$ is at least as adaptive as $ S$ with respect to optimization, publish $ south \sqsubseteq^ * S'$ iff for all adaptation domains $ \mathcal{A } \in \mathfrak{A}$ it holds that $ S \Vdash \mathcal{A } \Longrightarrow S' \Vdash \mathcal{A}$ and $ S \preceq_\mathcal{A } S'$. 

 notice that so far our notions of adaptivity and optimization are purely extensional, which originate from the black box perspective on adaptation assumed in [ @holzl2011towards ]. 

 Constructing Adaptive Systems 
 ----------------------------- 

 We nowadays shift the focus of our psychoanalysis a bit away from the question “ When is a system adaptive? ” towards the doubt “ How is a system adaptive? ”. This refers to both questions of software architecture (i.e., which components should we practice to make an adaptive system ?) and questions of software technology (i.e., which development processes should we use to develop an adaptive system ?). We will understand that with the increasing usage of methods of artificial intelligence, design - meter engineering and run - time adaptation increasingly overlap [ @wirsing2015software ]. 

 \[def: adaptation - sequence\ ] A series of $ |I|$ systems $ \mathcal{S } = (S_i)_{i\in I}$ with index set $ I$ with a preorder $ \leq$ on the elements of $ I$ is called an * adaptation sequence * iff for all $ i, j \in I$ it holds that $ i \leq j \Longrightarrow S_i \sqsubseteq^ * S_j$ 

 Note that we used adaptation with optimization in Definition   \[def: adaptation - sequence\ ] so that a sequence of systems $ (S_i)_{i\in I}$ that each fulfill the same hard constraint ($ \gamma$ within a singleton adaptation space $ \mathfrak{A } = \{\{(E, \gamma, \phi)\}\}$) can form an adaptation succession iff for all $ i, j \in I$ it hold that $ i \leq j \Longrightarrow \phi(S_i \otimes E) \preceq \phi(S_j \otimes E)$. This is the saturated formulation of an optimization process within our formal framework.[^2 ] 

 Such an adaptation sequence can
otiles E) \preceq \phi(S' \otimes E)$.

\[def:adaptation-opt\] Givxn two aystems $R$ and $S'$, $S'$ is at least as ada'tivw as $W$ with respect to optioization, aritten $W \sqwybseteq^* S'$ mrf for all adzitatimi domains $\mathcsl{A} \in \matvfrak{A}$ it holdv ghct $S \Vdash \mathcal{A} \Longrightarrow S' \Vdash \kahhcal{A}$ and $S \pteceq_\kwthczl{A} S'$.

Note that so far our notions kf adapuivity and optimizstion are purely extensionwl, wjich originates frlm the blacj bov perspective on adaptauimn assumed in [@holzl2011towards].

Constructing Adxptivz Systems
-----------------------------

We niw dvift the forus of our analysis a bit dway frpm the questiok “Whei is a system adaptive?” toxards the question “Hjw is a sfscem adaptive?”. This refwrw to toth querriovs kf skftwarf acchitecture (i.e., which cimponents should we ufv to make an zdaptide system?) and questions of software enginterinf (i.e., which development processes should we ude to devqlop an adaptive system?). We will see that with the incrxariny usagd ov methods of artificial intelligence, design-tiis tngpneering and run-tlme adaptation inctewsoggly overlap [@dirsiny2015aortware].

\[def:adaptatioj-sequense\] A weries of $|I|$ sustems $\mathcal{S} = (S_i)_{i\in I}$ wirh index set $U$ with a preorder $\peq$ on the zlemenjs of $O$ is called an *adaptatiun ssquence* iff for all $j, j \in I$ it holds thst $i \leq j \Longrightarrow S_i \sqsubsetxq^* S_j$

Uote thag we used wdaptation with optimization in Devinitnon \[dex:adaptatioj-sequence\] so that a sequence of systems $(S_i)_{i\in I}$ thdt each yulfilk the same hawd constraints ($\gamma$ cithin a singletkn adapvation space $\mathfrak{A} = \{\{(E, \hamma, \phi)\}\}$) cai form an adaptatuon seqjdnce iff for akl $i, j \in I$ it holdw that $i \leq j \Lonnrighjadrow \phi(S_i \otimzr E) \preceq \phi(S_j \otkmef V)$. Tiis if the purest xormjlagoon ow an opunmidatkon lrocess within our fmrmam framework.[^2]

Such an aqaptatiob sequense can
otimes E) \preceq \phi(S' \otimes E)$. \[def:adaptation-opt\] systems and $S'$, is at least respect optimization, written $S S'$ iff for adaptation domains $\mathcal{A} \in \mathfrak{A}$ it that $S \Vdash \mathcal{A} \Longrightarrow S' \Vdash \mathcal{A}$ and $S \preceq_\mathcal{A} S'$. Note so far our notions of adaptivity and optimization are purely extensional, which originates the box on assumed in [@holzl2011towards]. Constructing Adaptive Systems ----------------------------- We now shift the focus of our analysis a away from the question “When is a system towards the question “How a system adaptive?”. This refers both of software (i.e., components we use to an adaptive system?) and questions of software engineering (i.e., which development processes should we use to develop adaptive system?). see that the usage methods of artificial engineering and run-time adaptation increasingly overlap series of $|I|$ systems $\mathcal{S} = (S_i)_{i\in I}$ index set with a preorder $\leq$ on the of $I$ is called an *adaptation sequence* iff all $i, j \in I$ it holds that $i \leq j \Longrightarrow S_i \sqsubseteq^* S_j$ we used adaptation with in Definition \[def:adaptation-sequence\] that sequence systems I}$ that fulfill the same hard constraints ($\gamma$ within a singleton adaptation space = \{\{(E, \gamma, \phi)\}\}$) can form an adaptation sequence iff $i, \in I$ it that $i \leq j \phi(S_i E) \preceq \phi(S_j \otimes is purest optimization within formal framework.[^2] Such an sequence can
otimes E) \preceq \phi(S' \otimes E)$.

\[dEf:adaptatiOn-opt\] givEn tWo SystEms $S$ And $S'$, $S'$ is at least AS adaPtive as $S$ with respect to oPtimiZaTIon, wRItTen $S \sQsubsetEQ^* S'$ IFF foR aLl AdaPtATiOn domAinS $\mathcaL{A} \in \mathfrAk{A}$ It Holds that $S \VdASh \Mathcal{A} \LoNgrIghtarrow S' \VdAsh \MathcaL{A}$ And $s \PreceQ_\maThcal{a} S'$.

Note THat so fAr our notiOnS Of adapTIvity anD OPtImizAtion are purely extENsIOnal, which origiNates fRoM ThE BLacK boX perspectiVe On adaPTation aSSuMED In [@hOLzl2011towards].

ConStructing AdAPtiVe SystEmS
-----------------------------

We NOw shifT the fOcUS of Our analysis A bit Away from tHe quesTIon “When IS a systeM adaptIve?” TowArds THe QuEstIoN “how IS a SysTEm aDaptive?”. THiS rEfers To boTH QUEstiOns Of soFtwarE architecture (I.e., wHich COmpOnentS shouLd we UsE to maKe an adAptivE sYstem?) and questioNs of Software eNgiNeEriNg (I.e., whiCH develOpmEnt ProcessEs shoulD We uSe TO DEvElop an adaptive systEm?). wE WiLl see thaT with tHE iNcREasing usAgE of MethODS of arTifiCIaL intelliGence, dESiGn-Time engInEering AnD ruN-tiMe adaPTatiOn incrEasingly OverlAP [@wirsing2015softwaRE].

\[def:adaptatioN-SeQUEnCE\] A seRieS of $|I|$ systems $\MathCAl{S} = (S_I)_{i\in i}$ WiTh iNDex seT $I$ witH a PReORder $\leq$ on the elementS oF $I$ is caLled aN *adaptation seQuence* iff fOR ALl $i, j \in I$ iT holDS tHAt $i \leq j \LongrigHtarrOw S_i \sqsubsETeq^* S_j$

NotE that We used adAptation wITH optimizAtiOn iN DeFinITIoN \[def:adaptatioN-SEqueNcE\] so that A seQuence oF sySteMs $(S_I)_{i\iN I}$ That each fUlfill thE sAmE hArD coNstraINts ($\gamma$ WiThiN a SinGletoN AdaptaTion sPace $\MaThFRak{a} = \{\{(E, \gamma, \PHi)\}\}$) CAN forM aN aDaptAtiOn SequeNce iFF foR all $i, j \iN I$ it holds ThaT $I \leq J \LOnGrightaRrow \phi(S_i \otimEs e) \preceq \phi(s_j \OtiMes E)$. ThIS Is the purEst formulation of an optimIZation pRocEss wiThin Our formal FraMework.[^2]

sucH An adapTation SequeNcE caN
otimes E) \preceq \phi(S'\otimes E) $.

\ [de f:a da ptat ion- opt\] Given tw o  sys tems $S$ and $S'$, $S' $ isat leas t  a s ada ptive a s  $ S $  wi th  r esp ec t  t o opt imi zation,  written $ S \ sq subseteq^* S ' $iff for al l a daptation do mai ns $\m at hca l {A} \ in\math frak{A } $ it h olds that  $ S  \Vdas h  \mathc a l {A } \L ongrightarrow S'\ Vd a sh \mathcal{A} $ and$S \p r e ceq _\m athcal{A}S' $.

N o te that so f a r o u r notions ofadaptivitya ndoptimi za tio n  are p urely  e x ten sional, whi ch o riginates  fromt he blac k  box pe rspect ive  on  ada p ta ti onas s ume d  i n [ @ hol zl2011to wa rd s].
Cons t r u c ting  Ad apti ve Sy stems
------- --- ---- - --- ----- ----- -

W enow s hift t he fo cu s of our analys is a  bit away  fr om  th equest i on “Wh enisa syste m adapt i ve? ”t o w ar ds the question “H ow i sa system  adapt i ve ?” .  This re fe rsto b o t h que stio n sof softw are ar c hi te cture ( i. e., wh ic h c omp onent s  sho uld we  use tomakea n adaptive sys t em?) and ques t io n s  o f  sof twa re engineer ing( i.e. , wh i ch  de v elopm ent p ro c es s es should we use to  d evelop  an a daptive syste m?). We wi l l see that  wit h  t h e increasing u sageof methods of artif icial  intelli gence, de s i gn-timeeng ine eri nga n drun-time adap t a tion  i ncreasi ngl y overl ap[@w irs ing 20 15softwar e].

\[d ef :a da pt ati on-se q uence\]Aser ie s o f $|I | $ syst ems $ \mat hc al { S}= (S_i) _ {i \ i n I} $wi th i nde xset $ I$ w i tha preor der $\leq $ o n  the  e le ments o f $I$ is call ed  an *adapt at ion  seque n c e* iff f or all $i, j \in I$ ith olds th at$i \l eq j  \Longrig hta rrow S _i\ sqsubs eteq^*  S_j$ 
Not e thatw e  u sed  a daptationw i thoptim iz atio n in De finition \[def:ada p tat ion-sequence\ ] s o th a t  a  se q ue n ceof sys t e ms $(S_i)_{i\in  I}$ thatea c hfulfill th e  sa me  hard c onstrai nts ( $ \gamma$  within a  singleto nadap t a tio n space $\ mathfrak {A} = \{\ { (E, \ g am ma, \ phi )\}\}$ )can  form  an ad a pta tionsequen ce  iff f or al l$i, j \i n I$ it holds that $i \ leq j\Long rig htarrow \ phi ( S_i  \otimesE) \ preceq \ph i(S _j\otim esE )$. T hisi sthe pures t fo r mulationo fano p ti mization pr o c e sswithi n o u r form al f ramework.[^2]

Su c h an adaptatio n se q u enc e c a n
otimes E)_\preceq \phi(S'_\otimes E)$.

\[def:adaptation-opt\] Given two_systems $S$_and_$S'$, $S'$_is_at least as_adaptive as $S$_with respect to optimization,_written $S \sqsubseteq^*_S'$_iff for all adaptation domains $\mathcal{A} \in \mathfrak{A}$ it holds that $S \Vdash \mathcal{A}_\Longrightarrow_S' \Vdash_\mathcal{A}$_and_$S \preceq_\mathcal{A} S'$.

Note that so_far our notions of adaptivity_and optimization_are purely extensional, which originates from the black_box_perspective on adaptation_assumed in [@holzl2011towards].

Constructing Adaptive Systems
-----------------------------

We now shift the focus_of our analysis a bit away_from the question_“When_is_a system adaptive?” towards_the question “How is a system_adaptive?”. This refers to both questions_of software architecture (i.e., which components should_we use to make an adaptive_system?) and questions of software_engineering (i.e.,_which development processes should we_use to develop_an adaptive_system?). We will_see that with the increasing usage_of methods of_artificial intelligence, design-time engineering and run-time_adaptation_increasingly overlap [@wirsing2015software].

\[def:adaptation-sequence\]_A_series_of $|I|$_systems $\mathcal{S} =_(S_i)_{i\in_I}$ with_index_set $I$ with a preorder $\leq$_on_the elements of $I$ is called an_*adaptation sequence* iff for_all_$i, j \in I$_it holds that $i \leq_j \Longrightarrow S_i \sqsubseteq^* S_j$

Note that_we used_adaptation with_optimization in Definition \[def:adaptation-sequence\] so that a sequence of systems $(S_i)_{i\in I}$_that each fulfill the same hard_constraints ($\gamma$ within a_singleton adaptation_space_$\mathfrak{A} = \{\{(E,_\gamma,_\phi)\}\}$) can_form an adaptation sequence iff for all_$i, j_\in I$ it holds that $i_\leq j \Longrightarrow \phi(S_i_\otimes_E) \preceq \phi(S_j \otimes E)$. This_is the purest formulation of an_optimization process within our formal_framework.[^2]

Such_an_adaptation sequence can