S uccessful software and system modeling has been a goal of both researchers and the software-development industry. This goal is an outgrowth of the decades-long trend toward abstracting away the ...