1 / 19

Timed Concurrent Constraint Programming: Applications and Synchronization

Explore the applications and synchronization methods of timed concurrent constraint programming (tCCP) in scheduling, planning, and data modeling. Discover the role of tCCP in transportation and semi-continuous production planning, forecasting transportation costs, and reasoning with time. Learn about distributed Oz systems, accessing tools, and modeling databases with multiple views. Consider the potential integration of a timed approach with defense, railway, and steel production applications.

marycollins
Download Presentation

Timed Concurrent Constraint Programming: Applications and Synchronization

An Image/Link below is provided (as is) to download presentation 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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

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

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

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

  11. Ericsson • Mnesia • logical database • part of Open Telecom Platform for Erlang Q: Can a tCCP approach be used?

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

More Related