kirancodes.me
To Proof Maintenance & Beyond!

Automated refactoring of OCL constraints with search

Hong Lu, Shuai Wang, Tao Yue, Shaukat Ali, Jan F. Nygård

Abstract

Object Constraint Language (OCL) constraints are typically used for providing precise semantics to models developed with the Unified Modeling Language (UML). When OCL constraints evolve in a regular basis, it is essential that they are easy to understand and maintain. For instance, in cancer registries, to ensure the quality of cancer data, more than one thousand medical rules are defined and evolve regularly. Such rules can be specified with OCL. It is, therefore, important to ensure the understandability and maintainability of medical rules specified with OCL.

BibTeX
@inproceedings{Lu-al:ICSE18,
  author    = {Hong Lu and
               Shuai Wang and
               Tao Yue and
               Shaukat Ali and
               Jan F. Nyg{\r{a}}rd},
  title     = {Automated refactoring of {OCL} constraints with search},
  booktitle = {ICSE},
  pages     = {1243},
  publisher = {{ACM}},
  year      = {2018},
}

Related papers