SOA Simulation and Verification by Event-Driven Policy Enforcement

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.