TY - CONF AU - Heckel, Reiko AU - Cherchago, Alexey AU - Lohmann, Marc ID - 8388 T2 - Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy TI - A Formal Approach to Service Specification and Matching based on Graph Transformation VL - 105 ER -