KRAFT-IX TIE (Demo Intro)

1. KRAFT-IX TIE (Demo Intro) Kit-ying Hui Dept of Computing Science University of Aberdeen

2. KRAFT • formulate & solve CSPs in finite domains • fusing & transformingmobile constraints • needs • a domain model (database schema) • variables domains (data in databases) • constraints

3. Domain Model (Simplified) next_to allocate slot length -> string power -> string board processor length -> string power -> string io length -> string power -> string disk_controller length -> string power -> string

4. Constraints • if a "long" processor is allocated to a slot, the slot must be "long" • if a processor requiring "extra" power is allocated, the slot must be able to supply "extra" power • if a processor & a disk-controller are allocated, they must be next to each other

5. Top Level View IX domain KRAFT domain ED panel calls out to KRAFT to resolve issues agents, solvers, etc. exchange issues, constraints & data ABDN panel

6. Proposed Architecture IX domain KRAFT domain ED panel INCA/ FBPML /Prolog or INCA/ FBPML /XML ABDN panel AKT-Bus compliant access point AKT-Bus traffic KRAFT traffic XML parser XML parser a single Prolog program INCA/ FBPML /Prolog-> FDM/CIF/Prolog mapper XML generator AKT-Bus compliant access point KRAFT agent (mediator) in Prolog/Java

7. constraints DB queries request from IX CLP Problem Solving Scenario IX-KRAFT adaptor database wrapper constraint fuser constraint solver AKT domain KRAFT domain

8. request through IX-KRAFT adaptor Step 1

9. constraint fuser asks database for variable domains Step 4

10. database wrapper replies with data sets Step 5

11. constraint fuser sends generated CLP code to constraint solver Step 16

12. constraint fuser asks constraint solver for solutions Step 21

13. constraint solver replies with solutions Step 22

14. constraint fuser sends solutions back to IX-KRAFT adaptor Step 23