Marie Christin Platenius and Svetlana Arifulina and Wilhelm Schäfer: MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15). , pp. 75--84 (2015)
Show Bibtex | Show Abstract

@inproceedings{PAS15, author = {Marie Christin Platenius and Svetlana Arifulina and Wilhelm Schäfer}, title = {MatchBox: A Framework for Dynamic Configuration of Service Matching Processes}, booktitle = {Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15)}, year = {2015}, pages = {75--84}, month = {4. - 8. Mai} }

Service discovery in global software markets is performed by brokers who act as intermediaries between service requesters and service providers. In order to discover services, brokers apply service matching for determining whether the specification of a provided service satisfies the requester's requirements. Brokers can already choose between a lot of different service matching approaches considering different service properties (structural, behavioral, and non-functional properties). Different matching approaches can be combined into configurable matching processes leading to a high matching quality (e.g., accurate matching results). However, this combination and configuration is a manual procedure and has to be repeated for different requesters' or market requirements regarding matching quality. In this paper, we propose our framework MatchBox, which supports a broker in reusing existing matching approaches and combining them in a model-driven way based on a reconfigurable model of the matching process. Using this reconfigurable model, MatchBox takes care of control and data flow between matching approaches and executes the modeled processes automatically. As a case study, we integrated eleven matchers into MatchBox to demonstrate that it remains flexibility and reduces effort for a broker at the same time.

Svetlana Arifulina and Marie Christin Platenius and Felix Mohr and Gregor Engels: Market-Specific Service Compositions: Specification and Matching. In Proceedings of the 2015 IEEE World Congress on Services (SERVICES 2015). IEEE Computer Society Los Alamintos, CA, USA, pp. 333--340 (2015) June 26 - July 2, 2015
Show Bibtex | Show Abstract

@inproceedings{APME15, author = {Svetlana Arifulina and Marie Christin Platenius and Felix Mohr and Gregor Engels}, title = {Market-Specific Service Compositions: Specification and Matching}, booktitle = {Proceedings of the 2015 IEEE World Congress on Services (SERVICES 2015)}, year = {2015}, pages = {333--340}, month = {Juli}, publisher = {IEEE Computer Society Los Alamintos, CA, USA}, note = {June 26 - July 2, 2015} }

The Collaborative Research Centre ``On-The-Fly Computing'' works on foundations and principles for the vision of the Future Internet. It proposes the paradigm of On-The-Fly Computing, which tackles emerging worldwide service markets. In these markets, service providers trade software, platform, and infrastructure as a service. Service requesters state requirements on services. To satisfy these requirements, the new role of brokers, who are (human) actors building service compositions on the fly, is introduced. Brokers have to specify service compositions formally and comprehensively using a domain-specific language (DSL), and to use service matching for the discovery of the constituent services available in the market. The broker's choice of the DSL and matching approaches influences her success of building compositions as distinctive properties of different service markets play a significant role. In this paper, we propose a new approach of engineering a situation-specific DSL by customizing a comprehensive, modular DSL and its matching for given service market properties. This enables the broker to create market-specific composition specifications and to perform market-specific service matching. As a result, the broker builds service compositions satisfying the requester's requirements more accurately. We evaluated the presented concepts using case studies in service markets for tourism and university management.

Svetlana Arifulina and Marie Christin Platenius and Christian Gerth and Steffen Becker and Gregor Engels and Wilhelm Schäfer: Market-optimized Service Specification and Matching. In Xavier Franch and Aditya K. Ghose and Grace A. Lewis and Sami Bhiri (eds.): 12th International Conference on Service Oriented Computing (ICSOC 2014). Springer, Lecture Notes in Computer Science, vol. 8831, pp. 543-550 (2014)
Show Bibtex | URL

@inproceedings{APGBES_ICSOC14, author = {Svetlana Arifulina and Marie Christin Platenius and Christian Gerth and Steffen Becker and Gregor Engels and Wilhelm Schäfer}, editor = {Xavier Franch and Aditya K. Ghose and Grace A. Lewis and Sami Bhiri}, title = {Market-optimized Service Specification and Matching}, booktitle = {12th International Conference on Service Oriented Computing (ICSOC 2014)}, year = {2014}, volume = {8831}, series = {Lecture Notes in Computer Science}, pages = {543-550}, month = {3.-6. November}, publisher = {Springer} }

Svetlana Arifulina and Matthias Becker and Marie Christin Platenius and Sven Walther: SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ACM, pp. 839--842 (2014)
Show Bibtex | URL

@inproceedings{ABPW14, author = {Svetlana Arifulina and Matthias Becker and Marie Christin Platenius and Sven Walther}, title = {SeSAME: Modeling and Analyzing High-Quality Service Compositions}, booktitle = {Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)}, year = {2014}, pages = {839--842}, month = {September}, publisher = {ACM} }

Marie Christin Platenius and Svetlana Arifulina and Ronald Petrlic and Wilhelm Schäfer: Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Springer (2014) to appear
Show Bibtex | Show Abstract

@inproceedings{PAPS14, author = {Marie Christin Platenius and Svetlana Arifulina and Ronald Petrlic and Wilhelm Schäfer}, title = {Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}, booktitle = {Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}, year = {2014}, publisher = {Springer}, note = {to appear} }

Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice.

Svetlana Arifulina: Towards a Framework for the Integration of Modeling Languages. In Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR-WS.org, CEUR Workshop Proceedings , vol. 935, pp. 23-26 (2012)
Show Bibtex | Show Abstract

@inproceedings{Arifulina2012b, author = {Svetlana Arifulina}, title = {Towards a Framework for the Integration of Modeling Languages}, booktitle = {Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, year = {2012}, volume = {935}, series = {CEUR Workshop Proceedings }, pages = {23-26}, month = {Sep}, publisher = {CEUR-WS.org} }

In software markets of the future, customer-specific software will be developed on demand from distributed software and hardware services available on world-wide markets. Having a request, services have to be automatically discovered and composed. For that purpose, services have to be matched based on their specifications. For the accurate matching, services have to be described comprehensively that requires the integration of different domain-specific languages (DSLs) used for functional, non-functional, and infrastructural properties. Since different service providers use plenty of language dialects to model the same service property, their integration is needed for the matching. In this paper, we propose a framework for integration of DSLs. It is based on a parameterized abstract core language that integrates key concepts needed to describe a service. Parts of the core language can be substituted with concrete DSLs. Thus, the framework serves as a basis for the comprehensive specification and automatic matching of services.

Svetlana Arifulina and Christian Soltenborn and Gregor Engels: Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia). European Association of Software Science and Technology (EASST), Electronic Communications of the EASST, vol. 47 (2012)
Show Bibtex | Show Abstract | URL

@inproceedings{Arifulina2012a, author = {Svetlana Arifulina and Christian Soltenborn and Gregor Engels}, title = {Coverage Criteria for Testing DMM Specifications}, booktitle = {Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), Tallinn (Estonia)}, year = {2012}, volume = {47}, series = {Electronic Communications of the EASST}, publisher = {European Association of Software Science and Technology (EASST)} }

Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications of DMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite's models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language's test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite.

Svetlana Arifulina and Marie Christin Platenius and Christian Gerth and Steffen Becker and Gregor Engels and Wilhelm Schäfer: Configuration of Specification Language and Matching for Services in On-The-Fly Computing. no. tr-ri-14-342. Heinz Nixdorf Institute, University of Paderborn (2014)
Show Bibtex

@techreport{APGBES_TP14, author = {Svetlana Arifulina and Marie Christin Platenius and Christian Gerth and Steffen Becker and Gregor Engels and Wilhelm Schäfer}, title = {Configuration of Specification Language and Matching for Services in On-The-Fly Computing}, institution = {Heinz Nixdorf Institute, University of Paderborn}, year = {2014}, number = {tr-ri-14-342}, month = {July} }

Svetlana Arifulina: Coverage Criteria for Testing DMM Specifications. Type: Master Thesis (2011)
Show Bibtex

@mastersthesis{Svetlana2011, author = {Svetlana Arifulina}, title = {Coverage Criteria for Testing DMM Specifications}, year = {2011} }