A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
In this paper, we present with Safira a tool which implements the fundamental set operations for such set of services. ... Based on an extension of automata, in previous work we proposed a compact representation to characterize the behavior of sets of services and introduced a set algebra on it. ... This paper is devoted to our tool Safira which implements the fundamental set operations complement, intersection and union for sets of services. Section 2 introduces the basic formalisms. ...dblp:conf/zeus/Kaschner10 fatcat:txrv4qpsxbdjzplpkjii7ky5ie