Author of the publication

Reasoning on UML Class Diagrams with OCL Constraints.

, and . ER, volume 4215 of Lecture Notes in Computer Science, page 497-512. Springer, (2006)

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

Entity Types Derived by Symbol-Generating Rules., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 376-389. Springer, (2003)Logic Foundations of the OCL Modelling Language., , , , and . JELIA, volume 8761 of Lecture Notes in Computer Science, page 657-664. Springer, (2014)Improving the definition of general constraints in UML., , , , and . Softw. Syst. Model., 7 (4): 469-486 (2008)Ontology-based mappings., , , and . Data Knowl. Eng., (2015)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)SVT: Schema Validation Tool for Microsoft SQL-Server., , , , and . VLDB, page 1349-1352. Morgan Kaufmann, (2004)Adapting Integrity Checking Techniques for Concurrent Operation Executions., and . SAM, volume 11753 of Lecture Notes in Computer Science, page 235-248. Springer, (2019)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)Ensuring the semantic correctness of a BAUML artifact-centric BPM., , and . Inf. Softw. Technol., (2018)