Vi presenterar analys av Context-medvetna Ambients (CCA i korthet) för modellering och verifiering av mobila system som är kontextmedvetna. Denna processkalkyl bygger på den mobila omgivningens kalkyl och introducerar nya konstruktioner för att göra det möjligt för omgivningen och processerna att vara medvetna om den miljö i vilken de utförs. Detta resulterar i en kraftfull analys där både rörlighet och kontextmedvetenhet är förstklassiga medborgare. Vi presenterar syntaxen och en formell semantik av kalkylen. Vi föreslår en ny teori om likvärdiga processer som gör det möjligt att identifiera system som har samma sammanhangsmedvetna beteenden. Vi bevisar att CCA kodar för den π - kalculus som är känd för att vara en universell beräkningsmodell. Slutligen illustrerar vi den pragmatiska analysen genom många exempel och en verklig fallstudie av en sammanhangsmedveten sjukhussäng.
Analysen av Context-aware Ambient (CCA) REF föreslogs 2011 för modellering och verifiering av mobila system som är kontextmedvetna.
The Calculus of Context-aware Ambients
{'venue': 'J. Comput. Syst. Sci.', 'journal': 'J. Comput. Syst. Sci.', 'mag_field_of_study': ['Computer Science']}