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

Abstract

Over the years, the number of applications supporting enterprise business processes has increased. The challenge of integrating diverse systems is one of the many reasons why many organizations fail to achieve greater automation. To overcome this obstacle, they are turning to Enterprise Application Integration (EAI). Enterprise Application Integration 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 reuse 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 EAIs 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 adequate for the development of complex systems. The author proposes a new methodology based on Petri net which is a graphical representation of semantics