Konferenzbeitrag
A formal temporal semantics for microsoft project based on Allen's interval algebra
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Datum
2009
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Business process, services – computing and intelligent service management
Regular Research Papers
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.