Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ


Choose your language

InfoQ Homepage Presentations Savara - Formally Verifying SOA Designs Against Requirements

Savara - Formally Verifying SOA Designs Against Requirements



Steve Ross-Talbot presents Savara, an open source project comprising from a set of tools enabling enterprise architects to validate various artifacts against other artifacts built in different phases of the development process based on the “Testable Architecture” methodology.


Steve Ross-Talbot. co-author of the SOA Manifesto, is the European Technology Officer of Cognizant, interested in using formal methods to build robust distributed systems based on tools such as WS-CDL, SAVARA, BPMN2, HoQ and TRIZ . He has published various papers over the years in topics ranging from query optimization to user interface design to distributed systems and formal methods.

About the conference

The International SOA Symposium is a yearly event that features the top SOA experts and authors from around the world, providing a series of keynotes, talks, demonstrations, panels, and SOA training and certification workshops - all with an emphasis on realizing SOA in the real world.

Recorded at:

Mar 08, 2011