Template-type: ReDif-Paper 1.0 Author-Name: Bollen Peter Author-workplace-name: METEOR Title: A derivation procedure for mandatory role and set-comparison constraints in fact-based modeling Abstract: In this paper we will address the conceptual schema design procedure (CSDP) in fact-basedmodeling. We will focus on the modeling procedure of ‘cook-book’ for deriving the set-comparisonand mandatory role constraints. We will give an algorithm that can be applied by an analyst in ananalyst-user dialogue in which all set-comparison constraints can be derived as a result of theacceptance or rejection of real-life user examples by the domain expert. Keywords: computer science applications; Series: Research Memoranda Creation-Date: 2011 Number: 036 File-URL: http://digitalarchive.maastrichtuniversity.nl/fedora/objects/guid:118e63c3-d9a2-498f-b5f5-d3d208866f0e/datastreams/ASSET1/content File-Format: application/pdf File-Size: 740790 Handle: RePEc:unm:umamet:2011036