Explicit modeling of semantics associated with composite states in UML statecharts