You are now in FULL VIEW

Savara - Formally Verifying SOA Designs Against Requirements
Recorded at:

| by Steve Ross-Talbot Follow 0 Followers on Mar 08, 2011 |

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.

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.