Abstract

AbstractTraditionally, Management Information Systems (MIS) have been developed without using formal methods. By informal methods, MIS are developed over their lifecycle without having any models. This causes many problems, such as lack of reliability of the system design specifications. In order to overcome these problems, a model theory approach has been proposed. The approach is based on the 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 adapt to changes of business logics or implementing technologies. In 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. Experiments have shown that the reduction in the amount of efforts is more than 30%. © 2013 Wiley Periodicals, Inc. Electron Comm Jpn, 96(2): 16–24, 2013; Published online in Wiley Online Library (wileyonlinelibrary.com). DOI 10.1002/ecj.11445

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call