190 likes | 313 Vues
This paper discusses the application of Timed Concurrent Constraint Programming (tCCP) in complex environments, particularly in transportation and semi-continuous production. It explores data modeling with intrinsic complexities, real-time database interactions, and optimal scheduling strategies. The potential of tCCP to unify simulation and planning, as well as its use in various applications like mobile radar systems and goods transportation, is examined. The paper concludes that tCCP significantly enhances operational capabilities through advanced constraints and distribution technologies.
E N D
SICS's Perspective on Timed Concurrent Constraint ProgrammingThomas Sjöland, COL/SICS
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
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
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
SICStus Prolog global constraints agent platform (distributed) Oz Oz for networked programs (PERDIO) constraint solvers CLP/CCP systems from SICS Can a timed approach be integrated?
Defense Application • ARGUS • optimize mobile radar systems for cells • OZ, FD-constraints • local search methods
Railway Application TUFF • Support tool for planning of goods transportation • OZ • FD-constraints • Agent model
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
Distributed OZ • Transparent distribution • mobile objects (and code) • http objects • distributed unification • distributed garbage collection • sites connect and disconnect dynamically
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
Ericsson • Mnesia • logical database • part of Open Telecom Platform for Erlang Q: Can a tCCP approach be used?
Conclusion • Constraints and distribution is an enabling technology in many of our application projects • Perhaps tCCP can be useful to bridge gap between simulation <-> planning • Real time interaction with databases