Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Aida Čaušević, Cristina Seceleanu, Paul Pettersson · 2012
Service-Oriented Systems (SOS) have gained importance in different application domains thanks to their ability to enable reusable functionality provided via well-defined interfaces, and the increas ...