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

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.

• Type: Conference
• Year: 2009
• Where: BPSC
• Authors: Denis Gagné, André Trudel
• Keywords: BPSC 2007, BPSC 2009, Process Modelling Formalisms, Process Modelling Systems, Temporal Based Comparison