By Topic

Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Cachia, E. ; Malta Univ., Msida ; Vella, M.

In this paper we propose the application of weak bisimulation for enterprise application integration verification. Formal verification is carried out by taking the system specification and design models of an integrated system and converting them into value passing CCS (calculus of communicating systems) processes. If a weak bisimulation relation is found between the two models, then it could be concluded that the El Architecture is a valid one. The formal verification of an El Architecture would give value to an El project framework, allowing the challenge of cumbersome and complex testing typically faced by El projects (R. Khanna, 2005), to be alleviated, and thus increasing the possibility of a successful El project, delivered on time and within the stipulated budgeted costs. This paper shows the applicability of value passing CCS (or equivalent) formal notation to model the El systems characteristics, as well as investigates into the computation complexity of available weak bisimulation algorithms, in order to analyze the applicability of this proposition in real life

Published in:

Engineering of Computer-Based Systems, 2007. ECBS '07. 14th Annual IEEE International Conference and Workshops on the

Date of Conference:

26-29 March 2007