Declarative workflows that support easy modification and dynamic browsing

A new programming paradigm named "Vortex" is introduced for specifying a wide range of decision-making activities including, in particular, workflows. In Vortex workflows are specified declarativel...