Author of the publication

Validation of UML Conceptual Schemas with Operations.

, and . CAiSE Forum, volume 344 of CEUR Workshop Proceedings, page 101-104. CEUR-WS.org, (2008)

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

Ontology-based mappings., , , and . Data Knowl. Eng., (2015)Logic Foundations of the OCL Modelling Language., , , , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 657-664. Springer, (2014)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)Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance., and . FoIKS, volume 1762 of Lecture Notes in Computer Science, page 192-212. Springer, (2000)An Ontology-Based Framework for Describing Discoverable Data Services., and . CAiSE, volume 10816 of Lecture Notes in Computer Science, page 220-235. Springer, (2018)Entity Types Derived by Symbol-Generating Rules., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 376-389. Springer, (2003)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)