Complete Context Calculus Design and Implementation in GIPSY

Abstract

This paper presents the integration into the GIPSY of Lucx's context calculus defined in Wan's PhD thesis. We start by defining different types of tag sets, then we explain the concept of context, the types of context and the context calculus operators. Finally, we present how context entities have been abstracted into Java classes and embedded into the GIPSY system.

21 page; 18 listings; 2 figures; a complete version of the referenced simple context calculus implementation

Cited by in corpus (4)

• Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
• Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics
• Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
• The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction