抄録
A method for verifying operationality of artifacts is proposed focusing on interaction between artifacts and operator. We have already proposed a model for representing artifacts in which the close interactions among “states and operations”, “designer’s intention” and “physical phenomena” are represented. The interaction results in a network representation of state transitions and operations. We will discuss the way to apply the graph operations on this network for verifying artifacts.