Asadullah Shaikh, Uffe Kock Wiil
2012 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12  
Model errors are a major concern in the paradigm of Model-Driven Development (MDD) because of model transformations and code generation. It is important to detect model errors before transformation as in the later stages it is harder to trace and fix such errors. Formal verification tools and techniques can check the correctness of a model, but their high computational complexity can limit their scalability. In this research, we present a tool named UMLtoCSP (UOST) that uses a UML/OCL Slicing
more » ... chnique (UOST) to verify complex UML/OCL class diagram. The tool accepts UML class diagrams annotated with OCL constraints as input, breaks the original model m into m1, m2, m3,...,mn submodels while abstracting unnecessary model elements.
doi:10.1145/2393596.2393639 dblp:conf/sigsoft/ShaikhW12 fatcat:qsdupgwtvfhfvbsxyeecpibgxy