Verification and Validation of UML Conceptual Schemas with OCL Constraints

  title={Verification and Validation of UML Conceptual Schemas with OCL Constraints},
  author={Anna Queralt and Ernest Teniente},
  journal={ACM Trans. Softw. Eng. Methodol.},
To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen from two different perspectives. On the one hand, from the point of view of its definition, a conceptual schema must be right. This is ensured by means of verification techniques that check whether the schema satisfies several correctness properties. On the other hand, from… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS
38 Extracted Citations
10 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 38 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 10 references

The HOL-OCL Book

  • Tech. rep. 525, Swiss Federal Institute of…
  • 2006
Highly Influential
5 Excerpts

On the consistency of int-cardinality constraints

  • Proceedings of the 17th International Conference…
  • 1998
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…