In this paper, a formal structure is proposed to represent conflicts based on the axiomatic theory of design modeling and the Recursive Object Model (ROM). The proposed formal structure is derived by analyzing the definitions of conflicts using the ROM. The foundation of this formal structure is the atomic conflict, which is composed of three elements: two competing objects and one resource obj...

Yoshikawa’s General Design Theory is an axiomatic theory of design in which design is formulated and discussed in terms of topological spaces defined by entities, entity concepts, and abstract concepts. The theory is developed on declarations called definitions and axioms of which represents the basic philosophy of the theory. In this paper, we shall show that a paradoxical situation about the ...