Dr. Heerko Groefsema

Assistant Professor

• Room number: 591
• Email: h.groefsema@rug.nl
• Personal website: Heerko Groefsema

Research

• Service Oriented Architecture
• Business Process Management
• Variability Management

Publications

1. Groefsema, H., & van Beest, N. R. T. P. (2024). Supporting business process variability through declarative process families. Computers in Industry, 159-160. https://doi.org/10.1016/j.compind.2024.104107
2. van Beest, N., Groefsema, H., Cryer, A., Governatori, G., Colombo Tosatto, S., & Burke, H. (2023). Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. IEEE Transactions on Software Engineering, 49(11), 1–14. https://doi.org/10.1109/TSE.2023.3319086
3. Groefsema, H., van Beest, N., & Governatori, G. (2022). On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. In C. Di Ciccio, R. Dijkman, A. del Río Ortega, & S. Rinderle-Ma (Eds.), Business Process Management Forum (pp. 21–37). Springer. https://doi.org/10.1007/978-3-031-16171-1_2
4. Governatori, G., van Beest, N., Cryer, A., & Groefsema, H. (2021). log data compliance [Patent].
5. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2020). Efficient conditional compliance checking of business process models. Computers in Industry, 115.
6. van Beest, N. R. T. P., Groefsema, H., García-Bañuelos, L., & Aiello, M. (2019). Variability in business processes: Automatically obtaining a generic specification. Information Systems, 80, 36–55. https://doi.org/10.1016/j.is.2018.09.005
7. Groefsema, H., van Beest, N. R. T. P., & Aiello, M. (2018). A Formal Model for Compliance Verification of Service Compositions. IEEE Transactions on Services Computing, 11(3), 466–479. https://doi.org/10.1109/TSC.2016.2579621
8. Groefsema, H., van Beest, N., & Armas-Cervantes, A. (2017). Automated compliance verification of business processes in Apromore. Proceedings of the BPM Demo Track 2017.
9. Groefsema, H., & Van Beest, N. (2016). Design-Time Compliance of Service Compositions in Dynamic Service Environments. Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015, 108–115.
10. Groefsema, H. (2016). Business Process Variability: a study into process management and verification [PhD thesis]. Rijksuniversiteit Groningen.
11. Groefsema, H., & van Beest, N. (2015). Design-time Compliance of Service Compositions in Dynamic Service Environments. 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA), 108–115. https://doi.org/10.1109/SOCA.2015.14
12. Groefsema, H., & Bucur, D. (2013). A survey of formal business process verification: From soundness to variability. Proceedings of International Symposium on Business Modeling and Software Design, 198–203.
13. H. Groefsema, P. B., & Aiello, M. (2012). Imperative versus Declarative Process Variability: Why Choose? (Technical Report No. JBI 2011-12-6; Issue JBI 2011-12-6). University of Groningen. http://www.cs.rug.nl/ds/uploads/pubs/why.pdf
14. Bulanov, P., Groefsema, H., & Aiello, M. (2012). Business Process Variability: A Tool for Declarative Template Design. Service-Oriented Computing, 7221, 241–242. https://doi.org/10.1007/978-3-642-31875-7_30
15. Groefsema, H., Bulanov, P., & Aiello, M. (2011). Declarative Enhancement Framework for Business Processes. In G. Kappel, Z. Maamar, & H. R. MotahariNezhad (Eds.), Service-Oriented Computing (Vol. 7084, pp. 495–504). Springer. https://doi.org/10.1007/978-3-642-25535-9_34
16. Aiello, M., Bulanov, P., & Groefsema, H. (2010). Requirements and Tools for Variability Management. Computer Software and Applications Conference Workshops (COMPSACW), 245–250. https://doi.org/10.1109/COMPSACW.2010.50
17. Aiello, M., Bulanov, P., & Groefsema, H. (2010). A survey of variability management requirements. 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010, 662, 35–36.