Oracle Fusion Formalization Using Z Notation

ORACLE FUSION FORMALIZATION USING Z NOTATION
Student
Tutor
Institutional Affiliation
Abstract
The use of software applications has become an obligation for many organizations in the
current digital environment. As such, many companies have implemented the applications and
they use them in running their day to day business activities. Along with this, enterprise
application integration is also adopted in order to ensure efficient flow of information from one
department to another. With that said, this document has proposed a novel enterprise application
integration solution, oracle fusion. Oracle fusion is a software that enables enterprises application
integration. Besides being such a useful solution to enterprise, the application’s database system
is majorly developed by SQL language which is not formalized. As such, this document has
presented a formal specification for the language using z anonymity method.
Key words: enterprise application integration, z notation, SQL, oracle fusion

Oracle Fusion Formalization Using Z Notation
Introduction
In the current digital world, software applications has become an obligation for almost
every business organization. Business in the present day is different from business in the 20th
century and before. There is advancement in technology in the current world and many of the
small scale and large scale business are benefiting from the technology [1]. With the technology
playing a critical role, many business in the current world are moving at a considerable pace.
Organization customers’ data can get ease of control from any place at any time. This is
facilitated by enterprise software integration. The enterprise software integration refer to a
mechanism that aid in efficient flow of data from one application to another application. It also
allow sharing of information.
Sharing of information is a very critical aspect in every enterprise. Business organizations
depends on the application ecosystem that mostly involve software that have already been
developed to run their daily business operations. There are various software which serve this
purpose, these applications have been adopted by various organizations for system integration.
However, some of these applications have been reported to be less effective in integrating
organization applications this is due to the reason that a few organizations that implement them
have been reporting issues to the application vendors [2].
Application integration is very essential in technology based business process. The
primary goal of the enterprises application integration is to ensure that the application data is
synchronized. As software, there are chances that the implemented enterprise application
integration solutions fail [1]. In order to avoid such integration application failures, it is essential

to choose a robust software for enterprise application integration. Tibco, Biztalk and many other
enterprise application integration software facilitate enterprise application integration. Be that as
it may, to the best of my knowledge, Oracle fusion is one software integration application that
has proven to be more efficient among other applications.
Statement of problem
The oracle’s main built in language is PL/SQL. This language enable its users to program
against it to create and manage the application database as well as the data that is stored in it.
However, with regards to rule based language, rules can be written by software engineers in
order to correct execution and express the expected behavior of Oracle fusion application when it
is implemented [3]. Additionally, developing an application that precisely describes an enterprise
application integrations solution depends on formality. Besides being available for enterprises,
the Oracle fusion application has not yet gotten formalized. Honestly, it is not possible to reason
with enterprise application integrations solutions that is not formalized. In this rationale, the
primary objective of this document is to formalize oracle fusion by providing verification of its
languages including SQL using z notation formal method.
Related works
Software formalization has been a topic of concern since the implementation of the
principles of software engineering. Formalization means a general rule for all software engineers
that use mathematical tools as a basis for software development. There has been growth in the
interest of formality since it got formulated. According to [5], any programming language
regardless of how low it is must be complete with all syntax rule as well as a clear description for
its meaning. Sometimes, this is normally ignored by some computer language designers [6]. The