caa a22 4500 60551626X CHVBK 20210128100713.0 cr unu---uuuuu 210128e20151101xx s 000 0 eng 10.1007/s00165-015-0339-x doi (NATIONALLICENCE)springer-10.1007/s00165-015-0339-x Typed context awareness Ambient Calculus for pervasive applications [Elektronische Daten] [Douglas Pasqualin, Juliana Vizzotto, Eduardo Piveta] The idea of pervasive computing is that information processing will become part of everyday life, and will be available everywhere, making computing so natural to the point of being invisible in the ambient. An important concept that arises with pervasive computing is context awareness. Context is any information that can be used to characterize an entity. Based on contextual information, applications can dynamically adapt themselves to the environments in which they operate. The Calculus of Context-aware Ambients (CCA) is an untyped formal language used to describe mobile and context-aware pervasive applications. The CCA extends the Ambient Calculus by providing new features, such as context-guarded action and process abstraction, allowing to model contexts and context-aware computations. In this work, we define a type system for the CCA, called CCA T , with the focus in the communication between processes and in the correct use of process abstraction and contexts, extending previous works on the definition of type systems for mobile computing. Moreover, we prove that the proposed type system has the subject reduction property (or type preservation). We also model a hospital scenario using CCA T to demonstrate the use of the proposed type system. British Computer Society, 2015 Type systems nationallicence Ambient calculus nationallicence Pervasive computing nationallicence Context awareness nationallicence Pasqualin Douglas Centro de Processamento de Dados, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut Vizzotto Juliana Departamento de Linguagens e Sistemas de Computação, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut Piveta Eduardo Departamento de Linguagens e Sistemas de Computação, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut Formal Aspects of Computing Springer London 27/5-6(2015-11-01), 885-916 0934-5043 27:5-6<885 2015 27 165 https://doi.org/10.1007/s00165-015-0339-x text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s00165-015-0339-x text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Pasqualin Douglas Centro de Processamento de Dados, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut NATIONALLICENCE 700 1- Vizzotto Juliana Departamento de Linguagens e Sistemas de Computação, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut NATIONALLICENCE 700 1- Piveta Eduardo Departamento de Linguagens e Sistemas de Computação, Universidade Federal de Santa Maria, Santa Maria, RS, Brazil aut NATIONALLICENCE 773 0- Formal Aspects of Computing Springer London 27/5-6(2015-11-01), 885-916 0934-5043 27:5-6<885 2015 27 165