User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
crime:introduction [2007/03/13 11:32]
stijnm created
crime:introduction [2010/07/31 16:08] (current)
stijnm *
Line 1: Line 1:
 ====== Introduction to CRIME ====== ====== Introduction to CRIME ======
-CRIME (Consistent Reasoning in a Mobile Environment) is a logic-based coordination language, which implements the Fact Spaces Model. The essence of the language is that applications can assert and retract public facts which represent knowledge about their immediate environment. Using rules, applications can respond to both the appearance and disappearance of facts, allowing them to react to changes in their environment.+CRIME (Consistent Reasoning in a Mobile Environment) is a logic-based coordination language, which was developed by Christophe Scholliers and Eline Philips during their master thesis. CRIME implements the [[crime:factspaces|Fact Space Model]], which was designed by Christophe and Eline in collaboration with their supervisors Stijn Mostinckx and Charlotte Herzeel
-Moreover, facts are automatically retracted whenever the device that provided them becomes unreachable. This allows applications to deal with the disconnection of context information providers in a structured way. A more complete discussion of the design rationale behind the CRIME coordination language is documented in [[|this paper]].+CRIME allows applications to specify logic rules which specify how the applications should respond to changes in its immediate environment. Such changes are modelled by the addition or removal of facts which contain context information. 
-<note>The paper linked to above is a draft version which was submitted for review for the COORDINATION 2007 conferenceThe camera-ready version which was improved and extended to address the reviewer comments will appear in the proceedings of that conference.</note>+A key feature of CRIME is that applications can explicitly respond to the removal of informationThis gives fine-grained control over how an application should respond to disconnection, which implicitly removes information from the system.
 +The CRIME Engine that was developed by Christophe and Eline in the context of their master thesis is available for download [[crime:download|here]].
 +===== Publications =====
 +S. Mostinckx, C. Scholliers, E. Philips, C. Herzeel, W. De Meuter. **Fact Spaces: Coordination in the Face of Disconnection.** In Murphy and Vitek (eds.), //Proc. of the 9th Int. Conf. on Coordination Models and Languages (COORDINATION)//. LECT NOTES COMPUT SC 4467, pp. 268–285. Springer Verlag, June 2007. ([[|pdf]],[[|bibtex]])
 +Describes the Fact Space Model and contrasts it to existing coordination languages geared towards mobile ad hoc networks. Illustrates how a collaborative jukebox application can be constructed using CRIME rules
 +C. Scholliers, E. Philips **Coordination in Volatile Networks.** Master Dissertation, Vrije Universiteit Brussel, 2007. ([[|pdf]])
 +Master thesis which describes the design of the CRIME middleware in full detail with additional example applications. This dissertation also contains extensions to the default CRIME language not covered in the COORDINATION paper.
 +E. Philips, C. Scholliers, C. Herzeel and S. Mostinckx **Reasoning About Past Events in Context-Aware Middleware** In Mügge et al. (eds.) Proc. of the 3rd Int. WS. on Object Technology for Ambient Intelligence and Pervasive Systems. Pp. 27-32. ([[|pdf]])
 +Proposes the addition of operators from Metric Temporal Logic to the CRIME coordination language and illustrates how they can be used to make applications provide //smarter// context-aware behavior.
crime/introduction.1173781949.txt.gz · Last modified: 2008/06/16 13:34 (external edit)