[{"date_updated":"2022-01-06T06:55:46Z","publication_status":"published","year":"2015","title":"What did you mean? Facing the Challenges of User-generated Software Requirements","publication_identifier":{"isbn":[" 978-989-758-073-4"]},"author":[{"id":"42496","first_name":"Michaela","last_name":"Geierhos","orcid":"0000-0002-8180-5606","full_name":"Geierhos, Michaela"},{"full_name":"Schulze, Sabine","first_name":"Sabine","last_name":"Schulze"},{"id":"38837","full_name":"Bäumer, Frederik Simon","last_name":"Bäumer","first_name":"Frederik Simon"}],"doi":"10.5220/0005346002770283","language":[{"iso":"eng"}],"abstract":[{"text":"Existing approaches towards service composition demand requirements of the customers in terms of service templates, service query profiles, or partial process models. However, addressed non-expert customers may be unable to fill-in the slots of service templates as requested or to describe, for example, pre- and postconditions, or even have difficulties in formalizing their requirements. Thus, our idea is to provide non-experts with suggestions how to complete or clarify their requirement descriptions written in natural language. Two main issues have to be tackled: (1) partial or full inability (incapacity) of non-experts to specify their requirements correctly in formal and precise ways, and (2) problems in text analysis due to fuzziness in natural language. We present ideas how to face these challenges by means of requirement disambiguation and completion. Therefore, we conduct ontology-based requirement extraction and similarity retrieval based on requirement descriptions that are gathered from App marketplaces. The innovative aspect of our work is that we support users without expert knowledge in writing their requirements by simultaneously resolving ambiguity, vagueness, and underspecification in natural language.","lang":"eng"}],"publication":"Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)","type":"conference","department":[{"_id":"36"},{"_id":"1"},{"_id":"579"}],"file":[{"file_name":"231-GeierhosSchulzeBäumer2015.pdf","file_size":1192736,"access_level":"closed","relation":"main_file","date_updated":"2018-03-21T10:31:17Z","file_id":"1503","success":1,"content_type":"application/pdf","creator":"florida","date_created":"2018-03-21T10:31:17Z"}],"date_created":"2017-10-17T12:41:37Z","has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"15504","editor":[{"full_name":"Loiseau, Stephane ","last_name":"Loiseau","first_name":"Stephane "},{"full_name":"Filipe, Joaquim ","last_name":"Filipe","first_name":"Joaquim "},{"full_name":"Duval, Béatrice ","last_name":"Duval","first_name":"Béatrice "},{"first_name":"Jaap","last_name":"van den Herik","full_name":"van den Herik, Jaap"}],"page":"277-283","_id":"231","publisher":"SciTePress - Science and Technology Publications","quality_controlled":"1","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B1","_id":"9"}],"file_date_updated":"2018-03-21T10:31:17Z","citation":{"chicago":"Geierhos, Michaela, Sabine Schulze, and Frederik Simon Bäumer. “What Did You Mean? Facing the Challenges of User-Generated Software Requirements.” In <i>Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)</i>, edited by Stephane  Loiseau, Joaquim  Filipe, Béatrice  Duval, and Jaap van den Herik, 277–83. Setúbal, Portugal: SciTePress - Science and Technology Publications, 2015. <a href=\"https://doi.org/10.5220/0005346002770283\">https://doi.org/10.5220/0005346002770283</a>.","short":"M. Geierhos, S. Schulze, F.S. Bäumer, in: S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.","ieee":"M. Geierhos, S. Schulze, and F. S. Bäumer, “What did you mean? Facing the Challenges of User-generated Software Requirements,” in <i>Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)</i>, 2015, pp. 277–283.","apa":"Geierhos, M., Schulze, S., &#38; Bäumer, F. S. (2015). What did you mean? Facing the Challenges of User-generated Software Requirements. In S. Loiseau, J. Filipe, B. Duval, &#38; J. van den Herik (Eds.), <i>Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)</i> (pp. 277–283). Setúbal, Portugal: SciTePress - Science and Technology Publications. <a href=\"https://doi.org/10.5220/0005346002770283\">https://doi.org/10.5220/0005346002770283</a>","bibtex":"@inproceedings{Geierhos_Schulze_Bäumer_2015, place={Setúbal, Portugal}, title={What did you mean? Facing the Challenges of User-generated Software Requirements}, DOI={<a href=\"https://doi.org/10.5220/0005346002770283\">10.5220/0005346002770283</a>}, booktitle={Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)}, publisher={SciTePress - Science and Technology Publications}, author={Geierhos, Michaela and Schulze, Sabine and Bäumer, Frederik Simon}, editor={Loiseau, Stephane  and Filipe, Joaquim  and Duval, Béatrice  and van den Herik, JaapEditors}, year={2015}, pages={277–283} }","ama":"Geierhos M, Schulze S, Bäumer FS. What did you mean? Facing the Challenges of User-generated Software Requirements. In: Loiseau S, Filipe J, Duval B, van den Herik J, eds. <i>Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)</i>. Setúbal, Portugal: SciTePress - Science and Technology Publications; 2015:277-283. doi:<a href=\"https://doi.org/10.5220/0005346002770283\">10.5220/0005346002770283</a>","mla":"Geierhos, Michaela, et al. “What Did You Mean? Facing the Challenges of User-Generated Software Requirements.” <i>Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015)</i>, edited by Stephane  Loiseau et al., SciTePress - Science and Technology Publications, 2015, pp. 277–83, doi:<a href=\"https://doi.org/10.5220/0005346002770283\">10.5220/0005346002770283</a>."},"place":"Setúbal, Portugal"},{"file":[{"success":1,"content_type":"application/pdf","file_id":"5316","file_size":732827,"access_level":"closed","file_name":"07018950.pdf","date_updated":"2018-11-02T15:53:23Z","relation":"main_file","date_created":"2018-11-02T15:53:23Z","creator":"ups"}],"date_created":"2018-10-22T06:53:37Z","type":"journal_article","department":[{"_id":"355"}],"publication":"IEEE Transactions on Fuzzy Systems","issue":"6","language":[{"iso":"eng"}],"doi":"10.1109/tfuzz.2015.2396078","year":"2015","title":"Fast Fuzzy Pattern Tree Learning for Classification","author":[{"last_name":"Senge","first_name":"Robin","full_name":"Senge, Robin"},{"id":"48129","first_name":"Eyke","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke"}],"publication_identifier":{"issn":["1063-6706","1941-0034"]},"publication_status":"published","date_updated":"2022-01-06T07:01:22Z","intvolume":"        23","file_date_updated":"2018-11-02T15:53:23Z","citation":{"short":"R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.","chicago":"Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.” <i>IEEE Transactions on Fuzzy Systems</i> 23, no. 6 (2015): 2024–33. <a href=\"https://doi.org/10.1109/tfuzz.2015.2396078\">https://doi.org/10.1109/tfuzz.2015.2396078</a>.","ieee":"R. Senge and E. Hüllermeier, “Fast Fuzzy Pattern Tree Learning for Classification,” <i>IEEE Transactions on Fuzzy Systems</i>, vol. 23, no. 6, pp. 2024–2033, 2015.","apa":"Senge, R., &#38; Hüllermeier, E. (2015). Fast Fuzzy Pattern Tree Learning for Classification. <i>IEEE Transactions on Fuzzy Systems</i>, <i>23</i>(6), 2024–2033. <a href=\"https://doi.org/10.1109/tfuzz.2015.2396078\">https://doi.org/10.1109/tfuzz.2015.2396078</a>","bibtex":"@article{Senge_Hüllermeier_2015, title={Fast Fuzzy Pattern Tree Learning for Classification}, volume={23}, DOI={<a href=\"https://doi.org/10.1109/tfuzz.2015.2396078\">10.1109/tfuzz.2015.2396078</a>}, number={6}, journal={IEEE Transactions on Fuzzy Systems}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Senge, Robin and Hüllermeier, Eyke}, year={2015}, pages={2024–2033} }","ama":"Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification. <i>IEEE Transactions on Fuzzy Systems</i>. 2015;23(6):2024-2033. doi:<a href=\"https://doi.org/10.1109/tfuzz.2015.2396078\">10.1109/tfuzz.2015.2396078</a>","mla":"Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.” <i>IEEE Transactions on Fuzzy Systems</i>, vol. 23, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 2024–33, doi:<a href=\"https://doi.org/10.1109/tfuzz.2015.2396078\">10.1109/tfuzz.2015.2396078</a>."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"11","name":"SFB 901 - Subproject B3"}],"page":"2024-2033","_id":"4792","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","user_id":"49109","ddc":["000"],"volume":23,"status":"public","has_accepted_license":"1"},{"type":"conference","keyword":["CROSSING","ATTRACT","ITSECWEBSITE"],"department":[{"_id":"76"}],"file":[{"date_created":"2018-11-02T14:10:22Z","creator":"ups","file_id":"5263","success":1,"content_type":"application/pdf","file_name":"lbb+15iccta.pdf","access_level":"closed","file_size":206378,"relation":"main_file","date_updated":"2018-11-02T14:10:22Z"}],"date_created":"2018-10-31T12:59:44Z","extern":"1","publication":"2015 International Conference on Software Engineering (ICSE)","main_file_link":[{"url":"http://www.bodden.de/pubs/lbb+15iccta.pdf"}],"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:01:46Z","year":"2015","title":"IccTA: Detecting Inter-Component Privacy Leaks in Android Apps","author":[{"first_name":"Li","last_name":"Li","full_name":"Li, Li"},{"full_name":"Bartel, Alexandre","first_name":"Alexandre","last_name":"Bartel"},{"first_name":"Tegawende F.","last_name":"Bissyande","full_name":"Bissyande, Tegawende F."},{"full_name":"Klein, Jacques","last_name":"Klein","first_name":"Jacques"},{"full_name":"Le Traon, Yves","last_name":"Le Traon","first_name":"Yves"},{"full_name":"Arzt, Steven","first_name":"Steven","last_name":"Arzt"},{"first_name":"Siegfried","last_name":"Rasthofer","full_name":"Rasthofer, Siegfried"},{"id":"59256","first_name":"Eric","orcid":"0000-0003-3470-3647","last_name":"Bodden","full_name":"Bodden, Eric"},{"last_name":"Octeau","first_name":"Damien","full_name":"Octeau, Damien"},{"last_name":"McDaniel","first_name":"Patrick","full_name":"McDaniel, Patrick"}],"publication_identifier":{"isbn":["978-1-4799-1934-5"]},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file_date_updated":"2018-11-02T14:10:22Z","citation":{"bibtex":"@inproceedings{Li_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title={IccTA: Detecting Inter-Component Privacy Leaks in Android Apps}, booktitle={2015 International Conference on Software Engineering (ICSE)}, author={Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick}, year={2015}, pages={280–291} }","ama":"Li L, Bartel A, Bissyande TF, et al. IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In: <i>2015 International Conference on Software Engineering (ICSE)</i>. ; 2015:280-291.","mla":"Li, Li, et al. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” <i>2015 International Conference on Software Engineering (ICSE)</i>, 2015, pp. 280–91.","short":"L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer, E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.","chicago":"Li, Li, Alexandre Bartel, Tegawende F. Bissyande, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, and Patrick McDaniel. “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps.” In <i>2015 International Conference on Software Engineering (ICSE)</i>, 280–91, 2015.","ieee":"L. Li <i>et al.</i>, “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps,” in <i>2015 International Conference on Software Engineering (ICSE)</i>, 2015, pp. 280–291.","apa":"Li, L., Bartel, A., Bissyande, T. F., Klein, J., Le Traon, Y., Arzt, S., … McDaniel, P. (2015). IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. In <i>2015 International Conference on Software Engineering (ICSE)</i> (pp. 280–291)."},"ddc":["000"],"user_id":"477","page":"280-291","_id":"5207","has_accepted_license":"1","status":"public"},{"_id":"10714","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"user_id":"477","year":"2015","status":"public","title":"Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs","author":[{"first_name":"Roland","last_name":"Meißner","full_name":"Meißner, Roland"}],"date_updated":"2022-01-06T06:50:50Z","date_created":"2019-07-10T11:48:25Z","type":"bachelorsthesis","department":[{"_id":"78"}],"supervisor":[{"full_name":"Wiersema, Tobias","last_name":"Wiersema","first_name":"Tobias","id":"3118"}],"citation":{"ieee":"R. Meißner, <i>Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs</i>. Universität Paderborn, 2015.","mla":"Meißner, Roland. <i>Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs</i>. Universität Paderborn, 2015.","apa":"Meißner, R. (2015). <i>Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs</i>. Universität Paderborn.","bibtex":"@book{Meißner_2015, title={Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs}, publisher={Universität Paderborn}, author={Meißner, Roland}, year={2015} }","chicago":"Meißner, Roland. <i>Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs</i>. Universität Paderborn, 2015.","ama":"Meißner R. <i>Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs</i>. Universität Paderborn; 2015.","short":"R. Meißner, Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs, Universität Paderborn, 2015."},"project":[{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"status":"public","year":"2014","title":"Webcam application using virtual FPGA","author":[{"full_name":"Wu, Sen","last_name":"Wu","first_name":"Sen"}],"date_updated":"2022-01-06T06:59:10Z","publisher":"Universität Paderborn","_id":"331","user_id":"477","citation":{"bibtex":"@book{Wu_2014, title={Webcam application using virtual FPGA}, publisher={Universität Paderborn}, author={Wu, Sen}, year={2014} }","ama":"Wu S. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn; 2014.","mla":"Wu, Sen. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn, 2014.","chicago":"Wu, Sen. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn, 2014.","short":"S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.","ieee":"S. Wu, <i>Webcam application using virtual FPGA</i>. Universität Paderborn, 2014.","apa":"Wu, S. (2014). <i>Webcam application using virtual FPGA</i>. Universität Paderborn."},"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_created":"2017-10-17T12:41:56Z","type":"bachelorsthesis"},{"_id":"333","publisher":"Universität Paderborn","user_id":"477","title":"Visualisierung von SMT-Solver-Ausgaben","status":"public","year":"2014","author":[{"full_name":"Osterbrink, Sebastian","first_name":"Sebastian","last_name":"Osterbrink"}],"date_updated":"2022-01-06T06:59:10Z","date_created":"2017-10-17T12:41:56Z","type":"bachelorsthesis","citation":{"bibtex":"@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }","ama":"Osterbrink S. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn; 2014.","mla":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","short":"S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.","chicago":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","ieee":"S. Osterbrink, <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","apa":"Osterbrink, S. (2014). <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"abstract":[{"lang":"eng","text":"Today, service compositions often need to be assembled or changed on-the-fly, which leaves only little time for quality assurance. Moreover, quality assurance is complicated by service providers only giving information on their services in terms of domain specific concepts with only limited semantic meaning. In this paper, we propose a method to construct service compositions based on pre-verifiedtemplates. Templates, given as workflow descriptions, are typed over a (domain-independent) template ontology defining concepts and predicates. Templates are proven correct using an abstract semantics, leaving the specific meaning of ontology concepts open, however, only up to given ontology rules. Construction of service compositions amounts to instantiation of templates with domain-specific services.Correctness of an instantiation can then simply be checked by verifying that the domain ontology(a) adheres to the rules of the template ontology, and (b) fulfills the constraints of the employed template."}],"publication":"Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)","type":"conference","department":[{"_id":"77"}],"file":[{"date_updated":"2018-03-20T07:29:29Z","relation":"main_file","access_level":"closed","file_size":484422,"file_name":"336-facs2014_walther.pdf","success":1,"content_type":"application/pdf","file_id":"1423","creator":"florida","date_created":"2018-03-20T07:29:29Z"}],"date_created":"2017-10-17T12:41:57Z","date_updated":"2022-01-06T06:59:13Z","year":"2014","title":"Verified Service Compositions by Template-Based Construction","author":[{"full_name":"Walther, Sven","first_name":"Sven","last_name":"Walther"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"doi":"10.1007/978-3-319-15317-9_3","language":[{"iso":"eng"}],"series_title":"LNCS","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-20T07:29:29Z","citation":{"bibtex":"@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-15317-9_3\">10.1007/978-3-319-15317-9_3</a>}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }","chicago":"Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” In <i>Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)</i>, edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-15317-9_3\">https://doi.org/10.1007/978-3-319-15317-9_3</a>.","short":"S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.","ama":"Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. <i>Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)</i>. LNCS. ; 2014:31-48. doi:<a href=\"https://doi.org/10.1007/978-3-319-15317-9_3\">10.1007/978-3-319-15317-9_3</a>","ieee":"S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based Construction,” in <i>Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)</i>, 2014, pp. 31–48.","apa":"Walther, S., &#38; Wehrheim, H. (2014). Verified Service Compositions by Template-Based Construction. In I. Lanese &#38; E. Madelaine (Eds.), <i>Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)</i> (pp. 31–48). <a href=\"https://doi.org/10.1007/978-3-319-15317-9_3\">https://doi.org/10.1007/978-3-319-15317-9_3</a>","mla":"Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.” <i>Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)</i>, edited by Ivan Lanese and Eric Madelaine, 2014, pp. 31–48, doi:<a href=\"https://doi.org/10.1007/978-3-319-15317-9_3\">10.1007/978-3-319-15317-9_3</a>."},"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","editor":[{"last_name":"Lanese","first_name":"Ivan","full_name":"Lanese, Ivan"},{"first_name":"Eric","last_name":"Madelaine","full_name":"Madelaine, Eric"}],"page":"31-48","_id":"336"},{"_id":"340","publisher":"Universität Paderborn","language":[{"iso":"ger"}],"user_id":"15504","author":[{"full_name":"Korth, Philipp","last_name":"Korth","first_name":"Philipp"}],"title":"Untersuchung transitiver Eigenschaften der Technik \"Programs from Proofs\"","status":"public","year":"2014","date_updated":"2022-01-06T06:59:14Z","date_created":"2017-10-17T12:41:58Z","department":[{"_id":"77"}],"type":"bachelorsthesis","citation":{"chicago":"Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014.","short":"P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.","ama":"Korth P. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn; 2014.","bibtex":"@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }","mla":"Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014.","apa":"Korth, P. (2014). <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn.","ieee":"P. Korth, <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014."},"supervisor":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"user_id":"477","_id":"342","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:15Z","author":[{"first_name":"Christoph","last_name":"Klauke","full_name":"Klauke, Christoph"}],"status":"public","title":"Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen","year":"2014","type":"bachelorsthesis","date_created":"2017-10-17T12:41:58Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"mla":"Klauke, Christoph. <i>Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn, 2014.","ama":"Klauke C. <i>Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn; 2014.","bibtex":"@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, year={2014} }","apa":"Klauke, C. (2014). <i>Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn.","ieee":"C. Klauke, <i>Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn, 2014.","short":"C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.","chicago":"Klauke, Christoph. <i>Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn, 2014."}},{"publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)","file_date_updated":"2018-03-20T07:27:54Z","citation":{"ieee":"M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “Towards Systematic Configuration for Architecture Validation,” in <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)</i>, 2014.","apa":"Becker, M., Becker, S., Besova, G., Walther, S., &#38; Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)</i>.","chicago":"Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)</i>, 2014.","short":"M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.","mla":"Becker, Matthias, et al. “Towards Systematic Configuration for Architecture Validation.” <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)</i>, 2014.","bibtex":"@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }","ama":"Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: <i>Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)</i>. ; 2014."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file":[{"creator":"florida","date_created":"2018-03-20T07:27:54Z","relation":"main_file","date_updated":"2018-03-20T07:27:54Z","file_name":"344-paper_CAMERA_READY.pdf","file_size":80674,"access_level":"closed","file_id":"1420","content_type":"application/pdf","success":1}],"date_created":"2017-10-17T12:41:59Z","type":"conference","department":[{"_id":"77"}],"title":"Towards Systematic Configuration for Architecture Validation","status":"public","year":"2014","author":[{"full_name":"Becker, Matthias","last_name":"Becker","first_name":"Matthias"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"first_name":"Galina","last_name":"Besova","full_name":"Besova, Galina"},{"full_name":"Walther, Sven","last_name":"Walther","first_name":"Sven"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"date_updated":"2022-01-06T06:59:17Z","has_accepted_license":"1","_id":"344","language":[{"iso":"eng"}],"ddc":["040"],"user_id":"477"},{"file":[{"date_created":"2018-03-20T07:27:24Z","creator":"florida","file_id":"1419","success":1,"content_type":"application/pdf","file_name":"345-cloudcom2014-Jungmann.pdf","file_size":508878,"access_level":"closed","relation":"main_file","date_updated":"2018-03-20T07:27:24Z"}],"date_created":"2017-10-17T12:41:59Z","type":"conference","publication":"Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)","file_date_updated":"2018-03-20T07:27:24Z","citation":{"ieee":"A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing,” in <i>Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 2014, pp. 755–758.","apa":"Jungmann, A., &#38; Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In <i>Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)</i> (pp. 755–758). <a href=\"https://doi.org/10.1109/CloudCom.2014.154\">https://doi.org/10.1109/CloudCom.2014.154</a>","chicago":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” In <i>Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 755–58, 2014. <a href=\"https://doi.org/10.1109/CloudCom.2014.154\">https://doi.org/10.1109/CloudCom.2014.154</a>.","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.","mla":"Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” <i>Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)</i>, 2014, pp. 755–58, doi:<a href=\"https://doi.org/10.1109/CloudCom.2014.154\">10.1109/CloudCom.2014.154</a>.","bibtex":"@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, DOI={<a href=\"https://doi.org/10.1109/CloudCom.2014.154\">10.1109/CloudCom.2014.154</a>}, booktitle={Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }","ama":"Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: <i>Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)</i>. ; 2014:755-758. doi:<a href=\"https://doi.org/10.1109/CloudCom.2014.154\">10.1109/CloudCom.2014.154</a>"},"abstract":[{"text":"Automatically composing service-based software solutions is a challenging task. Considering context information during this service composition process is even more challenging. In domains such as image processing, however, context-sensitivity is inherent and cannot be ignored when developing techniques for automatic service composition. Formal approaches tend to create ambiguous solutions, whenever the expressive power of the applied formalism is limited. For example, services may have the same formal specification, although their actual functionality depends on the concrete context. In order to satisfy individual user requests while providing data-dependent functionality, formal approaches have to be extended. We propose to incorporate Reinforcement Learning techniques and combine them with planning based composition approaches. While planning ensures formally correct solutions, learning enables the composition process to resolve ambiguity by implicitly considering context information. Preliminary results show that our combined approach adapts to a static context while still satisfying formally specified requirements.","lang":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"page":"755-758","_id":"345","ddc":["040"],"doi":"10.1109/CloudCom.2014.154","user_id":"15504","status":"public","title":"Towards Context-Sensitive Service Composition for Service-Oriented Image Processing","year":"2014","author":[{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"}],"date_updated":"2022-01-06T06:59:17Z","has_accepted_license":"1"},{"_id":"346","page":"49-57","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1","citation":{"chicago":"Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” In <i>Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 49–57, 2014.","short":"S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.","ieee":"S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. Platenius, “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services,” in <i>Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2014, pp. 49–57.","apa":"Brangewitz, S., Jungmann, A., Petrlic, R., &#38; Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In <i>Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i> (pp. 49–57).","bibtex":"@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }","ama":"Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: <i>Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>. ; 2014:49-57.","mla":"Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” <i>Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2014, pp. 49–57."},"file_date_updated":"2018-03-20T07:26:49Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"7","name":"SFB 901 - Subprojekt A3"},{"_id":"10","name":"SFB 901 - Subproject B2"},{"_id":"2","name":"SFB 901 - Project Area A"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Project Area C","_id":"4"}],"language":[{"iso":"eng"}],"author":[{"full_name":"Brangewitz, Sonja","last_name":"Brangewitz","first_name":"Sonja"},{"full_name":"Jungmann, Alexander","last_name":"Jungmann","first_name":"Alexander"},{"full_name":"Petrlic, Ronald","first_name":"Ronald","last_name":"Petrlic"},{"last_name":"Platenius","first_name":"Marie Christin","full_name":"Platenius, Marie Christin"}],"year":"2014","title":"Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services","date_updated":"2022-01-06T06:59:18Z","date_created":"2017-10-17T12:41:59Z","file":[{"creator":"florida","date_created":"2018-03-20T07:26:49Z","file_name":"346-service_computation_2014_3_10_10005.pdf","access_level":"closed","file_size":334101,"relation":"main_file","date_updated":"2018-03-20T07:26:49Z","file_id":"1418","success":1,"content_type":"application/pdf"}],"department":[{"_id":"205"},{"_id":"76"}],"type":"conference","publication":"Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","abstract":[{"text":"One future goal of service-oriented computing is to realize global markets of composed services. On such markets, service providers offer services that can be flexibly combined with each other. However, most often, market participants are not able to individually estimate the quality of traded services in advance. As a consequence, even potentially profitable transactions between customers and providers might not take place. In the worst case, this can induce a market failure. To overcome this problem, we propose the incorporation of reputation information as an indicator for expected service quality. We address On-The-Fly Computing as a representative environment of markets of composed services. In this environment, customers provide feedback on transactions. We present a conceptual design of a reputation system which collects and processes user feedback, and provides it to participants in the market. Our contribution includes the identification of requirements for such a reputation system from a technical and an economic perspective. Based on these requirements, we propose a flexible solution that facilitates the incorporation of reputation information into markets of composed services while simultaneously preserving privacy of customers who provide feedback. The requirements we formulate in this paper have just been partially met in literature. An integrated approach, however, has not been addressed yet.","lang":"eng"}]},{"publication":"Proceedings of the 14th International Conference on Software Reuse (ICSR)","abstract":[{"lang":"eng","text":"There are many technologies for the automation of processesthat deal with services; examples are service discovery and composition.Automation of these processes requires that the services are described semantically. However, semantically described services are currently not oronly rarely available, which limits the applicability of discovery and composition approaches. The systematic support for creating new semanticservices usable by automated technologies is an open problem.We tackle this problem with a template based approach: Domain independent templates are instantiated with domain specific services andboolean expressions. The obtained services have semantic descriptionswhose correctness directly follows from the correctness of the template.Besides the theory, we present experimental results for a service repository in which 85% of the services were generated automatically."}],"date_created":"2017-10-17T12:42:00Z","file":[{"date_created":"2018-03-20T07:23:32Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1414","access_level":"closed","file_size":431778,"file_name":"353-icsr2015_submission_17.pdf","date_updated":"2018-03-20T07:23:32Z","relation":"main_file"}],"department":[{"_id":"77"},{"_id":"355"}],"type":"conference","author":[{"last_name":"Mohr","first_name":"Felix","full_name":"Mohr, Felix"},{"first_name":"Sven","last_name":"Walther","full_name":"Walther, Sven"}],"title":"Template-based Generation of Semantic Services","year":"2014","date_updated":"2022-01-06T06:59:22Z","language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-319-14130-5_14","citation":{"chicago":"Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” In <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 188–203. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-14130-5_14\">https://doi.org/10.1007/978-3-319-14130-5_14</a>.","short":"F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.","apa":"Mohr, F., &#38; Walther, S. (2014). Template-based Generation of Semantic Services. In <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i> (pp. 188–203). <a href=\"https://doi.org/10.1007/978-3-319-14130-5_14\">https://doi.org/10.1007/978-3-319-14130-5_14</a>","ieee":"F. Mohr and S. Walther, “Template-based Generation of Semantic Services,” in <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 2014, pp. 188–203.","ama":"Mohr F, Walther S. Template-based Generation of Semantic Services. In: <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>. LNCS. ; 2014:188-203. doi:<a href=\"https://doi.org/10.1007/978-3-319-14130-5_14\">10.1007/978-3-319-14130-5_14</a>","bibtex":"@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based Generation of Semantic Services}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-14130-5_14\">10.1007/978-3-319-14130-5_14</a>}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203}, collection={LNCS} }","mla":"Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.” <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 2014, pp. 188–203, doi:<a href=\"https://doi.org/10.1007/978-3-319-14130-5_14\">10.1007/978-3-319-14130-5_14</a>."},"file_date_updated":"2018-03-20T07:23:32Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"status":"public","has_accepted_license":"1","_id":"353","page":"188-203","ddc":["040"],"user_id":"477"},{"date_updated":"2022-01-06T06:59:26Z","author":[{"id":"11315","last_name":"Töws","first_name":"Manuel","full_name":"Töws, Manuel"}],"year":"2014","status":"public","title":"Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB","user_id":"15504","_id":"359","language":[{"iso":"ger"}],"publisher":"Universität Paderborn","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"ieee":"M. Töws, <i>Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB</i>. Universität Paderborn, 2014.","apa":"Töws, M. (2014). <i>Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB</i>. Universität Paderborn.","chicago":"Töws, Manuel. <i>Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB</i>. Universität Paderborn, 2014.","short":"M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.","mla":"Töws, Manuel. <i>Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB</i>. Universität Paderborn, 2014.","bibtex":"@book{Töws_2014, title={Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB}, publisher={Universität Paderborn}, author={Töws, Manuel}, year={2014} }","ama":"Töws M. <i>Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB</i>. Universität Paderborn; 2014."},"type":"mastersthesis","date_created":"2017-10-17T12:42:02Z"},{"publication":"Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)","abstract":[{"text":"Today, software components are traded on markets in form of services. These services can also be service compositions consisting of several services. If a software architect wants to provide such a service composition in the market for trade, she needs to perform several tasks: she needs to model the composition, to discover existing services to be part of that composition, and to analyze the composition's functional correctness as well as its quality, e.g., performance. Up to now, the architect needed to find and use different tools for these tasks. Typically, these tools are not interoperable with each other. We provide the tool SeSAME that supports a software architect in all of these tasks. SeSAME is an integrated Eclipse-based tool-suite providing a comprehensive service specification language to model service compositions and existing services. Furthermore, it includes modules for service matching, functional analysis, and non-functional analysis. SeSAME is the first tool that integrates all these tasks into one tool-suite and, thereby, provides holistic support for trading software services. Thus, it contributes to a software provider's market success.","lang":"eng"}],"date_created":"2017-10-17T12:42:03Z","file":[{"file_id":"1407","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-20T07:19:59Z","file_name":"364-ASE2014.pdf","access_level":"closed","file_size":473308,"date_created":"2018-03-20T07:19:59Z","creator":"florida"}],"department":[{"_id":"66"},{"_id":"76"}],"type":"conference","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"first_name":"Matthias","last_name":"Becker","full_name":"Becker, Matthias"},{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"last_name":"Walther","first_name":"Sven","full_name":"Walther, Sven"}],"title":"SeSAME: Modeling and Analyzing High-Quality Service Compositions","year":"2014","date_updated":"2022-01-06T06:59:28Z","language":[{"iso":"eng"}],"doi":"10.1145/2642937.2648621","citation":{"short":"S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.","chicago":"Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” In <i>Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)</i>, 839–42, 2014. <a href=\"https://doi.org/10.1145/2642937.2648621\">https://doi.org/10.1145/2642937.2648621</a>.","ieee":"S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling and Analyzing High-Quality Service Compositions,” in <i>Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)</i>, 2014, pp. 839–842.","apa":"Arifulina, S., Becker, M., Platenius, M. C., &#38; Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In <i>Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)</i> (pp. 839–842). <a href=\"https://doi.org/10.1145/2642937.2648621\">https://doi.org/10.1145/2642937.2648621</a>","bibtex":"@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME: Modeling and Analyzing High-Quality Service Compositions}, DOI={<a href=\"https://doi.org/10.1145/2642937.2648621\">10.1145/2642937.2648621</a>}, booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842} }","ama":"Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: <i>Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)</i>. ; 2014:839-842. doi:<a href=\"https://doi.org/10.1145/2642937.2648621\">10.1145/2642937.2648621</a>","mla":"Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” <i>Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)</i>, 2014, pp. 839–42, doi:<a href=\"https://doi.org/10.1145/2642937.2648621\">10.1145/2642937.2648621</a>."},"file_date_updated":"2018-03-20T07:19:59Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","has_accepted_license":"1","_id":"364","page":"839-842","user_id":"477","ddc":["040"]},{"file":[{"date_created":"2018-03-20T07:18:47Z","creator":"florida","file_id":"1405","content_type":"application/pdf","success":1,"file_name":"366-otf-security-privacy-final.pdf","file_size":74488,"access_level":"closed","relation":"main_file","date_updated":"2018-03-20T07:18:47Z"}],"date_created":"2017-10-17T12:42:03Z","type":"conference","department":[{"_id":"76"}],"file_date_updated":"2018-03-20T07:18:47Z","publication":"Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)","citation":{"mla":"Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” <i>Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>, 2014, pp. 131–42.","apa":"Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &#38; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In <i>Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)</i> (pp. 131–142).","ieee":"R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security and Privacy Challenges in On-The-Fly Computing,” in <i>Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)</i>, 2014, pp. 131–142.","chicago":"Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In <i>Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>, 131–42, 2014.","short":"R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.","ama":"Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: <i>Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014)</i>. ; 2014:131-142.","bibtex":"@inproceedings{Petrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title={Security and Privacy Challenges in On-The-Fly Computing}, booktitle={Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}, author={Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}, year={2014}, pages={131–142} }"},"abstract":[{"text":"On-The-Fly (OTF) Computing constitutes an approach towards highly dynamic and individualized software markets. Based on service-oriented computing, OTF Computing is about realizing global markets of services that can be flexibly combined. We report on our current research activities, the security and privacy implications thereof, and our approaches to tackle the challenges. Furthermore, we discuss how the security and privacy challenges are addressed in research projects similar to OTF Computing.","lang":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"page":"131-142","_id":"366","language":[{"iso":"eng"}],"user_id":"477","ddc":["040"],"status":"public","title":"Security and Privacy Challenges in On-The-Fly Computing","year":"2014","author":[{"full_name":"Petrlic, Ronald","first_name":"Ronald","last_name":"Petrlic"},{"first_name":"Alexander","last_name":"Jungmann","full_name":"Jungmann, Alexander"},{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"},{"full_name":"Sorge, Christoph","last_name":"Sorge","first_name":"Christoph"}],"date_updated":"2022-01-06T06:59:29Z","has_accepted_license":"1"},{"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-20T07:15:26Z","citation":{"ieee":"M. von Detten, M. C. Platenius, and S. Becker, “Reengineering Component-Based Software Systems with Archimetrix,” <i>Journal of Software and Systems Modeling</i>, no. 4, pp. 1239--1268, 2014.","apa":"von Detten, M., Platenius, M. C., &#38; Becker, S. (2014). Reengineering Component-Based Software Systems with Archimetrix. <i>Journal of Software and Systems Modeling</i>, (4), 1239--1268. <a href=\"https://doi.org/10.1007/s10270-013-0341-9\">https://doi.org/10.1007/s10270-013-0341-9</a>","short":"M. von Detten, M.C. Platenius, S. Becker, Journal of Software and Systems Modeling (2014) 1239--1268.","chicago":"Detten, Markus von, Marie Christin Platenius, and Steffen Becker. “Reengineering Component-Based Software Systems with Archimetrix.” <i>Journal of Software and Systems Modeling</i>, no. 4 (2014): 1239--1268. <a href=\"https://doi.org/10.1007/s10270-013-0341-9\">https://doi.org/10.1007/s10270-013-0341-9</a>.","mla":"von Detten, Markus, et al. “Reengineering Component-Based Software Systems with Archimetrix.” <i>Journal of Software and Systems Modeling</i>, no. 4, Springer, 2014, pp. 1239--1268, doi:<a href=\"https://doi.org/10.1007/s10270-013-0341-9\">10.1007/s10270-013-0341-9</a>.","bibtex":"@article{von Detten_Platenius_Becker_2014, title={Reengineering Component-Based Software Systems with Archimetrix}, DOI={<a href=\"https://doi.org/10.1007/s10270-013-0341-9\">10.1007/s10270-013-0341-9</a>}, number={4}, journal={Journal of Software and Systems Modeling}, publisher={Springer}, author={von Detten, Markus and Platenius, Marie Christin and Becker, Steffen}, year={2014}, pages={1239--1268} }","ama":"von Detten M, Platenius MC, Becker S. Reengineering Component-Based Software Systems with Archimetrix. <i>Journal of Software and Systems Modeling</i>. 2014;(4):1239--1268. doi:<a href=\"https://doi.org/10.1007/s10270-013-0341-9\">10.1007/s10270-013-0341-9</a>"},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"page":"1239--1268","_id":"375","publisher":"Springer","abstract":[{"text":"Many software development, planning, or analysis tasks require an up-to-date software architecture documentation. However, this documentation is often outdated, unavailable, or at least not available as a formal model which analysis tools could use. Reverse engineering methods try to fill this gap. However, as they process the system’s source code, they are easily misled by design deficiencies (e.g., violations of component encapsulation) which leaked into the code during the system’s evolution. Despite the high impact of design deficiencies on the quality of the resulting software architecture models, none of the surveyed related works is able to cope with them during the reverse engineering process. Therefore, we have developed the Archimetrix approach which semi-automatically recovers the system’s concrete architecture in a formal model while simultaneously detecting and removing design deficiencies. We have validated Archi metrix on a case-study system and two implementation variants of the CoCoME benchmark system. Results show that the removal of relevant design deficiencies leads to an architecture model which more closely matches the system’s conceptual architecture.","lang":"eng"}],"publication":"Journal of Software and Systems Modeling","issue":"4","type":"journal_article","file":[{"success":1,"content_type":"application/pdf","file_id":"1399","date_updated":"2018-03-20T07:15:26Z","relation":"main_file","file_size":3356333,"access_level":"closed","file_name":"375-sosym.pdf","date_created":"2018-03-20T07:15:26Z","creator":"florida"}],"date_created":"2017-10-17T12:42:05Z","date_updated":"2022-01-06T06:59:34Z","title":"Reengineering Component-Based Software Systems with Archimetrix","year":"2014","author":[{"full_name":"von Detten, Markus","first_name":"Markus","last_name":"von Detten"},{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"full_name":"Becker, Steffen","first_name":"Steffen","last_name":"Becker"}],"doi":"10.1007/s10270-013-0341-9"},{"abstract":[{"text":"Proof-carrying code approaches aim at safe execution of untrusted code by having the code producer attach a safety proof to the code which the code consumer only has to validate. Depending on the type of safety property, proofs can however become quite large and their validation - though faster than their construction - still time consuming. In this paper we introduce a new concept for safe execution of untrusted code. It keeps the idea of putting the time consuming part of proving on the side of the code producer, however, attaches no proofs to code anymore but instead uses the proof to transform the program into an equivalent but more efficiently verifiable program. Code consumers thus still do proving themselves, however, on a computationally inexpensive level only. Experimental results show that the proof effort can be reduced by several orders of magnitude, both with respect to time and space.","lang":"eng"}],"publication":"Proceedings of the Software Engineering Conference (SE)","type":"conference","department":[{"_id":"77"}],"file":[{"date_created":"2018-03-20T07:04:52Z","creator":"florida","file_id":"1392","content_type":"application/pdf","success":1,"file_name":"383-programmsFromProofsSE.pdf","file_size":66474,"access_level":"closed","relation":"main_file","date_updated":"2018-03-20T07:04:52Z"}],"date_created":"2017-10-17T12:42:06Z","date_updated":"2022-01-06T06:59:38Z","title":"Programs from Proofs -- Approach and Applications","year":"2014","author":[{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"},{"last_name":"Schremmer","first_name":"Alexander","full_name":"Schremmer, Alexander"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"main_file_link":[{"url":"http://eprints.uni-kiel.de/23752/"}],"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics (LNI)","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-20T07:04:52Z","citation":{"bibtex":"@inproceedings{Wonisch_Schremmer_Wehrheim_2014, series={Lecture Notes in Informatics (LNI)}, title={Programs from Proofs -- Approach and Applications}, booktitle={Proceedings of the Software Engineering Conference (SE)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2014}, pages={67–68}, collection={Lecture Notes in Informatics (LNI)} }","chicago":"Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In <i>Proceedings of the Software Engineering Conference (SE)</i>, 67–68. Lecture Notes in Informatics (LNI), 2014.","short":"D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.","ama":"Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: <i>Proceedings of the Software Engineering Conference (SE)</i>. Lecture Notes in Informatics (LNI). ; 2014:67-68.","ieee":"D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in <i>Proceedings of the Software Engineering Conference (SE)</i>, 2014, pp. 67–68.","mla":"Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” <i>Proceedings of the Software Engineering Conference (SE)</i>, 2014, pp. 67–68.","apa":"Wonisch, D., Schremmer, A., &#38; Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In <i>Proceedings of the Software Engineering Conference (SE)</i> (pp. 67–68)."},"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","page":"67-68","_id":"383"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ieee":"Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” <i>Computer Science - Research and Development</i>, no. 3–4, pp. 333–361, 2014.","apa":"Huma, Z., Gerth, C., &#38; Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. <i>Computer Science - Research and Development</i>, (3–4), 333–361. <a href=\"https://doi.org/10.1007/s00450-014-0254-z\">https://doi.org/10.1007/s00450-014-0254-z</a>","chicago":"Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” <i>Computer Science - Research and Development</i>, no. 3–4 (2014): 333–61. <a href=\"https://doi.org/10.1007/s00450-014-0254-z\">https://doi.org/10.1007/s00450-014-0254-z</a>.","short":"Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.","mla":"Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” <i>Computer Science - Research and Development</i>, no. 3–4, Springer, 2014, pp. 333–61, doi:<a href=\"https://doi.org/10.1007/s00450-014-0254-z\">10.1007/s00450-014-0254-z</a>.","bibtex":"@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={<a href=\"https://doi.org/10.1007/s00450-014-0254-z\">10.1007/s00450-014-0254-z</a>}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }","ama":"Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. <i>Computer Science - Research and Development</i>. 2014;(3-4):333-361. doi:<a href=\"https://doi.org/10.1007/s00450-014-0254-z\">10.1007/s00450-014-0254-z</a>"},"file_date_updated":"2018-03-20T07:00:58Z","ddc":["040"],"user_id":"477","_id":"390","publisher":"Springer","page":"333-361","has_accepted_license":"1","status":"public","department":[{"_id":"66"}],"type":"journal_article","date_created":"2017-10-17T12:42:08Z","file":[{"relation":"main_file","date_updated":"2018-03-20T07:00:58Z","file_name":"390-HGE14.pdf","access_level":"closed","file_size":4644980,"file_id":"1385","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-20T07:00:58Z"}],"abstract":[{"text":"In software markets of the future, customer-specific software will be developed on demand based on distributed software and hardware services. Based on a customer-specific request, available service offers have to be discovered and composed into sophisticated IT services that fulfill the customer's request.A prerequisite of this vision are rich service descriptions, which comprise structural as well as behavioral aspects of the services, otherwise an accurate service discovery and composition is not possible. However, automatic matching of service requests and offers specified in rich service descriptions for the purpose of service discovery is a complex task, due to the multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different specification languages, different underlying ontologies, or different levels of granularity in the specification itself.In this article, we present a comprehensive approach for service discovery and composition, which overcomes the underlying heterogeneity of the service partners. Based on a realistic case study of our industrial partner from the e-tourism domain, we first introduce an automatic matching mechanism for service requests and offers specified in a rich service description language. In addition, we propose an automatic service composition approach, which determines possible service compositions by composing the service protocols through a composition strategy based on labeled transition systems. ","lang":"eng"}],"issue":"3-4","publication":"Computer Science - Research and Development","doi":"10.1007/s00450-014-0254-z","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:59:52Z","author":[{"first_name":"Zille","last_name":"Huma","full_name":"Huma, Zille"},{"full_name":"Gerth, Christian","first_name":"Christian","last_name":"Gerth"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"title":"On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains","year":"2014"},{"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-16T11:26:36Z","citation":{"mla":"Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 2014, pp. 346–53, doi:<a href=\"https://doi.org/10.1109/SERVICES.2014.68\">10.1109/SERVICES.2014.68</a>.","bibtex":"@inproceedings{Jungmann_Mohr_Kleinjohann_2014, title={Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}, DOI={<a href=\"https://doi.org/10.1109/SERVICES.2014.68\">10.1109/SERVICES.2014.68</a>}, booktitle={Proceedings of the 10th World Congress on Services (SERVICES)}, author={Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}, year={2014}, pages={346–353} }","ama":"Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>. ; 2014:346-353. doi:<a href=\"https://doi.org/10.1109/SERVICES.2014.68\">10.1109/SERVICES.2014.68</a>","ieee":"A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 2014, pp. 346–353.","apa":"Jungmann, A., Mohr, F., &#38; Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In <i>Proceedings of the 10th World Congress on Services (SERVICES)</i> (pp. 346–353). <a href=\"https://doi.org/10.1109/SERVICES.2014.68\">https://doi.org/10.1109/SERVICES.2014.68</a>","chicago":"Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” In <i>Proceedings of the 10th World Congress on Services (SERVICES)</i>, 346–53, 2014. <a href=\"https://doi.org/10.1109/SERVICES.2014.68\">https://doi.org/10.1109/SERVICES.2014.68</a>.","short":"A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353."},"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"page":"346-353","_id":"447","abstract":[{"text":"Automatic service composition is still a challengingtask. It is even more challenging when dealing witha dynamic market of services for end users. New servicesmay enter the market while other services are completelyremoved. Furthermore, end users are typically no experts in thedomain in which they formulate a request. As a consequence,ambiguous user requests will inevitably emerge and have tobe taken into account. To meet these challenges, we proposea new approach that combines automatic service compositionwith adaptive service recommendation. A best first backwardsearch algorithm produces solutions that are functional correctwith respect to user requests. An adaptive recommendationsystem supports the search algorithm in decision-making.Reinforcement Learning techniques enable the system to adjustits recommendation strategy over time based on user ratings.The integrated approach is described on a conceptional leveland demonstrated by means of an illustrative example fromthe image processing domain.","lang":"eng"}],"publication":"Proceedings of the 10th World Congress on Services (SERVICES)","type":"conference","department":[{"_id":"355"}],"file":[{"creator":"florida","date_created":"2018-03-16T11:26:36Z","file_size":429462,"access_level":"closed","file_name":"447-_FINAL__Combining_Automatic_Service_Composition_with_Adaptive_Service_Recommendation_for_Dynamic_Markets_of_Services.pdf","date_updated":"2018-03-16T11:26:36Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"1347"}],"date_created":"2017-10-17T12:42:19Z","date_updated":"2022-01-06T07:01:06Z","title":"Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services","year":"2014","author":[{"last_name":"Jungmann","first_name":"Alexander","full_name":"Jungmann, Alexander"},{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"first_name":"Bernd","last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd"}],"doi":"10.1109/SERVICES.2014.68","language":[{"iso":"eng"}]}]