%
% $Id: hekate_case_upsell-mdl.pl,v 1.1 2009-11-17 10:03:08 kkluza Exp $
%
% The simple business use case for increasing the sale of banking products 
% (from OpenRules). Original HeKatE analysis by Sebastian Radzik, 
% reanalyzed by Krzysztof Kluza.
%
%     Copyright (C) 2006-9 by the HeKatE Project
%
%     VARDA has been develped by the HeKatE Project, 
%     see http://hekate.ia.agh.edu.pl
%
%     This file is part of VARDA.
%
%     VARDA is free software: you can redistribute it and/or modify
%     it under the terms of the GNU General Public License as published by
%     the Free Software Foundation, either version 3 of the License, or
%     (at your option) any later version.
%
%     VARDA is distributed in the hope that it will be useful,
%     but WITHOUT ANY WARRANTY; without even the implied warranty of
%     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
%     GNU General Public License for more details.
%
%     You should have received a copy of the GNU General Public License
%     along with VARDA.  If not, see <http://www.gnu.org/licenses/>.
%


varda_model_desc :- write('The simple business use case from OpenRules for increasing the sale of banking products, Id: hekate_case_upsell-mdl.pl,v 1.1 2009-11-13 15:00:00 kkl Exp $').

varda_model_upsell:- 

	ard_att_add('UpSell'),
 	ard_property_add(['UpSell']),

 	ard_att_add('ClientCharacteristics'),
	ard_att_add('OfferedProducts'),

	ard_finalize(['UpSell'],['ClientCharacteristics','OfferedProducts']),

 	ard_split(['ClientCharacteristics','OfferedProducts'],[['ClientCharacteristics'],['OfferedProducts']],[[['ClientCharacteristics'],['OfferedProducts']]]),

	ard_att_add('ClientProfile'),
	ard_att_add(products),

	ard_finalize(['ClientCharacteristics'],['ClientProfile',products]),

 	ard_split(['ClientProfile',products],[['ClientProfile'],[products]],[[['ClientProfile'],['OfferedProducts']],[[products],['OfferedProducts']]]),

	ard_att_add(registerDate),
	ard_att_add(balance),
	ard_att_add(profile),

	ard_finalize(['ClientProfile'], [registerDate,balance,profile]),

	ard_split([registerDate,balance,profile],
		  [ [balance],[registerDate,profile] ],
		  [ [[balance],[registerDate,profile]],[[registerDate,profile],['OfferedProducts']] ]),

	ard_split([registerDate,profile],
		  [ [registerDate],[profile] ],
		  [ [[balance],[profile]], [[registerDate],[profile]],[[profile],[profile]],[[profile],['OfferedProducts']] ]),


%% this seems to be more accurate, but it does not work properly
%
%	ard_split([registerDate,balance,profile],
%		  [ [balance],[registerDate,profile],[profile] ],
%		  [ [[balance],[profile]],[[registerDate,profile],[profile]], [[profile],['OfferedProducts']] ]),
%
%	ard_split([registerDate,profile],
%		  [ [registerDate] ],
%		  [ [[registerDate],[profile]],[[profile],[profile]] ]),
%
%	ard_split([registerDate,profile],
%		  [ [registerDate],[profile] ],
%		  [ [[registerDate],[profile]] ]),
%

	ard_att_add(offeredProducts),
  	ard_finalize(['OfferedProducts'],[offeredProducts]).


:- varda_model_upsell.