Forschungsgebiete

• Sprachentwicklulng auf Basis von Metamodellen
• Entwicklung von Domänenspezifischen Modellierungssprachen
• Konfiguration und Anpasung von Modellierungssprachen
• Model Transformations by-Example
• Reichaltige Spezifikationen von Web Services
• Kontraktbasierte Spezifikationen
• Qualitätsmanagement von Servicespezifikationen
• Abdeckungskriterien von Dynamic Meta Modeling (DMM) Semantiken

Diese Forschung gehört zu der Forschungsgruppe Parameterized Service Specifications.

Publikationen

Rezensierte Konferenzbeiträge (4)

Svetlana Arifulina, Marie Christin Platenius, Felix Mohr, 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) 
 

Marie Christin Platenius, Svetlana Arifulina, 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) 
 

Svetlana Arifulina, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, 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) 
 

Svetlana Arifulina, Matthias Becker, Marie Christin Platenius, Sven Walther: SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Ivica Crnkovic and Marsha Chechik and Paul Grünbacher (eds.): Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ACM, pp. 839-842 (2014) 

Rezensierte Workshopbeiträge (3)

Marie Christin Platenius, Svetlana Arifulina, Ronald Petrlic, 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) 
 

Svetlana Arifulina, Christian Soltenborn, Gregor Engels:  Coverage Criteria for Testing DMM Specifications. In A. Fish, L. Lambers (eds.): 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) 
 

Svetlana Arifulina: Towards a Framework for the Integration of Modeling Languages. In Ulrich W. Eisenecker and Christian Bucholdt (eds.): 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) 
 

Technische Berichte (1)

Svetlana Arifulina, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, 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) 
 

Masterarbeiten (1)

Svetlana Arifulina: Coverage Criteria for Testing DMM Specifications. Master's thesis, University of Paderborn(2011) 
 

Diplom-/Masterarbeit | Titel: Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services

Aufgabenbereich: Service Specification in On-The-Fly Computing, Contract-Based Specifications
Status: Abgeschlossen
Bearbeiter: Kavitha Jagannath
 

Beschreibung:
The Collaborative Research Centre 901 "On-The-Fly Computing" provides techniques and processes for the automatic and dynamic configuration of service available on world-wide markets. In order to discover and compose those services according to some customer-specific request, not only structure but also behavior of these services have to be described. One of the techniques used to describe behavioral aspects of services is design-by-contract. The goal of this master's thesis is to investigate various design-by-contract techniques that can be used for the service specification in on-the-fly computing and compare them regarding to the types of specification needed.

Vorkenntnisse:

Kontakt: Svetlana Arifulina
Anhang: noch kein Anhang

Diplom-/Masterarbeit | Improving Service Specifications for the Service Matching on a Service Market

Aufgabenbereich: Quality management of service specifications in On-The-Fly Computing
Status: Abgeschlossen
Bearbeiter: Vahide Taherinajafabadi
 

Beschreibung:
On a worldwide service market of services, service specifications of a provider are discovered and compared to customer’s requests, in order to find services fulfilling these requests (the process of service matching). Service providers and service requests use different specification languages, for which corresponding matching approaches are available on the market. However, specifications of some services do not really describe them appropriately, thus, giving rise to false positive and false negative matching results (so-called mismatches). Therefore, the goal of this Master thesis is to improve service specifications of a service provider by analyzing and handling mismatches for different specification languages and their corresponding matching approaches. As a solution, a recommendation system for service providers to improve the service specification is developed. This recommendation system is based on a mismatch-driven approach in which the various types of mismatches between the requests and the service descriptions will be identified and recommendation for the service specification improvement will be offered to solve these mismatches. The contribution of this Master thesis is a systematic assistance to service providers to improve their offered service specifications, a categorization of mismatch types and recommendations for solving the identified mismatch categories.

Vorkenntnisse:

• Service specification languages
• Service matching approaches
• Eclipse Modeling Framework

Kontakt: Svetlana Arifulina
Anhang: noch kein Anhang

Project Group: AppSolut - A Framework for Composed App Solutions

This project group aims at developing a framework for the composition of Android apps. The tasks include the development of a specification language to describe the apps. Furthermore, a matching concept has to be developed, in order to find suitable apps and to compose them correctly. The framework has to provide appropriate tool support. Challenges of this project group are:

• App specifications have to integrate both functional and non-functional properties.
• These properties have to be compared automatically based on the developed matching concepts.
• The developed approach has to be applied and evaluated on a complex realistic example.

This research is performed in the context of the subproject B1 of the SFB 901 "On-The-Fly Computing".