A Static Business Level Verification Framework for Cross- Organizational Business Process Models using SWRL
| dc.contributor.author | Namiri, Kioumars | |
| dc.contributor.author | Kügler, Mani-Maurice | |
| dc.contributor.author | Stojanovic, Nenad | |
| dc.contributor.editor | Koschke, Rainer | |
| dc.contributor.editor | Herzog, Otthein | |
| dc.contributor.editor | Rödiger, Karl-Heinz | |
| dc.contributor.editor | Ronthaler, Marc | |
| dc.date.accessioned | 2019-05-15T09:15:27Z | |
| dc.date.available | 2019-05-15T09:15:27Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | In this paper we introduce a solution for the problem of the design-time verification of cross-organizational business processes. The configuration of the processes can be checked in order to examine whether it fulfills a certain set of business level requirements. A formal Ontology in OWL for these kinds of processes is provided, so logic mechanisms for the verification are applied. The business level requirements are expressed in SWRL. A demonstrable implementation integrated in an already existing business process modeling tool has been developed. | en |
| dc.identifier.isbn | 978-3-88579-206-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/22587 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Informatik 2007 – Informatik trifft Logistik – Band 1 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-109 | |
| dc.title | A Static Business Level Verification Framework for Cross- Organizational Business Process Models using SWRL | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 236 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 232 | |
| gi.conference.date | 24.-27. September 2007 | |
| gi.conference.location | Bremen | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1