This group develops concepts and techniques to cope with heterogeneity of service specifications for the success of worldwide service markets. Examples of existing service markets for software are such marketplaces as Eclipse marketplace or Google Play Store. In comparison to the state of the art, we work on the vision of a worldwide service market, in which service providers can offer their software services independent from a certain platform or service speciication language. For that, we develop methods to perform such operations on services like matching or composition based on heterogeneous service specifications provided in a service market. This research is conducted in the scope of the subproject B1 of the Collaborative Reseach Centre 901 "On-The-Fly Computing" supported by the German Research Foundation (DFG).
Members: Svetlana Arifulina, Gregor Engels
Contact person: Svetlana Arifulina
In the vision the On-The-Fly Computing, customer-specific software is developed on demand from distributed software, platform, and infrastructure services available on a worldwide market. Having requirements on a desirable service from a market customer, services have to be automatically discovered and composed in a service composition fulfilling these requirements. For that purpose, services have to be matched based on their specifications. For accurate matching, services have to be described comprehensively including their structural, behavioral and non-functional properties. One challenge of out scenario is the fact that market cusromers and service providers may use an arbitrary domain-specific languages (DSLs) to describe different properties of their services. Therefore, we investigate a parameterized comprehensive core language that covers different concepts needed to describe services for the accurate service matching. Concrete DSLs can be transformed into the core language, and specifications written in these DSLs can be translated into the core language for matching. For that purpose, we develop a user-friendly by-example model transformation approach. Another challenge in a worldwide service market results from the fact that accurate matching of comprehensive service specifications requires a lot of computation effort. That makes the accurate matching often infeasible in a service market because of its inefficiency. Therefore, we investigate how the comprehensive core language can be configured based on the cheracteristics of a certain service market, in order to perform as accurate matching as possible with a feasible efficiency. To sum up, parameterized service specifications serve as a basis to cope with heterogeneity of service specifications and to enable automatic service matching in a worldwide service market.
In this area, we investigate the following research challeng
- Formal comprehensive service specifications using different domain-specific languages (DSL).
- Dealing with heterogeneous service specifications for service operations like service matching, service composition, and analysis of services.
- Language design for efficient and precise service matching.
- By-example derivation of semantic mappings between specification languages.
- Improvement of service specifications to improve their matching results.