DUALLY: Putting in Synergy UML 2.0 and ADLs