Semantic Web Services Challenge 2008 Synthesizing the Mediator with jABC/ABC (2009)
Tiziana Margaria, Marco Bakera, Harald Raffelt, Bernhard Steffen
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator’s service logic. This uses an LTL planning (or configuration)...
Component-Oriented Behavior Extraction for Autonomic System Design (2009)
Margaria, Tiziana, Bakera, Marco, Wagner, Christian
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR...
Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen, Marco Bakera, Tiziana Margaria, ...
In this paper, we show how to use GEAR, a game-based model checker, for property-driven functional healing of high-assurance systems. Designers and engineers can interactively investigate the winning...