Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles

Edmund Lam
  • Fonction : Auteur
  • PersonId : 1031332
Iliano Cervesato
  • Fonction : Auteur
  • PersonId : 972450
Nabeeha Fatima
  • Fonction : Auteur
  • PersonId : 1031333

Résumé

Comingle is a logic programming framework aimed at simplifying the development of applications distributed over multiple mobile devices. Applications are written as a single declarative program (in a system-centric way) rather than in the traditional node-centric manner, where separate communicating code is written for each participating node. Comingle is based on committed-choice multiset rewriting and is founded on linear logic. We describe a prototype targeting the Android operating system and illustrate how Comingle is used to program distributed mobile applications. As a proof of concept, we discuss several such applications orchestrated using Comingle.
Fichier principal
Vignette du fichier
978-3-319-19282-6_4_Chapter.pdf (834.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01774944 , version 1 (24-04-2018)

Licence

Identifiants

Citer

Edmund Lam, Iliano Cervesato, Nabeeha Fatima. Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles. 17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.51-66, ⟨10.1007/978-3-319-19282-6_4⟩. ⟨hal-01774944⟩
152 Consultations
124 Téléchargements

Altmetric

Partager

More