Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


Business Process, ServicesComputing and Intelligent Service Management P-147, 32-45 (2008).

Gesellschaft für Informatik, Bonn
2008


Editors

Witold Abramowicz, Leszek Maciaszek, Ryszard Kowalczyk, Andreas Speck (eds.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

A formal temporal semantics for microsoft project based on Allen's interval algebra

Denis Gagné and André Trudel

Abstract


Process 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. .


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-241-3


Last changed 24.01.2012 22:05:08