{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:37:48Z","timestamp":1725730668493},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642393358"},{"type":"electronic","value":"9783642393365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39336-5_2","type":"book-chapter","created":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T02:24:55Z","timestamp":1370831095000},"page":"13-25","source":"Crossref","is-referenced-by-count":7,"title":["Second-Order Servification"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Neubauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Scheer, A.W., Thomas, O., Adam, O.: Process Modeling using Event-Driven Process Chains, pp. 119\u2013145. John Wiley & Sons, Inc. (2005)","key":"2_CR1","DOI":"10.1002\/0471741442.ch6"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1007\/3-540-26661-5\\_25","volume-title":"Handbook on Architectures of Information Systems","author":"A.W. Scheer","year":"2006","unstructured":"Scheer, A.W., Schneider, K.: Aris \u2014 architecture of integrated information systems. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, pp. 605\u2013623. Springer, Heidelberg (2006), doi:10.1007\/3-540-26661-5_25"},{"issue":"10","key":"2_CR3","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MC.2006.355","volume":"39","author":"T. Margaria","year":"2006","unstructured":"Margaria, T., Steffen, B.: Service engineering: Linking business and it. IEEE Computer\u00a039(10), 45\u201355 (2006)","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"Doedt, M., Steffen, B.: An Evaluation of Service Integration Approaches of Business Process Management Systems. In: 2012 35th IEEE Software Engineering Workshop, SEW (2012)","key":"2_CR4","DOI":"10.1109\/SEW.2012.23"},{"key":"2_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-540-88479-8_35","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"T. Margaria","year":"2009","unstructured":"Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol.\u00a017, pp. 490\u2013502. Springer, Heidelberg (2009)"},{"unstructured":"W3C: Web Services Description Language (WSDL) Version 2.0 (2007), \n                    \n                      http:\/\/www.w3.org\/TR\/2007\/REC-wsdl20-20070626\/","key":"2_CR6"},{"unstructured":"Bajaj, S., Box, D., Chappell, D., Curbera, F., Daniels, G., Hallam-Baker, P., Hondo, M., Kaler, C., Langworthy, D., Nadalin, A., et al.: Web services policy 1.2-framework (WS-policy). W3C Member Submission\u00a025 (2006)","key":"2_CR7"},{"key":"2_CR8","first-page":"20","volume-title":"TAV-WEB 2008, Proc. Worksh.","author":"M. Karusseit","year":"2008","unstructured":"Karusseit, M., Margaria, T., Willebrandt, H.: Policy expression and checking in xacml, ws-policies, and the jABC. In: TAV-WEB 2008, Proc. Worksh., pp. 20\u201326. ACM, Seattle (2008)"},{"unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. PhD thesis, AAI9980887 (2000)","key":"2_CR9"},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MIC.2005.56","volume":"9","author":"J. Pasley","year":"2005","unstructured":"Pasley, J.: How bpel and soa are changing web services development. IEEE Internet Computing\u00a09(3), 60\u201367 (2005)","journal-title":"IEEE Internet Computing"},{"unstructured":"White, S.: Introduction to bpmn. IBM Cooperation, 2008\u20132029 (2004)","key":"2_CR11"},{"unstructured":"White, S., Miers, D.: BPMN modeling and reference guide. Future Strategies Inc. (2008)","key":"2_CR12"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/11841760_12","volume-title":"Business Process Management","author":"P. Wohed","year":"2006","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N.: On the suitability of bpmn for business process modelling. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 161\u2013176. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR14","first-page":"1","volume":"3","author":"S. White","year":"2005","unstructured":"White, S.: Using bpmn to model a bpel process. BPTrends\u00a03(3), 1\u201318 (2005)","journal-title":"BPTrends"},{"unstructured":"Recker, J., Mendling, J.: On the translation between bpmn and bpel: Conceptual mismatch between process modeling languages. In: The 18th CAiSE. Proceedings of Workshops and Doctoral Consortium, pp. 521\u2013532. Namur University Press (2006)","key":"2_CR15"},{"unstructured":"Ouyang, C., Van Der Aalst, W., Dumas, M., Ter Hofstede, A.: Translating bpmn to bpel (2006)","key":"2_CR16"},{"unstructured":"Ouvans, C., Dumas, M., Ter Hofstede, A., Van Der Aalst, W.: From bpmn process models to bpel web services. In: International Conference on Web Services, ICWS 2006, pp. 285\u2013292. IEEE (2006)","key":"2_CR17"},{"doi-asserted-by":"crossref","unstructured":"Zur Muehlen, M., Recker, J., Indulska, M.: Sometimes less is more: Are process modeling languages overly complex? In: Eleventh International IEEE EDOC Conference Workshop, EDOC 2007, pp. 197\u2013204. IEEE (2007)","key":"2_CR18","DOI":"10.1109\/EDOCW.2007.30"},{"unstructured":"Allweyer, T.: BPMN 2.0-Business Process Model and Notation. Bod (2009)","key":"2_CR19"},{"key":"2_CR20","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-642-12186-9_50","volume-title":"Business Process Management Workshops","author":"P. Dadam","year":"2010","unstructured":"Dadam, P., et al.: From ADEPT to AristaFlow BPM Suite: A Research Vision Has Become Reality. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 529\u2013531. Springer, Heidelberg (2010)"},{"unstructured":"RedHat Software - JBoss: jBPM Website (2012), \n                    \n                      http:\/\/www.jboss.org\/jbpm","key":"2_CR21"},{"unstructured":"Activiti Team: Activiti BPM Platform (2012), \n                    \n                      http:\/\/www.activiti.org\/","key":"2_CR22"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11596141_34","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"T. Margaria","year":"2005","unstructured":"Margaria, T., Steffen, B., Reitenspie\u00df, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 450\u2013464. Springer, Heidelberg (2005)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-48092-7_17","volume-title":"Correct System Design","author":"B. Steffen","year":"1999","unstructured":"Steffen, B., Margaria, T.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol.\u00a01710, pp. 390\u2013415. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Service-orientation: Conquering complexity with xmdd. In: Hinchey, M., Koyle, L. (eds.) Conquering Complexity. Springer (2012)","key":"2_CR25","DOI":"10.1007\/978-1-4471-2297-5_10"},{"doi-asserted-by":"crossref","unstructured":"Margaria, T., Steffen, B.: Business process modeling in the jABC: The one-thing approach. In: Handbook of Research on Business Process Modeling, pp. 1\u201326. IGI Global (2009)","key":"2_CR26","DOI":"10.4018\/978-1-60566-288-6.ch001"},{"issue":"2-3","key":"2_CR27","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10009-003-0119-4","volume":"5","author":"T. Margaria","year":"2004","unstructured":"Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT\u00a05(2-3), 107\u2013123 (2004)","journal-title":"STTT"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B. Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol.\u00a04383, pp. 92\u2013108. Springer, Heidelberg (2007)"},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/978-3-642-34026-0_44","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M. Merten","year":"2012","unstructured":"Merten, M., Isberner, M., Howar, F., Steffen, B., Margaria, T.: Automated learning setups in automata learning. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 591\u2013607. Springer, Heidelberg (2012)"},{"key":"2_CR30","first-page":"847","volume":"51","author":"B. Steffen","year":"1997","unstructured":"Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition. Annual Review of Communications of the ACM\u00a051, 847\u2013856 (1997)","journal-title":"Annual Review of Communications of the ACM"},{"unstructured":"Margaria, T., Steffen, B.: Second-order semantic web. In: 29th Annual IEEE\/NASA Software Engineering Workshop, pp. 219\u2013227 (April 2005)","key":"2_CR31"},{"key":"2_CR32","series-title":"Semantic Web And Beyond","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-0-387-72496-6_13","volume-title":"Semantic Web Services Challenge","author":"C. Kubczak","year":"2009","unstructured":"Kubczak, C., Margaria, T., Steffen, B., Winkler, C., Hungar, H.: An approach to discovery with miaamics and jABC. In: Petrie, C., Margaria, T., Lausen, H., Zaremba, M. (eds.) Semantic Web Services Challenge. Semantic Web And Beyond, vol.\u00a08, pp. 217\u2013234. Springer, US (2009)"},{"doi-asserted-by":"crossref","unstructured":"Neubauer, J., Steffen, B., Bauer, O., Windm\u00fcller, S., Merten, M., Margaria, T., Howar, F.: Automated continuous quality assurance. In: FormSERA. IEEE (2012)","key":"2_CR33","DOI":"10.1109\/FormSERA.2012.6229787"},{"doi-asserted-by":"crossref","unstructured":"J\u00f6rges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A Constraint-based Variability Modeling Framework. STTT (2012)","key":"2_CR34","DOI":"10.1007\/s10009-012-0254-x"}],"container-title":["Lecture Notes in Business Information Processing","Software Business. From Physical Products to Software Services and Solutions"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39336-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T00:21:11Z","timestamp":1557793271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39336-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642393358","9783642393365"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39336-5_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}