Extensions for Use Case modeling