Call and Execution Semantics in AspectJ