西 晟 中商务 DESIGN OF MULTITHREADED SOFTWARE The Entity-Life Modeling Approach Bo l.Sanden IEEE WILEY ④IEEE Φcomputer society