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

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.
  • Vollständige Referenz
  • BibTeX
Gagné, D. & Trudel, A., (2009). A formal temporal semantics for microsoft project based on Allen's interval algebra. In: Abramowicz, W., Maciaszek, L., Kowalczyk, R. & Speck, A. (Hrsg.), Business process, services – computing and intelligent service management. Bonn: Gesellschaft für Informatik e.V.. (S. 32-45).
@inproceedings{mci/Gagné2009,
author = {Gagné, Denis AND Trudel, André},
title = {A formal temporal semantics for microsoft project based on Allen's interval algebra},
booktitle = {Business process, services – computing and intelligent service management},
year = {2009},
editor = {Abramowicz, Witold AND Maciaszek, Leszek AND Kowalczyk, Ryszard AND Speck, Andreas} ,
pages = { 32-45 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
gi-proc-147-002.pdf233.7Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-241-3
ISSN: 1617-5468
Datum: 2009
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige