InfoQ Homepage Presentations Savara - Formally Verifying SOA Designs Against Requirements
Savara - Formally Verifying SOA Designs Against Requirements
Summary
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.
Bio
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.
Community comments
Examples Demo
by Mallari Kulkarni,
Re: Examples Demo
by Jeevak Kasarkod,
Examples Demo
by Mallari Kulkarni,
Your message is awaiting moderation. Thank you for participating in the discussion.
Hi
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)?
Mallari
Re: Examples Demo
by Jeevak Kasarkod,
Your message is awaiting moderation. Thank you for participating in the discussion.
Mallari,
The movies are available at: www.jboss.org/savara/documentation/movies.html
Jeevak