Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/16856
Title: Using weak bisimulation for enterprise integration architecture formal verification--I
Authors: Cachia, Ernest
Vella, Mark
Keywords: Software architecture
Integrated software
Software engineering
Enterprise application integration (Computer systems)
Computational complexity
Issue Date: 2007
Publisher: Institute of Electrical and Electronics Engineers Inc.
Citation: Cachia, E., & Vella, M. (2007). Using weak bisimulation for enterprise integration architecture formal verification--I. 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), Tucson. 63-70.
Abstract: 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.
URI: https://www.um.edu.mt/library/oar//handle/123456789/16856
Appears in Collections:Scholarly Works - FacICTCIS
Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Using Weak Bisimulation for Enterprise Integration Architecture Formal.pdf
  Restricted Access
Using weak bisimulation for enterprise integration architecture formal verification--I283.19 kBAdobe PDFView/Open Request a copy


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.