Research On Formal Specifications Method Of Ontology-based Enterprise Applications

With the evolvement and changes of industry demands， requirements andcomplexity of software systems become increasingly high. Traditional softwaredevelopment methods are faced with the following problems:1) unable to satisfy orpredict the changes of demands;2) low productivity and poor maintainability of software;3)frequent inaccuracy of estimated software development costs and progressl;4) unable toguarantee quality of software product， etc.As a result， the MDA based software development method has emerged. However，MDA has brought new problems， such as:1) model-driven concepts are very abstract;2)the standards are made specific to certain individual aspect;3) CIM，PIM and PSM failedto transit and connect smoothly;4) Transformation from PIM to PSM is one of thedifficulties at present.In light of the current complex and changing software development needs as well asthe shortcomings of MDA， this paper proposes a MEA (Model Execution Architecture)framework in order to address these issues. In the MDA framework， PSM are ultimatelytranslated into code and built application system. Whereas MEA translates andimplements the PIM， which means that the development process of PIM is thedevelopment process of the software.The contents of this paper are as follows:(1) Connection of CIM and PIMCIM is a description of the business model， while PIM is a description of the system.To connect the two stages， this article breaks CIM down into atomic concepts， namelybusiness meta-ontology. Meta-ontology is used to describe the PIM. The ontology can beused to describe CIM and PIM， so CIM can be understood by the user and PIM can beunderstood by computer and executed.(2) Model Execution Architecture (MEA) framework Model Execution Architecture (MEA) framework is proposed to explain the ontology，which lowers the risk of software development to improve software developmentproductivity.(3) The separation of framework and business dataIn PIM， information， processes， organization， interface and other models aredescribed with ontology and saved in the file. MEA implementation framework describesthe file to execute and return the execution results through concept interfaces， businessinterfaces， organized interface and data interface.Therefore， once CIM or PIM changes， even the structure of the database changes，it does not affect MEA. Framework and operational data can be separated by simplychanging the CIM or PIM.