This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
March 2007 (vol. 19 no. 3)
pp. 427-440
An important conceptual modeling activity in the development of database, object-oriented and agent-oriented systems is the capture and expression of domain constraints governing underlying data and object states. UML is increasingly used for capturing conceptual models, as it supports conceptual modeling of arbitrary domains, and has extensible notation allowing capture of invariant constraints both in the class diagram notation and in the separately denoted OCL syntax. However, a need exists for increased formalism in constraint capture that does not sacrifice ease of use for the analyst. In this paper, we codify a set of invariant patterns formalized here for capturing a rich category of propositional constraints on class diagrams. We use tools of Boolean logic to set out the distinction between these patterns, applying them in modeling by way of example. We use graph notation to systematically uncover constraints hidden in the diagrams. We present data collected from applications across different domains, supporting the importance of "pattern-finding” for n{\hbox{-}}{\rm{variable}} propositional constraints using general graph theoretic methods. This approach enriches UML-based conceptual modeling for greater completeness, consistency, and correctness by formalizing the syntax and semantics of these constraint patterns, which has not been done in a comprehensive manner before now.
Index Terms:
Conceptual modeling, constraints, Unified Modeling Language, knowledge engineering, object-oriented analysis, agent-oriented software engineering, Boolean logic.
Citation:
James P. Davis, Ronald D. Bonnell, "Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis," IEEE Transactions on Knowledge and Data Engineering, vol. 19, no. 3, pp. 427-440, March 2007, doi:10.1109/TKDE.2007.45
Usage of this product signifies your acceptance of the Terms of Use.