Author of the publication

Linking Data and BPMN Processes to Achieve Executable Models.

, , , and . CAiSE, volume 10253 of Lecture Notes in Computer Science, page 612-628. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Adapting Integrity Checking Techniques for Concurrent Operation Executions., and . SAM, volume 11753 of Lecture Notes in Computer Science, page 235-248. Springer, (2019)Improving the definition of general constraints in UML., , , , and . Softw. Syst. Model., 7 (4): 469-486 (2008)Ensuring the semantic correctness of a BAUML artifact-centric BPM., , and . Inf. Softw. Technol., (2018)Logic Foundations of the OCL Modelling Language., , , , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 657-664. Springer, (2014)UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion., , , , and . CIKM, page 3152-3156. ACM, (2021)The Constructive Method for Query Containment Checking., , and . DEXA, volume 1677 of Lecture Notes in Computer Science, page 583-593. Springer, (1999)XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices., , and . ICSOC Workshops, volume 12632 of Lecture Notes in Computer Science, page 472-484. Springer, (2020)Entity Types Derived by Symbol-Generating Rules., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 376-389. Springer, (2003)SVT: Schema Validation Tool for Microsoft SQL-Server., , , , and . VLDB, page 1349-1352. Morgan Kaufmann, (2004)Verification and Validation of UML Artifact-Centric Business Process Models., , and . CAiSE, volume 9097 of Lecture Notes in Computer Science, page 434-449. Springer, (2015)