{"date_created":"2019-03-06T11:29:06Z","user_id":"52534","citation":{"mla":"Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” <i>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</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 491–95.","ama":"Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services mit Design by Contract. In: <i>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</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in <i>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</i>, 2005, vol. 68, pp. 491–495.","apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Modellbasierte Entwicklung von Web Services mit Design by Contract. In <i>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</i> (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).","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} }","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.","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” In <i>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</i>, 68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005."},"volume":68,"_id":"8398","title":"Modellbasierte Entwicklung von Web Services mit Design by Contract","department":[{"_id":"66"}],"publisher":"Gesellschaft für Informatik (GI)","abstract":[{"lang":"eng","text":"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."}],"author":[{"first_name":"Gregor","full_name":"Engels, Gregor","last_name":"Engels","id":"107"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"full_name":"Sauer, Stefan","id":"447","last_name":"Sauer","first_name":"Stefan"}],"year":"2005","place":"Bonn","status":"public","intvolume":"        68","date_updated":"2022-01-06T07:03:54Z","type":"conference","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","page":"491-495","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}]}