A formal temporal semantics for microsoft project based on Allen's interval algebra
| dc.contributor.author | Gagné, Denis | |
| dc.contributor.author | Trudel, André | |
| dc.contributor.editor | Abramowicz, Witold | |
| dc.contributor.editor | Maciaszek, Leszek | |
| dc.contributor.editor | Kowalczyk, Ryszard | |
| dc.contributor.editor | Speck, Andreas | |
| dc.date.accessioned | 2019-06-03T12:25:21Z | |
| dc.date.available | 2019-06-03T12:25:21Z | |
| dc.date.issued | 2009 | |
| dc.description.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. | en |
| dc.identifier.isbn | 978-3-88579-241-3 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/23236 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Business process, services – computing and intelligent service management | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-147 | |
| dc.title | A formal temporal semantics for microsoft project based on Allen's interval algebra | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 45 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 32 | |
| gi.conference.date | March 23–25, 2009 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1