A dualism based semantics formalization mechanism for model driven engineering

Proceedings of the 7th IEEE International Conference on Cognitive Informatics, ICCI 2008

Volumn , Issue , 2008, Pages 185-194

  Duan, Yucong ^a,b  

^a CAPITAL MEDICAL UNIVERSITY   (China)

^b Pohang University of Science and Technology (POSTECH)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION RETRIEVAL SYSTEMS; SEMANTICS;

CLOSED WORLD ASSUMPTIONS; MODEL DRIVEN ENGINEERINGS; OPEN WORLD ASSUMPTIONS; SEMANTICS FORMALIZATIONS; SHORT-COMINGS; SOFTWARE IMPLEMENTATIONS;

INFORMATION THEORY;

EID: 56349088010     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COGINF.2008.4639168     Document Type: Conference Paper

References (46)

1. Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
2. Model Transformation. www.model-transformation.org/
3. Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler: Modeling in Software Engineering. ICSE Companion 2007: 113-114
4. Model Driven Engineering. http://www.planetmde.org/books/index.html
5. Kyo C. Kang, Sholom G. Cohen, James A. Hess, William E. Novak, A. Spencer Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study,Technical Report CMU/SEI-90-TR-21 ESD-90-TR-222, November 1990
6. Sven Burmester, Holger Giese, Oliver Oberschelp: Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems. ICINCO (3) 2004: 222-229
7. Robert B. France, James M. Bieman, Betty H. C. Cheng: Repository for Model Driven Development (ReMoDD). MoDELS Workshops 2006: 311-317
8. Ruzanna Chitchyan, Awais Rashid, Paul Rayson, Robert Waters: Semantics-based composition for aspect-oriented requirements engineering. AOSD 2007: 36-48
9. Mikaël Barbero, Fréde"ric Jouault, Jeff Gray, Jean Bézivin: A Practical Approach to Model Extension. ECMDA-FA 2007: 32-42
10. Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler: Models for Non-functional Aspects of Component-Based Software (NfC'04). UML Satellite Activities 2004: 62-66
11. Yingxu Wang: On Cognitive Informatics Foundations of Knowledge and Formal Knowledge Systems. IEEE ICCI 2007: 263-272
12. Zhiping Shi, Qingyong Li, Zhiwei Shi, Zhongzhi Shi: Semantics-Biased Rapid Retrieval for Video Databases. IEEE ICCI 2006: 634-639
13. Yingxu Wang: Formal Linguistics and the Deductive Grammar. IEEE ICCI 2007: 43-51
14. Yucong Duan, Kyo-Chul Kang, Yuqing Gu. A Solution Framework on Fundamentals in Model Transformation. 7th IEEE/ACIS-ICIS 2008, Portland, USA: 355-360.
15. Du Zhang: Fixpoint semantics for rule-base anomalies. IEEE ICCI 2005: 10-17
16. Nicola Guarino, Helping People (and Machines) Understanding Each Other: The Role of Formal Ontology. CoopIS/DOA/ODBASE (1) 2004: 599
17. Christof Koch, The Quest for Consciousness: A Neurobiological Approach. Englewood, Colorado: Roberts and Company Publishers.
18. Block, Ned; Flanagan, Owen J.; & Gzeldere, Gven (Eds.) The Nature of Consciousness: Philosophical Debates. Cambridge, MA: MIT Press.
19. Yucong Duan, Challenges of Model Transformation and a Solution Framework, RCIS2008, June 3-6, 2008, Marrakech, Morocco, IEEE CS press (in press)
20. Witold Kinsner: Towards Cognitive Machines: Multiscale Measures and Analysis. IEEE ICCI 2006: 8- 14
21. Yucong Duan, A systemic approach towards recreating a unified semantics of numbers, ICICIC2008, Dalian, China, IEEE CS press (in press)
22. Immanuel Kant, Critique of Pure Reason, trans, and ed. by Paul Guyer and Allen W. Wood, Cambridge Univ. Press, 1998.
23. Youlan Feng, A History of Chinese Philosophy, the people's press, Beijing, 1983.
24. Kim, J. Problems in the Philosophy of Mind. Oxford Companion to Philosophy. Oxford: Oxford University Press, 1995.
25. N. Whitehead, Science and the Modern World (1925; reprinted London, 1985).
26. P. K. Feyerabend and G. Maxwell, (eds.), Mind, Matter and Method: Essays in Philosophy and Science in Honor of Herbert Feigl (Minneapolis, 1966).
27. W. V. O. Quine, Two Dogmas of Empiricism, Philosophical Review, January 1951, 60(1): 20-43.
28. Mill, J.S., "An Examination of Sir William Rowan Hamilton's Philosophy", in A.J. Ayer and Ramond Winch (eds.), British Empirical Philosophers, Simon and Schuster, New York, NY, 1968.
29. Markie, Peter, "Rationalism vs. Empiricism", Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), 2004
30. W. V. Quine, The Ways of Paradox and Other Essays, revised edition, 1976
31. R M Sainsbury, Paradoxes, 2nd edition, Cambridge University Press, 1995.
32. Ellis, C. & Flaherty, M. Investigating Subjectivity. Newbury Park, CA: Sage, 1992.
33. Hintikka, Jaakko, Kulas, Jack. The Game of Language: Studies in Game-Theoretical Semantics and Its Applications (Synthese Language Library; v.22), D. Reidel Publishing Company, 1983.
34. Peirce, CS. (1901), "Truth and Falsity and Error" (in part), pp. 718-720 in J.M. Baldwin (ed.), Dictionary of Philosophy and Psychology, vol. 2. Reprinted, CP 5.565-573.
35. Bertrand Russell, "The Problem of Infinity Considered Historically", in Zeno's Paradoxes, edited by Wesley C Salmon, 1970
36. G. W. F. Hegel, The Phenomenology of Mind, (1807), http://www.class. uidaho.edu/mickelsen/ToC/Hegel%20 Phen%20ToC.htm
37. McGreal, Ian P (1995). "Gongun Long" in Great Thinkers of the Eastern World. New York: Harper Collins. ISBN 978-0062700858.
38. Moser, P. K.; J. D. Trout, Ed. (1995) Contemporary Materialism: A Reader. New York, Routledge.
39. Husserl, Phänomenologische Psychologie, Hua IX, Den Haag 1962.
40. Martin Heidegger, Identity and Difference, New York: Harper & Row, 1969
41. OMG, UML Infrastructure, v2.1.2, http ://www.omg.org/cgi-bin/doc?formal/ 07-11-03
42. Ludwig Wittgenstein. Logisch-Philosophische Abhandlung, Wilhelm Ostwald (ed.), Annalen der Naturphilosophie, 14 (1921)
43. Hill, C. O., and Rosado Haddock, G. E., Husserl or Frege? Meaning, Objectivity, and Mathematics. Open Court. 2000.
44. Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou, Gerd Wagner: Supporting Open and Closed World Reasoning on the Web. PPSWR 2006: 149-163
45. Guarino, Nicola, Chris Welty. Identity, Unity, and Individuation: Towards a Formal Toolkit for Ontological Analysis. In W. Horn, ed., Proceedings of ECAI-2000: The European Conference on Artificial Intelligence. Amsterdam: IOS Press. Pp. 219-223. August, 2000.
46. Peter P. Chen: The Entity-Relationship Model -Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36 (1976)