Aligning Processes with High-Level Requirements: Goal-Model-Based Compliance Checking

Read full text
Authors: Juanita Caballero-Villalobos, Hubert Baumeister, Elda Paja, Olga Kokoulina, Hugo A. López
Cited by: 0

Fields of Study & Subjects

Business Process Modeling and Analysis Model-Driven Software Engineering Techniques Formal Methods in Verification

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint