Show simple item record

dc.contributor.authorGhooshchi, Nina Ghanbari
dc.contributor.authorvan Beest, Nick
dc.contributor.authorGovernatori, Guido
dc.contributor.authorOlivieri, Francesco
dc.contributor.authorSattar, Abdul
dc.contributor.editorHalle, S
dc.contributor.editorVillemaire, R
dc.contributor.editorLagerstrom, R
dc.date.accessioned2018-06-25T23:41:33Z
dc.date.available2018-06-25T23:41:33Z
dc.date.issued2017
dc.identifier.isbn9781509030453
dc.identifier.issn2325-6354
dc.identifier.doi10.1109/EDOC.2017.21
dc.identifier.urihttp://hdl.handle.net/10072/377493
dc.description.abstractOrganisations typically have to cope with large numbers of business rules and existing regulations governing the business in which they operate. Due to the size and complexity of those rules, maintenance is difficult and it is increasingly complicated to ensure that each business process adheres to those rules. As such, automated extraction of business processes from rules has a number of clear advantages: (1) visualisation of all possible executions allowed by the rules, (2) automated execution and compliance by design, (3) identification of "inefficiencies" in the business rules. Existing approaches, however, only allow to generate partial traces based on input specifications and cannot handle many different input cases resulting in a full process. This paper presents a formal method to visualise and operationalise such sets of rules as a verifiable business process that is compliant by design and allows us to analyse all possible execution paths. In addition, it maintains information of all distinct input cases, to preserve dependencies between consecutive exclusive paths.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.publisher.placeUnited States
dc.relation.ispartofconferencename21st IEEE International Enterprise Distributed Object Computing Conference (EDOC)
dc.relation.ispartofconferencetitlePROCEEDINGS OF THE 2017 IEEE 21ST INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2017)
dc.relation.ispartofdatefrom2017-10-10
dc.relation.ispartofdateto2017-10-13
dc.relation.ispartoflocationQuebec City, CANADA
dc.relation.ispartofpagefrom89
dc.relation.ispartofpagefrom6 pages
dc.relation.ispartofpageto94
dc.relation.ispartofpageto6 pages
dc.relation.ispartofvolume2017-January
dc.subject.fieldofresearchComputational logic and formal languages
dc.subject.fieldofresearchcode461303
dc.titleVisualisation of compliant declarative business processes
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
dc.description.versionAccepted Manuscript (AM)
gro.facultyGriffith Sciences, Institute for Integrated and Intelligent Systems
gro.rights.copyright© 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
gro.hasfulltextFull Text
gro.griffith.authorSattar, Abdul


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record