Links and Resources

• Web Services Formal Methods
• Formal Methods for Web Service Process Modeling

• SoE Research Group - Software Engineering & Service-Oriented Technologies
• Introduction to Formal Methods: transition systems
• An evaluation of SOA frameworks

• Workshop on Web Services and Formal Methods

Several interesting papers are listed below:

• The future of SOA: what worked, what didn't, and where is it going from here? Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion. Mamdouh H. Ibrhaim, Kerrie Holley, Nicolai M. Josuttis, Brenda Michelson, Dave Thomas, John deVadoss

• Service-oriented architecture and business process choreography in an order management scenario: rationale, concepts, lessons learned Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. Olaf Zimmermann, Vadim Doubrovski, Jonas Grundler, Kerard Hogg