KRAFT-IX TIE (Demo Intro)

1 / 14

# KRAFT-IX TIE (Demo Intro) - PowerPoint PPT Presentation

KRAFT-IX TIE (Demo Intro). Kit-ying Hui. Dept of Computing Science University of Aberdeen. KRAFT. formulate &amp; solve CSPs in finite domains fusing &amp; transforming mobile constraints needs a domain model (database schema) variables domains (data in databases) constraints.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'KRAFT-IX TIE (Demo Intro)' - kathy

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### KRAFT-IX TIE (Demo Intro)

Kit-ying Hui

Dept of Computing Science

University of Aberdeen

KRAFT
• formulate & solve CSPs in finite domains
• fusing & transformingmobile constraints
• needs
• a domain model (database schema)
• variables domains (data in databases)
• constraints
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

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
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

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

constraints

DB queries

request from IX

CLP

Problem Solving Scenario

IX-KRAFT

database

wrapper

constraint

fuser

constraint

solver

AKT

domain

KRAFT

domain