InfoQ

InfoQ

Presentation

My Bookmarks

Login or Register to enable bookmarks for unlimited time.

The content has been bookmarked!

There was an error bookmarking this content! Please retry.

Recorded at:
Recorded at

Savara - Formally Verifying SOA Designs Against Requirements

Presented by Steve Ross-Talbot on Mar 08, 2011 Length 00:52:10     Download: MP3
     Slides
Sections
Enterprise Architecture,
Development
Topics
Test Automation ,
Tools ,
SOA ,
Automation ,
Architecture ,
Enterprise Architecture ,
SOA Symposium ,
Patterns ,
Agile ,
Design Patterns ,
Testing
 

How would you like to view the presentation?

In case you are having issues watching this video, please follow these simple steps to help us investigate the issue:
1. Right click on the video player and select Copy log
2. Paste the copied information in an email to video-issue@infoq.com (clicking this link will fill in the default details in most email clients).
Note: in case your email client hasn't automatically picked up the email subject, please include in your email the URL of the video too.
3. Done.
We will investigate the issue and get back to you as soon as possible. Thanks for helping us improve our site!
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.
  • This article is part of a featured topic series on SOA and also Agile
Examples Demo by Mallari Kulkarni Posted
Re: Examples Demo by Jeevak Kasarkod Posted
  1. Back to top

    Examples Demo

    by Mallari Kulkarni

    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

  2. Back to top

    Re: Examples Demo

    by Jeevak Kasarkod

    Mallari,
    The movies are available at: www.jboss.org/savara/documentation/movies.html

    Jeevak