The Savara project has been established to create tool support around the concept of Testable Architecture. To understand more about Testable Architecture, please read the ”What is Testable Architecture?” page, but in a nutshell it is about ensuring artifacts defined at different stages of the software development lifecycle are valid against each other, and remain valid through the evolution of the system. The first version of Savara was primarily focused on Eclipse tooling around the use of WS-CDL to describe the architecture as a choreography, with some basic monitoring and validation capabilities around jbossws and jbossesb. The goal of Savara 2 is to provide a more general set of tools that can be used in both Eclipse and web based tooling, as well as embedded in applications as required. Although initially the choreography will still be specified in WS-CDL, we are adding BPMN2 support. In terms of runtime monitoring, our initial focus will be on JBossAS7 based technologies.
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Padovani, Luca; Yoshida, Nobuko: A gentle introduction to multiparty asynchronous session types (2015)
- Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2015)
- Yoshida, Nobuko; Hu, Raymond; Neykova, Rumyana; Ng, Nicholas: The Scribble protocol language (2014) ioport