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]

Abstract

Abstract is missing.