SICS's Perspective on Timed Concurrent Constraint Programming Thomas Sj

1
SICS's Perspective on Timed Concurrent Constraint
ProgrammingThomas Sjöland, COL/SICS
2
Complex Operations Laboratory (COL)
- focus on applications - scheduling and
planning in transportation and semi-continuous
production. - interpretation and modeling of
data with complex intrinsic properties -
forecasting transportation costs
3
Role for tCCP
- tCCP for (real-time) databases -
specification formalism - access tools -
modelling databases with multiple views -
PERDIO distributed Oz system - planning and
scheduling in transportation - "timed" approach
to production planning
4
Planning and optimization

• CCP provides very natural synchronization

Reasoning with time - combining simulation and
scheduling
Operations for mutable databases expressed with
timed CCP - uniform view
5
CLP/CCP systems from SICS

• SICStus Prolog
• global constraints
• agent platform

• (distributed) Oz
• Oz for networked programs (PERDIO)
• constraint solvers

Can a timed approach be integrated?
6
Defense Application

• ARGUS
• optimize mobile radar systems for cells
• OZ, FD-constraints
• local search methods

7
Railway Application TUFF

• Support tool for planning of goods transportation
• OZ
• FD-constraints
• Agent model

8
(No Transcript)
9
(No Transcript)
10
(No Transcript)
11
Steel Production Planning (with OVAKO Steel)
TACIT

• ESPRIT trial application project TACIT
• Prolog, constraints, (PrologIA, other partner)
• MISC, experimental OZ-application in the
  production modelling area

12
(No Transcript)
13
(No Transcript)
14
Distributed OZ

• Transparent distribution
• mobile objects (and code)
• http objects
• distributed unification
• distributed garbage collection
• sites connect and disconnect dynamically

15
(No Transcript)
16
Experimental OZ-applications

• Tool that transforms a single-user application in
  OZ to an internet-aware multi-user collaborative
  application
• Internet tools
• distributed whiteboard for collaboration
• distributed slide presentation
• chess board

17
(No Transcript)
18
Ericsson

• Mnesia
• logical database
• part of Open Telecom Platform for Erlang

Q Can a tCCP approach be used?
19
Conclusion

• Constraints and distribution is an enabling
  technology in many of our application projects
• Perhaps tCCP can be useful to bridge gap between
  simulation lt-gt planning
• Real time interaction with databases