Sciweavers

Share
BPSC
2009

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

10 years 25 days ago
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.
Denis Gagné, André Trudel
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where BPSC
Authors Denis Gagné, André Trudel
Comments (0)
books