Formalisms for Enterprise Application Integration (EAI): A Survey of Methodologies

Abstract Over the years, the number of applications supporting enterprise business pro- cesses has increased. The challenge of integrating diverse systems is one of the many rea- sons why many organizations fail to achieve greater automation. To overcome this obstacle, they are turning to Enterprise Application Integration (EAI). Enterprise Application Integra- tion is a process that enables the integration of different applications. This allows the users to easily modify the functionality, share the information among the various applications and reusing the methods. The paper presents a formal method that includes the various levels of EAI. It highlights the various formal methods that can be used to achieve EAI’s seamless interoperation. It also supports the concurrent and dynamic system. This paper also proposes a new architecture for EAI that will help them achieve their goals. There are many formal methods for programming languages in software engineering, but most of them are not ad- equate for the development of complex systems. The author proposes a new methodology based on Petri net which is a graphical representation of semantics.