{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:29:55Z","timestamp":1781108995603,"version":"3.54.1"},"reference-count":49,"publisher":"IGI Global Scientific Publishing","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10,1]]},"abstract":"<p>Firstly this article presents a thorough discussion of semantics formalization related issues in model driven engineering (MDE). Then motivated for the purpose of software implementation, and attempts to overcome the shortcomings of incompleteness and context-sensitivity in the existing models, we propose to study formalization of semantics from a cognitive background. Issues under study cover the broad scope of overlap vs. incomplete vs. complete, closed world assumption (CWA) vs. open world assumption (OWA), Y(Yes)\/N(No) vs. T(True)\/F(False), subjective (SUBJ) vs. objective (OBJ), static vs. dynamic, unconsciousness vs. conscious, human vs. machine aspects, and so forth. A semantics formalization approach called EID-SCE (Existence Identification Dualism-Semantics Cosmos Explosion) is designed to meet both the theoretical investigation and implementation of the proposed formalization goals. EID-SCE supports the measure\/evaluation in a {complete, no overlap} manner whether a given concept or feature is an improvement. Some elementary cases are also shown to demonstrate the feasibility of EID-SCE.<\/p>","DOI":"10.4018\/jssci.2009062505","type":"journal-article","created":{"date-parts":[[2010,4,30]],"date-time":"2010-04-30T08:46:32Z","timestamp":1272617192000},"page":"90-110","source":"Crossref","is-referenced-by-count":7,"title":["A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering"],"prefix":"10.4018","volume":"1","author":[{"given":"Yucong","family":"Duan","sequence":"first","affiliation":[{"name":"Capital University of Medical Sciences, China and Pohang University of Science and Technology (POSTECH), South Korea"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jssci.2009062505-0","doi-asserted-by":"crossref","unstructured":"Atlee, J. M., France, R. B., Georg, G., Moreira, A., Rumpe, B., & Zschaler, B. (2007). Modeling in Software Engineering. In J. Knight, W. Emmerich & G. Rothermel (Eds.), Software Engineering (pp.113-114). USA: IEEE Computer Society.","DOI":"10.1109\/ICSECOMPANION.2007.53"},{"key":"jssci.2009062505-1","doi-asserted-by":"crossref","unstructured":"Bar, T., & Whittle, J. (2006). On the Usage of Concrete Syntax in Model Transformation Rules. In I. Virbitskaite & A. Voronkov (Eds.), Ershov Memorial Conference (pp. 84-97). Heidelberg: Springer Press.","DOI":"10.1007\/978-3-540-70881-0_10"},{"key":"jssci.2009062505-2","doi-asserted-by":"crossref","unstructured":"Barbero, M., Jouault, F., Gray, J., & B\u00e9zivin, J. (2007). A Practical Approach to Model Extension. In D.H. Akehurst, & R. F. Paige (Eds.), Model Driven Architecture- Foundations and Applications (pp.32-42). Heidelberg: Springer Press.","DOI":"10.1007\/978-3-540-72901-3_3"},{"key":"jssci.2009062505-3","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0028-6"},{"key":"jssci.2009062505-4","unstructured":"Block, N., Flanagan, O. J., & Gzeldere, G. (1998). The Nature of Consciousness: Philosophical Debates. Cambridge, MA: MIT Press."},{"key":"jssci.2009062505-5","doi-asserted-by":"crossref","unstructured":"Bruel, J. M., Georg, G., Hu\u00dfmann, H., Ober, I., Pohl, C., Whittle, J., & Zschaler, S. (2004). Models for Non-functional Aspects of Component-Based Software. In N. J. Nunes, B. Selic, A. R. Silva, & J. A.T. \u00c1lvarez (Eds.), UML Modeling Languages and Applications (pp. 62-66). Heidelberg: Springer Press.","DOI":"10.1007\/978-3-540-31797-5_7"},{"key":"jssci.2009062505-6","unstructured":"Burmester, S., Giese, H., & Oberschelp, O. (2004). Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. In H. Ara\u00fajo, A.Vieira, J. Braz, B. Encarna\u00e7\u00e3o, & M. Carvalho (Eds.), International Conference on Informatics in Control, Automation and Robotics (pp.222-229). Portugal: INSTICC Press."},{"key":"jssci.2009062505-7","doi-asserted-by":"publisher","DOI":"10.1145\/320434.320440"},{"key":"jssci.2009062505-8","doi-asserted-by":"crossref","unstructured":"Chitchyan, R., Rashid, A., Rayson, P., & Waters, R. (2007). Semantics-based composition for aspect-oriented requirements engineering. In B. M. Barry & O. Moor (Eds.), International Conference on Aspect-Oriented Software Development (pp.36-48). USA: ACM Press.","DOI":"10.1145\/1218563.1218569"},{"key":"jssci.2009062505-9","doi-asserted-by":"crossref","unstructured":"Dam\u00e1sio, C. V., Analyti, A., Antoniou, G., & Wagner, G. (2006). Supporting Open and Closed World Reasoning on the Web. In J.J. Alferes, J. Bailey, W. May, & U. Schwertel (Eds.), Principles and Practice of Semantic Web Reasoning (pp 149-163). Heidelberg: Springer Press.","DOI":"10.1007\/11853107_11"},{"key":"jssci.2009062505-10","doi-asserted-by":"crossref","unstructured":"Duan, Y. (2008a). Challenges of Model Transformation and a Solution Framework. In C. Rolland, O. Pastor, & J. L. Cavarero (Eds.), Research Challenges in Information Science (pp 247-252). USA: IEEE Computer Society.","DOI":"10.1109\/RCIS.2008.4632113"},{"key":"jssci.2009062505-11","doi-asserted-by":"crossref","unstructured":"Duan, Y. (2008b). A systemic approach towards recreating a unified semantics of numbers. In J.S. Pan, P. Shi, & C.S. Shieh (Eds.), Innovative Computing, Information and Control (pp 179). USA: IEEE Computer Society.","DOI":"10.1109\/ICICIC.2008.100"},{"key":"jssci.2009062505-12","doi-asserted-by":"crossref","unstructured":"Duan, Y. (2008c). A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering. In Y. Wang (Eds.), Conference on Cognitive Informatics (pp. 185-194). USA: IEEE Computer Society.","DOI":"10.1109\/COGINF.2008.4639168"},{"key":"jssci.2009062505-13","doi-asserted-by":"crossref","unstructured":"Duan, Y., Kang, K. C., & Gu, Y. (2008). A Solution Framework on Fundamentals in Model Transformation. In R. Y. Lee (Ed.), Computer and Information Science (pp. 355-360). USA: IEEE Computer Society.","DOI":"10.1109\/ICIS.2008.20"},{"key":"jssci.2009062505-14","unstructured":"Ellis, C., & Flaherty, M. (1992). Investigating Subjectivity. Newbury Park, CA: Sage Publications."},{"key":"jssci.2009062505-15","unstructured":"Feng, Y. (1983). A History of Chinese Philosophy. Beijing: The people\u2019s press."},{"key":"jssci.2009062505-16","unstructured":"Feyerabend, P. K., & Maxwell, G. (1966). Mind, Matter and Method: Essays in Philosophy and Science in Honor of Herbert Feigl. Minneapolis: University of Minnesota Press."},{"key":"jssci.2009062505-17","doi-asserted-by":"crossref","unstructured":"France, R. B., Bieman, J. M., & Cheng, B. H. C. (2006). Repository for Model Driven Development (ReMoDD). In T. K\u00fchne (Ed.), Models in Software Engineering, Workshops and Symposia at MoDELS 2006 (pp. 311-317). Heidelberg: Springer Press.","DOI":"10.1007\/978-3-540-69489-2_38"},{"key":"jssci.2009062505-18","doi-asserted-by":"crossref","unstructured":"Guarino, N. (2004). Helping People (and Machines) Understanding Each Other. In R. Meersman & Z. Tari (Eds.), On the Move to Meaningful Internet Systems (pp. 599). Heidelberg: Springer Press.","DOI":"10.1007\/978-3-540-30468-5_38"},{"key":"jssci.2009062505-19","unstructured":"Guarino, N., & Welty, C. (2000). Identity, Unity, and Individuation: Towards a Formal Toolkit for Ontological Analysis. In W. Horn (Ed.), European Conference on Artificial Intelligence (pp. 219-223). Amsterdam: IOS Press."},{"key":"jssci.2009062505-20","unstructured":"Hegel, G. W. F. (1807). The Phenomenology of Mind. Retrieved September 29, 2008, from http:\/\/www.class.uidaho.edu\/mickelsen\/ToC\/Hegel%20Phen%20ToC.htm"},{"key":"jssci.2009062505-21","unstructured":"Heidegger, M. (1969). Identity and Difference. New York: Harper & Row."},{"key":"jssci.2009062505-22","unstructured":"Hill, C. O., & Rosado, H. G. (2000). Husserl or Frege? Meaning, Objectivity, and Mathematics. Chicago: Open Court Publishing Company."},{"key":"jssci.2009062505-23","doi-asserted-by":"crossref","unstructured":"Hintikka, J., & Kulas, J. (1983). The Game of Language: Studies in Game-Theoretical Semantics and Its Applications. Dordrecht:D. Reidel Publishing Company.","DOI":"10.1007\/978-94-010-9847-2_6"},{"key":"jssci.2009062505-24","unstructured":"Husserl, E. (1962). Ph\u00e4nomenologische Psychologie. In W. Biemel (Ed.), Husserliana IX. Den Haag: Martinus Nijhoff."},{"key":"jssci.2009062505-25","doi-asserted-by":"crossref","unstructured":"Kang, K. C., Cohen, S. G., Hess, J. A., Novak, W. E., & Peterson, A. S. (1990). Feature-Oriented Domain Analysis (FODA) Feasibility Study, SEI.","DOI":"10.21236\/ADA235785"},{"key":"jssci.2009062505-26","doi-asserted-by":"crossref","unstructured":"Kant, I. (1998). Critique of Pure Reason. P. Guyer & A.W. Wood (Trans.) (Eds.). Cambridge: Cambridge Univ. Press.","DOI":"10.1017\/CBO9780511804649"},{"key":"jssci.2009062505-27","unstructured":"Kim, J. (1995). Problems in the Philosophy of Mind. Oxford Companion to Philosophy. Oxford: Oxford University Press."},{"key":"jssci.2009062505-28","unstructured":"Koch, C. (2004). The Quest for Consciousness: A Neurobiological Approach. Englewood, Colorado: Roberts and Company Publishers."},{"key":"jssci.2009062505-29","unstructured":"Markie, P. (2004). Rationalism vs. Empiricism. In E. N. Zalta (Ed.), Stanford Encyclopedia of Philosophy. Retrieved September 29, 2008, from http:\/\/plato.stanford.edu\/entries\/rationalism-empiricism\/"},{"key":"jssci.2009062505-30","unstructured":"McGreal, I. P. (1995). \u201cGongsun Long\u201d in Great Thinkers of the Eastern World. New York: Harper Collins."},{"key":"jssci.2009062505-31","unstructured":"Mill, J. S. (1968). An Examination of Sir William Rowan Hamilton's Philosophy. In A.J. Ayer & R. Winch (Eds.), British Empirical Philosophers. New York: Simon and Schuster."},{"key":"jssci.2009062505-32","unstructured":"Moser, P. K., & Trout, J. D. (1995). Contemporary Materialism: A Reader. New York, Routledge."},{"key":"jssci.2009062505-33","doi-asserted-by":"crossref","unstructured":"OMG. (2002). MOF 2.0 Query\/Views\/Transformation RFP. OMG document ad\/2002-04-10, from http:\/\/www.omg.org","DOI":"10.1016\/S1351-4180(02)00809-7"},{"key":"jssci.2009062505-34","unstructured":"OMG. (2007). UML Infrastructure, v2.1.2. Retrieved November 29, 2007, from http:\/\/www.omg.org\/cgi-bin\/doc?formal\/07-11-03"},{"key":"jssci.2009062505-35","unstructured":"Peirce, C. S. (1901). Truth and Falsity and Error (in part) (pp. 718\u2013720). In J.M. Baldwin (Ed.), Dictionary of Philosophy and Psychology (Vol. 2). Reprinted, CP 5.565\u2013573."},{"key":"jssci.2009062505-36","unstructured":"Quine, W. V. (1976). The Ways of Paradox and Other Essays. Cambridge: Harvard University Press."},{"key":"jssci.2009062505-37","doi-asserted-by":"publisher","DOI":"10.2307\/2181906"},{"key":"jssci.2009062505-38","unstructured":"Russell, B. (1970). The Problem of Infinity Considered Historically. In W.C. Salmon (Ed.), Zeno's Paradoxes. Indianapolis\/Cambridge: Hackett Publishing Co. Inc."},{"key":"jssci.2009062505-39","doi-asserted-by":"crossref","unstructured":"Sainsbury, R. M. (1995). Paradoxes (2nd ed.). Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9781139166775"},{"key":"jssci.2009062505-40","doi-asserted-by":"crossref","unstructured":"Shi, Z., Li, Q., Shi, Z., & Shi, Z. (2006). Semantics-Biased Rapid Retrieval for Video Databases. In Y. Yao, Z. Shi, Y. Wang, & W. Kinsner (Eds.), Conference on Cognitive Informatics (pp. 634-639). USA: IEEE Computer Society.","DOI":"10.1109\/COGINF.2006.365559"},{"key":"jssci.2009062505-41","unstructured":"Wang, Y. (2002). Keynote: On cognitive informatics. In Y. Wang et al. (Eds.), Conference on Cognitive Informatics (pp. 34\u201342). USA: IEEE Computer Society."},{"key":"jssci.2009062505-42","doi-asserted-by":"crossref","unstructured":"Wang, Y. (2006). Keynote: Cognitive informatics\u2014Towards the future generation computers that think and feel. In Y. Yao, Z. Shi, Y. Wang, & W. Kinsner (Eds.), Conference on Cognitive Informatics (pp. 3-7). USA: IEEE Computer Society.","DOI":"10.1109\/COGINF.2006.365666"},{"key":"jssci.2009062505-43","doi-asserted-by":"crossref","unstructured":"Wang, Y. (2007a). On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems. In D. Zhang, Y. Wang, & W. Kinsner (Eds.), Conference on Cognitive Informatics (pp. 263-272). USA: IEEE Computer Society.","DOI":"10.1109\/COGINF.2007.4341899"},{"key":"jssci.2009062505-44","doi-asserted-by":"crossref","unstructured":"Wang, Y. (2007b). Formal Linguistics and the Deductive Grammar. In D. Zhang, Y. Wang, & W. Kinsner (Eds.), Conference on Cognitive Informatics (pp. 43-51). USA: IEEE Computer Society.","DOI":"10.1109\/COGINF.2007.4341871"},{"issue":"4","key":"jssci.2009062505-45","first-page":"1","article-title":"Convergence of Cognitive Informatics and Cybernetics\u2014Guest Editorial on Special Issue on Cybernetics and Cognitive Informatics.","volume":"39","author":"Y.Wang","year":"2009","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics"},{"key":"jssci.2009062505-46","unstructured":"Whitehead, N. (1925). Science and the Modern World. Cambridge: Cambridge Univ. Press."},{"key":"jssci.2009062505-47","unstructured":"Wittgenstein, L. (1921). Logisch-Philosophische Abhandlung. In W. Ostwald (Ed.), Annalen der Naturphilosophie (vol. 14) (pp. 185-262)."},{"key":"jssci.2009062505-48","unstructured":"Zhang, D. (2005). Fixpoint semantics for rule-base anomalies. In W. Kinsner, D. Zhang, Y. Wang & J. Tsai (Eds.), Computer and Cognitive Informatics (pp. 10-17). USA: IEEE Computer Society."}],"container-title":["International Journal of Software Science and Computational Intelligence"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=37490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T07:29:42Z","timestamp":1740036582000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jssci.2009062505"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2009,10,1]]},"references-count":49,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2009,10]]}},"URL":"https:\/\/doi.org\/10.4018\/jssci.2009062505","relation":{},"ISSN":["1942-9045","1942-9037"],"issn-type":[{"value":"1942-9045","type":"print"},{"value":"1942-9037","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,1]]}}}