Welcome to the InfoSci Platform
Reference Hub7
A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering

Yucong Duan
Copyright: © 2009 |Volume: 1 |Issue: 4 |Pages: 21
ISSN: 1942-9045|EISSN: 1942-9037|ISSN: 1942-9045|EISBN13: 9781616921170|EISSN: 1942-9037|DOI: 10.4018/jssci.2009062505
Cite Article Cite Article

MLA

Duan, Yucong. "A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering." IJSSCI vol.1, no.4 2009: pp.90-110. http://doi.org/10.4018/jssci.2009062505

APA

Duan, Y. (2009). A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering. International Journal of Software Science and Computational Intelligence (IJSSCI), 1(4), 90-110. http://doi.org/10.4018/jssci.2009062505

Chicago

Duan, Yucong. "A Dualism Based Semantics Formalization Mechanism for Model Driven Engineering," International Journal of Software Science and Computational Intelligence (IJSSCI) 1, no.4: 90-110. http://doi.org/10.4018/jssci.2009062505

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.