Savara - Formally Verifying SOA Designs Against Requirements
Recorded at:
- Share
-
- |
Read later
My Reading List
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.
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.
Examples Demo
by
Mallari Kulkarni
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
Hello stranger!
You need to Register an InfoQ account or Login to post comments. But there's so much more behind being registered.Get the most out of the InfoQ experience.
Tell us what you think