Distributed Systems

Heerko Groefsema

  1. Efficient conditional compliance checking of business process models (, and ), In Computers in Industry, volume 115, . [url] [doi]
  2. Variability in business processes: Automatically obtaining a generic specification (, , and ), In Information Systems, volume 80, . [url] [doi]
  3. A Formal Model for Compliance Verification of Service Compositions (, and ), In IEEE Transactions on Services Computing, volume 11, . [doi]
  4. Automated compliance verification of business processes in Apromore (, and ), In Proceedings of the BPM Demo Track 2017, .
  5. Business Process Variability: A Study into Process Management and Verification (), Rijksuniversiteit Groningen, . [pdf]
  6. Design-time Compliance of Service Compositions in Dynamic Service Environments ( and ), In IEEE International Conference on Service Oriented Computing & Applications, .
  7. A Survey of Formal Business Process Verification: From Soundness to Variability ( and ), In International Symposium on Business Modeling and Software Design, . [pdf]
  8. Imperative versus Declarative Process Variability: Why Choose? ( and ), Technical report JBI 2011-12-6, University of Groningen, . [pdf]
  9. Declarative Enhancement Framework for Business Processes ( and ), In International Conference on Service-Oriented Computing, . [pdf]
  10. Business Process Variability: A Tool for Declarative Template Design ( and ), In International Conference on Service-Oriented Computing - Demo Track, .
  11. Requirements and Tools for Variability Management (), In IEEE Workshop on Requirement Engineering for Services at IEEE COMPSAC, . [pdf]