| Author | Ly, Linh Thao | dc.contributor.author |
| Author | Knuplesch, David | dc.contributor.author |
| Author | Rinderle-Ma, Stefanie | dc.contributor.author |
| Author | Goeser, Kevin | dc.contributor.author |
| Author | Pfeifer, Holger | dc.contributor.author |
| Author | Reichert, Manfred | dc.contributor.author |
| Author | Dadam, Peter | dc.contributor.author |
| Date of accession | 2021-09-07T07:25:41Z | dc.date.accessioned |
| Available in OPARU since | 2021-09-07T07:25:41Z | dc.date.available |
| Date of first publication | 2011 | dc.date.issued |
| Language | en | dc.language.iso |
| Publisher | Universität Ulm | dc.publisher |
| Keyword | Compliance rules | dc.subject |
| Keyword | Data-aware compliance checking | dc.subject |
| Keyword | Process verification | dc.subject |
| Keyword | COMPLIANCE-CHECKING | dc.subject |
| Keyword | SPECIFICATION | dc.subject |
| Keyword | VIOLATION | dc.subject |
| Dewey Decimal Group | DDC 000 / Computer science, information & general works | dc.subject.ddc |
| Title | SeaFlows Toolset - Compliance Verification Made Easy for Process-Aware Information Systems | dc.title |
| Resource type | Beitrag zu einer Konferenz | dc.type |
| Faculty | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.affiliationGeneral |
| Institution | Institut für Datenbanken und Informationssysteme | uulm.affiliationSpecific |
| Institution | Institut für Künstliche Intelligenz | uulm.affiliationSpecific |
| DCMI Type | Text | uulm.typeDCMI |
| Category | Publikationsnachweise | uulm.category |
| DOI (external) | 10.1007/978-3-642-17722-4_6 | dc.identifier.doiExternal |
| Source - Title of source | Information systems evolution | source.title |
| Quellenangabe - Herausgeber | Soffer, Pnina | source.contributor.editor1 |
| Source - Publisher | Berlin | source.publisherPlace |
| Source - Place of publication | Springer | source.publisher |
| Source - Year | 2011 | source.year |
| Source - From page | 76 | source.fromPage |
| Source - To page | 91 | source.toPage |
| Source - Serial | Lecture Notes in Business Information Processing ; 72 | source.series |
| Source - ISSN | 1865-1348 | source.identifier.issn |
| Source - ISBN | 978-3-642-17721-7 | source.identifier.isbn |
| Conference name | 22nd International Conference on Advanced Information Systems Engineering | uulm.conferenceName |
| Conference place | Hammamet | uulm.conferencePlace |
| Conference start date | 2010-06-07 | uulm.conferenceStartDate |
| Conference end date | 2010-06-09 | uulm.conferenceEndDate |
| Community | Fakultät für Ingenieurwissenschaften, Informatik und Psychologie | uulm.community |
| WoS | 000290924200006 | uulm.identifier.wos |
| Bibliography | uulm | uulm.bibliographie |
