Distributed Systems

Heerko Groefsema

  1. On the Use of the Conformance and Compliance Keywords During Verification of Business Processes (, and ), In BPM 2022 Forum, Springer International Publishing, .

    Abstract

    A wealth of techniques have been developed over the past decades to help organizations understand their processes, verify correctness against requirements and diagnose potential problems. In general, these techniques for verification allow us to check whether a business process conforms or complies with some specification, and each of them is specifically designed to solve a particular business problem at each stage of the BPM lifecycle. However, the terms conformance and compliance are often used as synonyms and their distinct differences in verification goals is blurring. As a result, the terminology used to describe the techniques or the corresponding verification activity does not always match with the precise meaning of the terms as they are defined in the area of verification. Consequently, the confusion of these terms may hamper the application of the different techniques and the correct positioning of research. In this position paper, we aim to provide comprehensive definitions and a unified terminology throughout the BPM lifecycle and the artifacts they apply to. Moreover, we explore the consequences when these terms are used incorrectly. In doing so, we aim to improve transfer from research to practical applications and increase adoption of relevant approaches and new advances in the field by clarifying the relation between available techniques and the intended verification goals.


    Keywords: Conformance, Compliance, Verification, Review


    BibTeX



  2. "log data compliance" (, , and ), .

    Abstract

    This disclosure relates to a computer analysing log data. The computer receives log data comprising traces having log events from respective process executions. The computer creates a stream of log events, wherein the stream is sorted by the event time. The computer iterates over the stream of log events, and for each log event, executes update functions that define updates of a set of variables based on the log events. The set of variables comprises at least one cross-trace variable to calculate an updated value of the set of variables. The update functions define updates of the cross-trace variable in response to the log events of the traces. The computer further executes evaluation functions on the set of variables to determine compliance in relation to the log data based on the updated value. The evaluation functions represent compliance rules based on the set of variables including the cross-trace variable.


    BibTeX



    urlpdf
  3. Efficient conditional compliance checking of business process models (, and ), In Computers in Industry, volume 115, .

    BibTeX



    urldoi
  4. Variability in business processes: Automatically obtaining a generic specification (, , and ), In Information Systems, volume 80, .

    BibTeX



    urldoi
  5. A Formal Model for Compliance Verification of Service Compositions (, and ), In IEEE Transactions on Services Computing, volume 11, .

    BibTeX



    doi
  6. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .

    BibTeX



  7. Business Process Variability: A Study into Process Management and Verification (), Rijksuniversiteit Groningen, .

    BibTeX



    url
  8. Design-time Compliance of Service Compositions in Dynamic Service Environments ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .

    BibTeX



  9. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, .

    BibTeX



    url
  10. Imperative versus Declarative Process Variability: Why Choose? ( and ), Technical report JBI 2011-12-6, University of Groningen, .

    BibTeX



    url
  11. Declarative Enhancement Framework for Business Processes ( and ), In International Conference on Service-Oriented Computing, .

    BibTeX



    url
  12. Business Process Variability: A Tool for Declarative Template Design ( and ), In International Conference on Service-Oriented Computing - Demo Track, .

    BibTeX



  13. Requirements and Tools for Variability Management (), In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC, .

    BibTeX



    url