RM2EIS: Automatic Generation of Enterprise Information Systems From Contract-Based Requirements Model

Abstract

Enterprise Information System (EIS) streamlines business processes and enhances productivity by integrating various functions. However, conventional development methods are labor-intensive, time-consuming, and error-prone, often necessitating a design model from requirements for implementation. Existing solutions focus on auto-generating code from Object-Oriented (OO) design models, but specifying the design model from a validated requirements model requires more effort due to information gaps between requirements and design. This paper introduces RM2EIS, an approach that automatically generates EIS from contract-based requirements models, which include use case diagrams, conceptual class diagrams, and use case definitions specified by system sequence diagrams and contracts. System operation contracts are formally specified using pre- and post-conditions written in OCL. We conducted nine case studies to evaluate RM2EIS. The results indicate that the time of the generation including modeling and validation by RM2EIS is at least twice as fast as the design and implementation of developers. Moreover, the generated EIS outperforms the developer-implemented systems in functionality and is close to the non-functional aspects like performance.