A spring based framework for verification of service composition

Mukherjee, A, Tari, Z and Bertok, P 2011, 'A spring based framework for verification of service composition', in Hans-Arno Jacobsen, Yang Wang, Patrick Hung (ed.) Proceedings of the International Conference on Services Computing (SCC) 2011, Washington DC, United States, 4-9 July 2011, pp. 258-265.


Document type: Conference Paper
Collection: Conference Papers

Title A spring based framework for verification of service composition
Author(s) Mukherjee, A
Tari, Z
Bertok, P
Year 2011
Conference name International Conference on Services Computing (SCC) 2011
Conference location Washington DC, United States
Conference dates 4-9 July 2011
Proceedings title Proceedings of the International Conference on Services Computing (SCC) 2011
Editor(s) Hans-Arno Jacobsen, Yang Wang, Patrick Hung
Publisher IEEE
Place of publication New Jersey, United States
Start page 258
End page 265
Total pages 8
Abstract Service-Oriented architecture (SOA) based applications have assumed widespread acceptance owing to their agility, maintainability and modularity. However, the safety and reliability of such loosely coupled systems entirely depend on the precision of service descriptions. Consequently any implicit assumption or unforeseen usage scenarios can lead to catastrophic fiascos. This is further exacerbated by the overlapping constructs and inconsistencies in Business Process Execution Language (BPEL), the de-facto industry standard for service composition. This paper extends the Spring framework to devise a verification framework for service composition wherein each BPEL activity is represented by a Java bean. The framework instantiates the beans corresponding to activities in a BPEL specification and injects the dependencies to yield a bean-factory. Thereafter Java Architecture for XML Binding (JAXB) 2 APIs are used to transform the bean-factory into an XML based formal-model (e.g. Coloured Petri nets (CPN)) or an interchange format (e.g. Petri Net Markup Language (PNML)) for simulation and verification. In addition to automating the verification process, the proposed framework helps to combat the ad-hoc nature of existing solutions. Results indicate that the framework has an average transformation time of. 7 sec
Subjects Global Information Systems
Web Technologies (excl. Web Search)
Keyword(s) BPEL
Spring Framework
Verification
CPN
DOI - identifier 10.1109/SCC.2011.82
Copyright notice © 2011 IEEE
ISBN 9781457708633
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 3 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 252 Abstract Views  -  Detailed Statistics
Created: Fri, 17 Feb 2012, 08:49:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us