Typed context awareness Ambient Calculus for pervasive applications. (November 2015)
- Record Type:
- Journal Article
- Title:
- Typed context awareness Ambient Calculus for pervasive applications. (November 2015)
- Main Title:
- Typed context awareness Ambient Calculus for pervasive applications
- Authors:
- Pasqualin, Douglas
Vizzotto, Juliana
Piveta, Eduardo - Abstract:
- Abstract 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 beinginvisible in the ambient. An important concept that arises with pervasive computing iscontext 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, calledCCA 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 usingCCA T to demonstrate the use of the proposed type system.
- Is Part Of:
- Formal aspects of computing. Volume 27:Number 5(2015)
- Journal:
- Formal aspects of computing
- Issue:
- Volume 27:Number 5(2015)
- Issue Display:
- Volume 27, Issue 1 (2015)
- Year:
- 2015
- Volume:
- 27
- Issue:
- 1
- Issue Sort Value:
- 2015-0027-0001-0000
- Page Start:
- 885
- Page End:
- 916
- Publication Date:
- 2015-11
- Subjects:
- Type systems -- Ambient calculus -- Pervasive computing -- Context awareness
Computer science -- Periodicals
004.05 - Journal URLs:
- http://www.springerlink.com/content/0934-5043/ ↗
http://www.springerlink.com/content/1433-299X ↗
http://www.springerlink.com/openurl.asp?genre=journal&issn=0934-5043 ↗
http://www.springer.com/gb/ ↗ - DOI:
- 10.1007/s00165-015-0339-x ↗
- Languages:
- English
- ISSNs:
- 0934-5043
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 4008.335800
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 10200.xml