User Tools

Site Tools


Jump to


This is an old revision of the document!

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.

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.

The paper linked to above is a draft version which was submitted for review for the COORDINATION 2007 conference. The camera-ready version which was improved and extended to address the reviewer comments will appear in the proceedings of that conference.
crime/introduction.1173781949.txt.gz · Last modified: 2008/06/16 13:34 (external edit)