Authors:
Keinosuke Matsumoto
;
Tomoki Mizuno
and
Naoki Mori
Affiliation:
Graduate School of Engineering and Osaka Prefecture University, Japan
Keyword(s):
Model-driven development, Model theory approach, UML, Graphic diagrams, Transaction processing system.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Distributed and Mobile Software Systems
;
Domain Analysis and Modeling
;
Enterprise Information Systems
;
Enterprise Software Technologies
;
Intelligent Problem Solving
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Multi-Agent Systems
;
Software Engineering
;
Symbolic Systems
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 reduc
ed amount of efforts is more than 30% of all the efforts.
(More)