Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis

James P. Davis, Ronald D. Bonnell. Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis. IEEE Trans. Knowl. Data Eng., 19(3):427-440, 2007. [doi]

@article{DavisB07:0,
  title = {Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis},
  author = {James P. Davis and Ronald D. Bonnell},
  year = {2007},
  doi = {10.1109/TKDE.2007.45},
  url = {http://dx.doi.org/10.1109/TKDE.2007.45},
  tags = {rule-based, modeling, analysis, constraints, UML, logic},
  researchr = {https://researchr.org/publication/DavisB07%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Knowl. Data Eng.},
  volume = {19},
  number = {3},
  pages = {427-440},
}