Research And Application On Model Integrated Computing For Domain Specific Modeling

With the development of computer technology, the application system become more complex .The traditional development method base on coding and testing is time consuming and system is not easy to maintain. Model-driven software engineering (MDSE) is a software engineering technology in which modeling techniques are applied in the software development process. The objective of MDSE is to raise the level of abstraction by applying modeling techniques during the software development process. Throughout the history of software engineering, raising the level of abstraction has been the main goal that has driven the significant advances in developer productivity. It is this goal that has driven the evolution of software design from assembly languages to Third Generation Languages (3GLs), such as FORTRAN and C, to the object-orient languages, such as Java and C++. Today, visual modeling languages are the state of the art computation languages adopted by MDSE.With the popularity of Unified Modeling Language (UML) and Model Driven Architecture (MDA), models are becoming the core artifacts of software development and maintenance. However, UML as generous modeling language, the complete application is difficult to generate by UML models. Today, UML modeling tools can only generate skeleton codes and implement codes need to be done by hand. Second, UML contains modeling concepts that are come form object-oriented programming language, such as class, object, attribute and operation, not application system question domain. It brings a gap between UML concepts and question domain. Last, UML is generous language, but it is not universal. Different domain may require different modeling language, thus developers must create domain-specific modeling language and environment according to application system requirement.Domain-specific modeling is praised as the"Next Generation Modeling Method". Domain commonalities and characteristics are acquired through domain analysis and abstract, then building domain component library, applying domain by domain model and code generation. Domain-specific language is a language with strictly syntax and rich semantic. Domain-specific language is conformed to domain usage. In this paper, the modeling tool we take is generic modeling environment, which is a configurable tool base on COM. Developers create domain meta-model in GME, which is considered as domain-specific language through interpret and register. Model interpreter is developed based on meta-model, which used to traversal model relevant informant and store information in xml formant, named PIM document. PIM document is meta data of automatically code generation. In this paper, Model-integrated Computing is introduced for Domain special modeling .The MIC development process contain domain abstract, meta modeling ,domain modeling and application. Generic Modeling Environment (GME) is a configurable modeling tool based on COM technology which is used to construct meta-model, and interpreted meta-model into domain specific modeling language (DSML). Developers take DSML to build domain models. In order to acquire domain model information, the objects in model must be traversed and relevant information stored in XML format file, named PIM document. PIM document is meta-data of model for final code generation.In order to implement automatically code generation from domain model, code generator is designed and developed. PIM document, template files and configure file are input files for code generation, the output files are target platform source code. The template files are defined by developer with rich experience. If someone knows the rules of templates also can define templates according requirements. The configure file is used to specify the code generator engineer invoke templates and generated file name.Finally, we developed a domain-specific language and domain-specific environment for washing machine control system according to washing machine control principle. Application codes are generated in part for the models of control system. The results indicate the feasibility of the proposed development architecture, and the applicability the development environment. This development method can reduce time and cost in the lifecycle of system development.