Formal Modeling and Verification of Services Managements for Pervasive Computing Environment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Formal Modeling and Verification of Services Managements for Pervasive Computing Environment

Abstract

Various forms of pervasive computing environments are being deployed in an increasing number of areas including hospitals, homes and military settings. Entities in this environment provide rich functionalities (i.e. services). How to organize these heterogeneous and distributed entities to deliver user-defined services is challenging. Pantagruel is an approach to integrate a taxonomical description of a pervasive computing environment into a visual programming language. A taxonomy describes the relevant entities of a given pervasive computing area and serves as a parameter to a sensor-controller-actuator develop- ment paradigm. The orchestration of area-specific entities is supported by high-level constructs, customized with respect to taxonomical information. Pantagruel is also a language that describes and manages services. Further more, Pantagruel can be viewed as a high level service contract between the service designer and the program implementer. This paper presents a for- malization of Pantagruel, both its syntax and semantics. Four kinds of static properties are stated based on the formalization. Predicate abstraction based algorithms are designed to verify the properties.
Fichier principal
Vignette du fichier
ieee-sssm.pdf (228.81 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00516020 , version 1 (08-03-2011)

Identifiers

  • HAL Id : inria-00516020 , version 1

Cite

Hai Wan, Zoé Drey, Zhiyang You, Liu Liu. Formal Modeling and Verification of Services Managements for Pervasive Computing Environment. The 7th International Conference on Service Systems and Service Management, Jun 2010, Tokyo, Japan. ⟨inria-00516020⟩
150 View
150 Download

Share

Gmail Mastodon Facebook X LinkedIn More