Gagné, DenisTrudel, AndréAbramowicz, WitoldMaciaszek, LeszekKowalczyk, RyszardSpeck, Andreas2019-06-032019-06-032009978-3-88579-241-3https://dl.gi.de/handle/20.500.12116/23236Process modeling systems are complex and difficult to compare. A key attribute of any process modeling 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 modeling 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.enText/Conference Paper1617-5468