System Implementation Algorithm 1:Algorithm for Interaction Chain Discovery Input:APtr.ac,sets of intra-app interactions Ceachsets of capabilities and their related APtr,ac一应用中所有触发动作 physical channels. Sca,sets of capabilities and their related 行为元组 system channels. Output:INTAC,sets of discovered interactions foreach i∈APir,aedo 2 foreachjE APtr.ac do Cca,ch一功能与信道之间的关系 if i=-jthen /Two intra-interactions are same */ continue foreach k∈Cdo foreach m E C do Ss 一系统信道 /First identify capabilities of the action and trigger */ /Then check whether their related channels are same 光/ if i.ac =k.ca j.tr ==m.ca k.ch = m,ch∈jthen /Add a physical (trigger,action) interaction chain */ INTAC←{，k.ch,} foreach n∈Sdo /Same process for system channels (trigger1,action1,channel,trigger2,action2) 10 if i.ac ==n j.tr ==n then 11 INTAC←-{i,n,升 11System Implementation APtr,ac Cca,ch Ss ——应用中所有触发动作 行为元组 ——功能与信道之间的关系 ——系统信道 (trigger1, action1, channel, trigger2, action2) (trigger, action) 11