Market-Optimized Service Specification and Matching  Svetlana Arifulina 1 , Marie Christin Platenius 2 , Steffen Becker 2 , Christian Gerth 1 , Gregor Engels 1 , and Wilhelm Sch¨afer 2 1 Department of Computer Science, University of Paderborn, Germany 2 Heinz Nixdorf Institute University of Paderborn, Germany {s.arifulina,m.platenius}@upb.de Abstract. Various approaches in service engineering are based on service markets where brokers use service matching in order to perform service discovery. For matching, a broker translates the specifications of provi- ders’ services and requesters’ requirements into her own specification lan- guage, in order to check their compliance using a matcher. The broker’s success depends on the configuration of her language and its matcher be- cause they influence important properties like the effort for providers and requesters to create suitable specifications as well as accuracy and runtime of matching. However, neither existing service specification languages, nor existing matching approaches are optimized in such way. Our approach au- tomatically provides brokers with an optimal configuration of a language and its matcher to improve her success in a given market with respect to her strategy. The approach is based on formalized configuration properties and a predefined set of configuration rules. Keywords: Service-Oriented Computing, Service Engineering, Service Specification, Service Matching, Service Brokers, Service Market. 1 Introduction Many approaches in service engineering deal with emerging service markets, where service providers provide software services for trade [10,11]. In order to buy and use these services, service requesters have to discover services that sat- isfy their requirements. For this reason, various approaches introduce service brokers, who serve as intermediaries between requesters and providers [1]. Re- questers and providers engage such brokers for a successful service discovery because the brokers have expertise in software services for certain markets [4]. For the discovery, a broker matches the requesters’ requirements specifications to specifications of the provided services. For this, brokers use a special software called matcher. The goal of a matcher is based on specifications to determine  This work was supported by the German Research Foundation (DFG) within the Collaborative Research Center “On-The-Fly Computing” (CRC 901). X. Franch et al. (Eds.): ICSOC 2014, LNCS 8831, pp. 543–550, 2014. c  Springer-Verlag Berlin Heidelberg 2014