A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra

Andre Trudel, Denis Gagne

Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents temporal dependencies and constraints. We are interested in doing a temporal based comparison between process modelling formalisms and tools by first converting them to a common representation. The temporal representation chosen is Allen’s interval algebra. In this paper, we explain how to convert a project specified in Microsoft Project to a set of logical formulas. This conversion provides a formal temporal semantics for Microsoft Project.

Subjects: 3.6 Temporal Reasoning; 1. Applications

Submitted: May 14, 2007


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.