Facilitating the spread of knowledge and innovation in professional software development



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

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • Examples Demo

    by Mallari Kulkarni,

    Your message is awaiting moderation. Thank you for participating in the discussion.


    Great presentation. Glad to know that, formally SOA design can be verified against requirement.

    As part of video peresntation, i could not see the both examples (includes schema changes & sequence diagram).

    Is it possible to share these movies/demo (examples)?


  • Re: Examples Demo

    by Jeevak Kasarkod,

    Your message is awaiting moderation. Thank you for participating in the discussion.

    The movies are available at:


Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p


Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.