{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:56:17Z","timestamp":1725818177678},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319155449"},{"type":"electronic","value":"9783319155456"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-15545-6_27","type":"book-chapter","created":{"date-parts":[[2015,3,4]],"date-time":"2015-03-04T21:19:15Z","timestamp":1425503955000},"page":"475-489","source":"Crossref","is-referenced-by-count":0,"title":["A Flow Analysis Approach for Service-Oriented Architectures"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Melanie","family":"Langermeier","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Saad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Business Process Modeling Notation (BPMN) 2.0 Specification (2011)"},{"key":"27_CR2","unstructured":"Object Constraint Language (OCL) 2.3.1 Specification (January 2012)"},{"key":"27_CR3","unstructured":"Service oriented architecture modeling language 1.0 specification. Tech. rep. (2012)"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-20401-2_10","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"L. Acciai","year":"2011","unstructured":"Acciai, L., Bodei, C., Boreale, M., Bruni, R., Vieira, H.T.: Static Analysis Techniques for Session-Oriented Calculi. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol.\u00a06582, pp. 214\u2013231. Springer, Heidelberg (2011)"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF00264319","volume":"10","author":"W.A. Babich","year":"1978","unstructured":"Babich, W.A., Jazayeri, M.: The Method of Attributes for Data flow Analysis. Acta Inf\u00a010, 245\u2013264 (1978)","journal-title":"Acta Inf"},{"key":"27_CR6","unstructured":"El-Wakil, M., El-Bastawisi, A., Boshra, M., Fahmy, A.: Object-Oriented Design Quality Models - A Survey and Comparison. In: 2nd International Conference on Informatics and Systems (INFOS 2004) (2004)"},{"key":"27_CR7","unstructured":"Engelhardt, M., Hein, C., Ritter, T., Wagner, M.: Generation of Formal Model Metrics for MOF based Domain Specific Languages. ECEASST\u00a024 (2009)"},{"key":"27_CR8","unstructured":"ENVIROFI: Environmental Observation Web and its Service Applications within the Future Internet - Environmental Usage Area, \n                    \n                      http:\/\/www.envirofi.eu"},{"key":"27_CR9","unstructured":"Koch, N., Heckel, R., G\u00f6nczy, L.: UML for Service-Oriented Systems (second version). Sensoria Deliverable D1.4b, \n                    \n                      http:\/\/pst.ifi.lmu.de\/projekte\/Sensoria\/del_54\/D1.4.b.pdf"},{"key":"27_CR10","unstructured":"Kreger, H., Estefan, J.: Navigating the SOA Open Standards Landscape Around Architecture. Whitepaper W096, The Open Group (2009)"},{"key":"27_CR11","unstructured":"Langermeier, M.: A model-driven approach for open distributed systems. Technical Report 2013-03, University of Augsburg (2013)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Langermeier, M., Saad, C., Bauer, B.: A unified Framework for Enterprise Architecture Analysis. In: Proceedings of the Enterprise Model Analysis Workshop in the Context of the 18th Enterprise Computing Conference, EDOC 2014 (2014)","DOI":"10.1109\/EDOCW.2014.42"},{"key":"27_CR13","unstructured":"Mayer, P., Koch, N., Schroeder, A., Knapp, A.: The UML4SOA Profile. Technical Report, LMU Muenchen Version 3.0 (2010)"},{"key":"27_CR14","unstructured":"Metz, R., McCabe, F., Laskey, K., MacKenzie, C.M., Brown, P.F.: Reference Model for Service Oriented Architecture 1.0. Official OASIS Standard (2006), \n                    \n                      http:\/\/docs.oasis-open.org\/soa-rm\/v1.0\/"},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/978-3-642-41533-3_43","volume-title":"Model-Driven Engineering Languages and Systems","author":"C. Saad","year":"2013","unstructured":"Saad, C., Bauer, B.: Data-Flow Based Model Analysis and Its Applications. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol.\u00a08107, pp. 707\u2013723. Springer, Heidelberg (2013)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Sadovykh, A., Desfray, P., Elves\u00e6ter, B., Berre, A.-J., Landre, E.: Enterprise architecture modeling with SoaML using BMM and BPMN - MDA approach in practice. In: 6th Central and Eastern European Software Engineering Conference, pp. 79\u201385. IEEE (2010)","DOI":"10.1109\/CEE-SECR.2010.5783155"},{"key":"27_CR17","unstructured":"SENSORIA: Software Engineering for Service-Oriented Overlay Computers (2010), \n                    \n                      http:\/\/www.sensoria-ist.eu"},{"key":"27_CR18","unstructured":"Spitznagel, B., Garlan, D.: Architecture-based performance analysis (1998)"},{"key":"27_CR19","unstructured":"The Open Group: Service-Oriented Architecture Ontology. Standard (2011)"},{"key":"27_CR20","unstructured":"The Open Group: SOA Reference Architecture. Standard (2011)"},{"key":"27_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-16561-0_12","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"M. Tribastone","year":"2010","unstructured":"Tribastone, M., Mayer, P., Wirsing, M.: Performance prediction of service-oriented systems with layered queueing networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol.\u00a06416, pp. 51\u201365. Springer, Heidelberg (2010)"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-20401-2_1","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"M. Wirsing","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P.: sensoria \u2013 software engineering for service-oriented overlay computers. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol.\u00a06582, pp. 1\u201314. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Software, Services, and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-15545-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T09:10:25Z","timestamp":1559121025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-15545-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319155449","9783319155456"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-15545-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}