[{"page":"491-495","uri_base":"https://ris.uni-paderborn.de","citation":{"bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 491–95.","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” In Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, 68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","apa":"Engels, G., Lohmann, M., & Sauer, S. (2005). Modellbasierte Entwicklung von Web Services mit Design by Contract. In Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, 2005, vol. 68, pp. 491–495.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495."},"type":"conference","_id":"8398","intvolume":" 68","volume":68,"date_created":"2019-03-06T11:29:06Z","status":"public","publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany","author":[{"first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Marc","last_name":"Lohmann"},{"first_name":"Stefan","id":"447","last_name":"Sauer"}],"user_id":"52534","abstract":[{"lang":"eng"}],"language":[{}],"series_title":"Lecture Notes in Informatics","creator":{"login":"milanp","id":"52534"},"date_updated":"2022-01-06T07:03:54Z","dini_type":"doc-type:conferenceObject","department":[{"tree":[{"_id":"7"},{"_id":"34"},{"_id":"44"},{"_id":"43"}],"_id":"66"}],"dc":{"identifier":["https://ris.uni-paderborn.de/record/8398"],"date":["2005"],"description":["Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt."],"creator":["Engels, Gregor","Lohmann, Marc","Sauer, Stefan"],"source":["Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services mit Design by Contract. In: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495."],"title":["Modellbasierte Entwicklung von Web Services mit Design by Contract"],"rights":["info:eu-repo/semantics/closedAccess"],"publisher":["Gesellschaft für Informatik (GI)"],"language":["eng"],"type":["info:eu-repo/semantics/conferenceObject","doc-type:conferenceObject","text","http://purl.org/coar/resource_type/c_5794"]},"place":"Bonn"}]