{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:47:12Z","timestamp":1725832032426},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319257464"},{"type":"electronic","value":"9783319257471"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25747-1_7","type":"book-chapter","created":{"date-parts":[[2015,10,12]],"date-time":"2015-10-12T20:12:35Z","timestamp":1444680755000},"page":"63-73","source":"Crossref","is-referenced-by-count":0,"title":["Integration and Exchangeability of External Security-Critical Web Services in a Model-Driven Approach"],"prefix":"10.1007","author":[{"given":"Marian","family":"Borek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kurt","family":"Stenzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuzman","family":"Katkalov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,15]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-28756-5_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Armando","year":"2012","unstructured":"Armando, A., Arsac, W., Avanesov, T., Barletta, M., Calvi, A., Cappai, A., Carbone, R., Chevalier, Y., Compagna, L., Cu\u00e9llar, J., Erzse, G., Frau, S., Minea, M., M\u00f6dersheim, S., von Oheimb, D., Pellegrino, G., Ponta, S.E., Rocchetto, M., Rusinowitch, M., Torabi Dashti, M., Turuani, M., Vigan\u00f2, L.: The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 267\u2013282. Springer, Heidelberg (2012)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of the 32nd Symposium on Principles of Database Systems, pp. 163\u2013174. ACM (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-25975-6_22","volume-title":"Advanced Information Systems Engineering","author":"K Ba\u00efna","year":"2004","unstructured":"Ba\u00efna, K., Benatallah, B., Casati, F., Toumani, F.: Model-driven web service development. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 290\u2013306. Springer, Heidelberg (2004)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-46428-X_25","volume-title":"Fundamental Approaches to Software Engineering","author":"M Balser","year":"2000","unstructured":"Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, p. 363. Springer, Heidelberg (2000)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B Benatallah","year":"2003","unstructured":"Benatallah, B., Sheng, Q.Z., Dumas, M.: The self-serv environment for web services composition. Internet Comput. IEEE 7(1), 40\u201348 (2003)","journal-title":"Internet Comput. IEEE"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Model-driven development of secure service applications. In: 2012 35th Annual IEEE Software Engineering Workshop (SEW), pp. 62\u201371. IEEE (2012)","DOI":"10.1109\/SEW.2012.13"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-40561-7_6","volume-title":"Software Engineering and Formal Methods","author":"M Borek","year":"2013","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Model checking of security-critical applications in a model-driven approach. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. 8137, pp. 76\u201390. Springer, Heidelberg (2013)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Borek, M., Moebius, N., Stenzel, K., Reif, W.: Security requirements formalized with OCL in a model-driven approach. In: Model-Driven Requirements Engineering Workshop (MoDRE), pp. 65\u201373. IEEE (2013)","DOI":"10.1109\/MoDRE.2013.6597265"},{"key":"7_CR9","unstructured":"de Castro, V., Marcos, E., Vela, B.: Representing wsdl with extended uml. Revista Columbiana de Computation, vol. 5 (2004)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Gronmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-driven web services development. In: 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE 2004, pp. 42\u201345. IEEE (2004)","DOI":"10.1109\/EEE.2004.1287288"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, M., Feja, S.: A security modeling approach for web-service-based business processes. In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, pp. 340\u2013347. IEEE (2009)","DOI":"10.1109\/ECBS.2009.14"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.comnet.2013.08.024","volume":"58","author":"K Katkalov","year":"2013","unstructured":"Katkalov, K., Moebius, N., Stenzel, K., Borek, M., Reif, W.: Modeling test cases for security protocols with SecureMDD. Comput. Netw. 58, 99\u2013111 (2013)","journal-title":"Comput. Netw."},{"key":"7_CR13","unstructured":"Mayer, P.: MDD4SOA: model-driven development for service-oriented architectures. Ph.D. thesis, lmu (2010)"},{"key":"7_CR14","unstructured":"Menzel, M.: Model-driven security in service-oriented architectures. Ph.D. thesis, Potsdam University (2011). http:\/\/opus.kobv.de\/ubp\/volltexte\/2012\/5905\/"},{"issue":"1","key":"7_CR15","first-page":"59","volume":"1","author":"N Moebius","year":"2008","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Modeling security-critical applications with UML in the secureMDD approach. Int. J. Adv. Soft. 1(1), 59\u201379 (2008)","journal-title":"Int. J. Adv. Soft."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Generating formal specifications for security-critical applications - a model-driven approach. In: ICSE 2009 Workshop: International Workshop on Software Engineering for Secure Systems (SESS 2009). IEEE\/ACM Digital Libary (2009)","DOI":"10.1109\/IWSESS.2009.5068461"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-642-11747-3_13","volume-title":"Engineering Secure Software and Systems","author":"N Moebius","year":"2010","unstructured":"Moebius, N., Stenzel, K., Reif, W.: Formal verification of application-specific security properties in a model-driven approach. In: Massacci, F., Wallach, D., Zannone, N. (eds.) ESSoS 2010. LNCS, vol. 5965, pp. 166\u2013181. Springer, Heidelberg (2010)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Nakamura, Y., Tatsubori, M., Imamura, T., Ono, K.: Model-driven security based on a web services security architecture. In: IEEE International Conference on Services Computing, pp. 7\u201315. IEEE Press (2005)","DOI":"10.1109\/SCC.2005.66"},{"key":"7_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-92171-4","volume-title":"QVT-Operational Mappings: Modellierung mit der Query Views Transformation","author":"S Nolte","year":"2009","unstructured":"Nolte, S.: QVT-Operational Mappings: Modellierung mit der Query Views Transformation. Springer, Heidelberg (2009)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1016\/j.jss.2011.10.052","volume":"85","author":"A Pironti","year":"2012","unstructured":"Pironti, A., Pozza, D., Sisto, R.: Formally-based semi-automatic implementation of an open security protocol. J. Syst. Softw. 85(4), 835\u2013849 (2012)","journal-title":"J. Syst. Softw."},{"key":"7_CR21","unstructured":"Sun Microsystems Inc., Java Card 2.2 Specification (2002). http:\/\/java.sun.com\/products\/javacard\/"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-540-45275-1_34","volume-title":"Advanced Conceptual Modeling Techniques","author":"S Th\u00f6ne","year":"2003","unstructured":"Th\u00f6ne, S., Depke, R., Engels, G.: Process-oriented, flexible composition of web services with UML. In: Oliv\u00e9, \u00c0., Yoshikawa, M., Yu, E.S.K. (eds.) ER 2003. LNCS, vol. 2784, pp. 390\u2013401. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25747-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T05:24:24Z","timestamp":1692077064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25747-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319257464","9783319257471"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25747-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}