Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22547
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cachia, Ernest | - |
dc.contributor.author | Vella, Mark Joseph | - |
dc.date.accessioned | 2017-10-13T10:25:09Z | - |
dc.date.available | 2017-10-13T10:25:09Z | - |
dc.date.issued | 2006 | - |
dc.identifier.citation | Cachia, E., & Vella, M. (2006). Formal verification of enterprise integration architectures. 4th Computer Science Annual Workshop (CSAW’06), Bighi. 1-7. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/22547 | - |
dc.description.abstract | This is a near-finished paper to be presented in an international research conference. Weak Bisimulation is a process calculus equivalence relation, applied for the verification of communicating concurrent systems [Miln 99]. 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 EI Architecture is a valid one. The formal verification of an EI Architecture would give value to an EI project framework, allowing the challenge of cumbersome and complex testing typically faced by EI projects [Khan 05], to be alleviated, and thus increasing the possibility of a successful EI 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 EI 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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | University of Malta. Faculty of ICT | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer systems -- Verification | en_GB |
dc.subject | Enterprise application integration (Computer systems) | en_GB |
dc.subject | Bisimulation | en_GB |
dc.subject | Software engineering | en_GB |
dc.title | Formal verification of enterprise integration architectures | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.bibliographicCitation.conferencename | 4th Computer Science Annual Workshop (CSAW’06) | en_GB |
dc.bibliographicCitation.conferenceplace | Bighi, Malta, 5-6/12/2006 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCIS Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Proceedings of CSAW'06 - A5.pdf | 148.25 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.