2 papers
cs.SE2025
BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing
Ahmed Awad, Feras Awaysheh, Hugo A. López
Business process models are essential for the representation, analysis, and execution of organizational processes, serving as orchestration blueprints while relying on (web) servic…
cs.SE2024
Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
Hugo A. López, Thomas T. Hildebrandt
Digitalization efforts often face a key challenge: business processes must not only be efficient in achieving their goals but also adhere to legal regulations. Business process com…