Abstract: UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the ...

Solving puzzles that involve eliminating all options except the correct one shows how an important form of logical thinking unfolds in a nutshell, called the process of elimination.