SUMMARYImproving the reusability of models and increasing automatic code generation efficiency are problems in model-driven development. In order to solve these problems, we apply component-based development technologies that have mainly been developed at the software implementation level to the modeling level. In the proposed approach, functionally relevant model elements are packaged as a component, and the modeling of software is performed by associating them with the model components. The role of a model becomes clear by introducing the concept of a component, and the reusability of model components is improved by externalizing the dependencies between the components. In addition, flexible model transformation rules united with the roles of models can be designed. As a result, the proposed method is able to generate more source code automatically. The validity of the proposed approach is verified through application experiments. C⃝
Keywords:Model-driven development, Model theory approach, UML, Graphic diagrams, Transaction processing system.Abstract: Traditionally, a Management Information System (MIS) has been developed without using formal methods. By the informal methods, the MIS is developed on its lifecycle without having any models. It causes many problems such as lack of the reliability of system design specifications. In order to overcome these problems, a model theory approach was proposed. The approach is based on an idea that a system can be modeled by automata and set theory. However, it is very difficult to generate automata of the system to be developed right from the start. On the other hand, there is a model-driven development method that can flexibly correspond to changes of business logic or implementing technologies. In the model-driven development, a system is modeled using a modeling language such as UML. This paper proposes a new development method for management information systems applying the model-driven development method to a component of the model theory approach. The experiment has shown that a reduced amount of efforts is more than 30% of all the efforts.
MODEL THEORY APPROACHThis chapter explains the model theory approach (Takahara & Liu, 2006). According to Takahara et al., automata can describe arbitrary information systems. The model theory approach is proposed as a development method of management information 10 Matsumoto K., Mizuno T. and Mori N..
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.