Formal translation of YAWL workflow models to the Alloy formal specifications: a testing application
Crossref DOI link: https://doi.org/10.1007/s10270-022-01043-8
Published Online: 2022-11-01
Published Print: 2023-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Rivadeh, Mehran http://orcid.org/0000-0003-1795-0996
Mirian-Hosseinabadi, Seyed-Hassan
Text and Data Mining valid from 2022-11-01
Version of Record valid from 2022-11-01
Article History
Received: 28 July 2021
Revised: 11 August 2022
Accepted: 29 August 2022
First Online: 1 November 2022