Next step: Something like the Redux' Server
Many Dependencies well-understood
Management of "nogoods" critical
Can be used with Dependency-Directed Backtracking
to create JTMS justifications that enforce Pareto optimality
Distinction between goals to be achieved and constraints
to avoid violating important
Can guarantee no thrashing.
Can provide safe and consistent options
Can manage distributed users/services.
Designed to be used in conjunction with deductive process synthesis.
Initial suggested process is known correct.
Many good research issues remain.
Next steps beyond: The World-Wide Wizard
and
Flash Companies
©2010
Charles Petrie - permission to reproduce widely with attribution.