%0 Conference Proceedings
%T Comingle: Distributed Logic Programming for Decentralized Mobile Ensembles
%+ Carnegie Mellon University [Pittsburgh] (CMU)
%+ Carnegie Mellon University in Qatar
%A Lam, Edmund
%A Cervesato, Iliano
%A Fatima, Nabeeha
%Z Part 2: Coordinating Ensembles
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 51-66
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_4
%K Mobile Device
%K Logic Programming
%K Local Computation
%K Abstract Syntax
%K Runtime System
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774944/document
%2 https://inria.hal.science/hal-01774944/file/978-3-319-19282-6_4_Chapter.pdf
%L hal-01774944
%U https://inria.hal.science/hal-01774944
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037