Precise Steps for Choreography Modeling for SOA Validation and Verification

Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi. Precise Steps for Choreography Modeling for SOA Validation and Verification. In Jonathan Lee, Deron Liang, Y. C. Cheng, editors, The Fourth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, 18-19 December 2008, Jhongli, Taiwan. pages 148-153, IEEE Computer Society, 2008. [doi]

Authors

Sebastian Wieczorek

This author has not been identified. Look up 'Sebastian Wieczorek' in Google

Andreas Roth

This author has not been identified. Look up 'Andreas Roth' in Google

Alin Stefanescu

This author has not been identified. Look up 'Alin Stefanescu' in Google

Anis Charfi

This author has not been identified. Look up 'Anis Charfi' in Google