A Constructive Semantics Revelation for Applying the Four Color Problem on Modeling
Yucong Duan · 2010
This work is motivated by the hypothesis that ideas of the four color problem (FCP) could contain important implications on semantics identification in terms of the necessary and sufficient amounts of elements and contents inside a paradigm and among paradigms from ontology creation to model objects/relationships introduction/definition. Semantics ideas of EID-SCE are adopted for the semantics revelation on FCP. The key ideas include reduction based on the equal/¿=¿ relationship for identification and existence. The revelation is extended towards covering all necessary situations at all possible stages in a constructive manner. The work aims to be part of introduction of mathematical achievement to software modeling practices. It is initially extended towards modeling applications. The result is expected to be beneficial to efforts of gaining improvement on reusability and efficiency.