Filters








1 Hit in 3.6 sec

Safira: Implementing set algebra for service behavior

Kathrin Kaschner
2010 Central-European Workshop on Services and their Composition  
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