Advanced search
Add to list

Fact spaces : coordination in the face of disconnection

Author
Organization
Abstract
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly relevant if the device provided context information rather than emitting messages, as such context information then becomes invalid. This paper proposes the Fact Space Model which establishes a logic coordination language on top of LIME's federated tuple space. In the model, the federated space offers applications a consistent view of their environment over which they can reason using logic rules. These rules encode which conclusions may be drawn from the presence of particular facts, and are similarly used to ensure the consistency of these conclusions when devices go out of range. By allowing applications to add application-specific hooks to these rules, the application programmer is offered a general-purpose mechanism to respond to the discovery and disconnection of devices.

Citation

Please use this url to cite or link to this publication:

MLA
Mostinckx, Stijn, Christophe Scholliers, Eline Philips, et al. “Fact Spaces : Coordination in the Face of Disconnection.” Lecture Notes in Computer Science. Ed. AL Murphy & J Vitek. Vol. 4467. Berlin, Germany: Springer, 2007. 268–285. Print.
APA
Mostinckx, S., Scholliers, C., Philips, E., Herzeel, C., & De Meuter, W. (2007). Fact spaces : coordination in the face of disconnection. In A. Murphy & J. Vitek (Eds.), Lecture Notes in Computer Science (Vol. 4467, pp. 268–285). Presented at the 9th International conference on Coordination Models and Languages (COORDINATION 2007), Berlin, Germany: Springer.
Chicago author-date
Mostinckx, Stijn, Christophe Scholliers, Eline Philips, Charlotte Herzeel, and Wolfgang De Meuter. 2007. “Fact Spaces : Coordination in the Face of Disconnection.” In Lecture Notes in Computer Science, ed. AL Murphy and J Vitek, 4467:268–285. Berlin, Germany: Springer.
Chicago author-date (all authors)
Mostinckx, Stijn, Christophe Scholliers, Eline Philips, Charlotte Herzeel, and Wolfgang De Meuter. 2007. “Fact Spaces : Coordination in the Face of Disconnection.” In Lecture Notes in Computer Science, ed. AL Murphy and J Vitek, 4467:268–285. Berlin, Germany: Springer.
Vancouver
1.
Mostinckx S, Scholliers C, Philips E, Herzeel C, De Meuter W. Fact spaces : coordination in the face of disconnection. In: Murphy A, Vitek J, editors. Lecture Notes in Computer Science. Berlin, Germany: Springer; 2007. p. 268–85.
IEEE
[1]
S. Mostinckx, C. Scholliers, E. Philips, C. Herzeel, and W. De Meuter, “Fact spaces : coordination in the face of disconnection,” in Lecture Notes in Computer Science, Paphos, Cyprus, 2007, vol. 4467, pp. 268–285.
@inproceedings{8568011,
  abstract     = {Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly relevant if the device provided context information rather than emitting messages, as such context information then becomes invalid. This paper proposes the Fact Space Model which establishes a logic coordination language on top of LIME's federated tuple space. In the model, the federated space offers applications a consistent view of their environment over which they can reason using logic rules. These rules encode which conclusions may be drawn from the presence of particular facts, and are similarly used to ensure the consistency of these conclusions when devices go out of range. By allowing applications to add application-specific hooks to these rules, the application programmer is offered a general-purpose mechanism to respond to the discovery and disconnection of devices.},
  author       = {Mostinckx, Stijn and Scholliers, Christophe and Philips, Eline and Herzeel, Charlotte and De Meuter, Wolfgang},
  booktitle    = {Lecture Notes in Computer Science},
  editor       = {Murphy, AL and Vitek, J},
  isbn         = {9783540727934},
  issn         = {0302-9743},
  language     = {eng},
  location     = {Paphos, Cyprus},
  pages        = {268--285},
  publisher    = {Springer},
  title        = {Fact spaces : coordination in the face of disconnection},
  volume       = {4467},
  year         = {2007},
}

Web of Science
Times cited: