DocumentCode
3314008
Title
SOA Simulation and Verification by Event-Driven Policy Enforcement
Author
Tsai, W.T. ; Zhou, Xinyu ; Chen, Yinong
Author_Institution
Arizona State Univ., Tempe
fYear
2008
fDate
13-16 April 2008
Firstpage
165
Lastpage
172
Abstract
The verification of SOA (Service-Oriented Architecture) applications is important, and, simulation is a promising method because it provides runtime behavior and performance analysis. This paper uses a BPEL engine as a simulation engine to simulate SOA applications, and proposes an event- driven policy enforcement framework to verify the SOA applications during simulation.
Keywords
Web services; digital simulation; program verification; software architecture; specification languages; BPEL engine; SOA simulation; SOA verification; Web services; event-driven policy enforcement; service-oriented architecture; Analytical models; Computational modeling; Discrete event simulation; Engines; Performance analysis; Runtime; Semiconductor optical amplifiers; Service oriented architecture; Specification languages; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Simulation Symposium, 2008. ANSS 2008. 41st Annual
Conference_Location
Ottawa, Ont.
ISSN
1080-241X
Print_ISBN
0-7695-3143-1
Type
conf
DOI
10.1109/ANSS-41.2008.30
Filename
4494417
Link To Document