Demonstrational and constraint-based techniques for pictorially specifying application objects and behaviors | Synapse