Knowledge Representation and Validation in a Decision Support System: Introducing a Variability Modelling Technique - Efficient Decision Support Systems: Practice and Challenges from Current to Future - page 47

Rule 13:
For all choice x and decision point y ; where x belongs to y and x is selected, then the
summation of x must not be greater than the minimum number allowed to be selected from
y .
Rules 12 and 13 validate the number of choices' selection considering the maximum and
minimum conditions in decision point definition (cardinality definition). The predicate
sum(y, (x)) returns the summation number of selected choices belongs to decision point y.
8. References
[1] Antal, P.” Integrative Analysis Of Data, Literature, And Expert Knowledge By Bayesian
Networks”,, Phd Thesis , Katholieke University Leuven, 2008.
[2]Batory, D., Benavides, D., Ruiz-Cortés, A., “Automated Analyses of Feature Models:
Challenges Ahead”, Special Issue on Software Product Lines , Communications of the
ACM , 49(12) December 2006,pp. 45 - 47.
[3]Brewster, C., O'Hara, K., ”Knowledge Representation with Ontologies: The Present and
Future”, Intelligent Systems, IEEE 1094-7167/04, 19(1), 2004.
[4]Christiansson, P. “Next Generation Knowledge Management Systems For The
Construction Industry”, Paper w78-2003-80, Proceedings 'Construction It Bridging
The Distance. Cib Publication 284. Auckland 2003, pp. 80-87.
[5] Celderman, M. “Task Difficulty, Task Variability and Satisfaction with Management
Support systems:Consequences and Solutions”, Research Memorandum 1997-53,
Vrije University, Amsterdam, 1997.
[6] Czarnecki, K., Hwan, C., Kim, P. “Cardinality-based Feature Modeling and Constraints:
A Progress Report”, International Workshop on Software Factories at (OOPSLA'05
), San Diego California, 2005.
[7] Densham, P. J. “Spatial decision support systems”, Geographical information systems:
principles and applications, London, Longman, 1991,pp. 403 - 412.
[8] Froelich, W., Wakulicz-Deja, A. ” Associational Cognitive Maps for Medical Diagnosis
Support”, Intelligent Information Systems Conference , Zakopane, Poland, 2008,
pp. 387-396.
[9] Grégoire, E. “Logical Traps in High-Level Knowledge and Information Fusion”,
Specialist Meeting Conference on Information Fusion for Command Support (IST-
055/RSM-001), The Hague, The Netherlands,2005.
[10] Haas, S. W. ”Knowledge Representation, Concepts, and Terminology: Toward a
Metadata Registry for the Bureau of Labor Statistics”, Final Report to the United
States Bureau of Labor Statistics, School of Information and Library Science,
University of North Carolina at Chapel Hill, July 1999.
[11] Hale, P., Scanlan, J., Bru, C. ” Design and Prototyping of Knowledge Management
Software for Aerospace Manufacturing”, 10 th ISPE International Conference on
Concurrent Engineering, Madeira Island , Portugal, 2003.
[12] Kang, K., Hess, J., Novak, W. Peterson, S. “Feature oriented domain analysis (FODA)
feasibility study”,Technical Report No. CMU/SEI-90-TR-21, Software Engineering
Institute, Carnegie Mellon University, 1990.