{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:57:20Z","timestamp":1725605840136},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223853"},{"type":"electronic","value":"9783642223860"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22386-0_1","type":"book-chapter","created":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T18:32:25Z","timestamp":1315593145000},"page":"1-19","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Compiler for Business-IT Systems"],"prefix":"10.1007","author":[{"given":"Jana","family":"Koehler","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Gschwind","sequence":"additional","affiliation":[]},{"given":"Jochen","family":"K\u00fcster","sequence":"additional","affiliation":[]},{"given":"Hagen","family":"V\u00f6lzer","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Zimmermann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., Kr\u00e4mer, B.J.: Service-oriented computing: A research roadmap. In: Dagstuhl Seminar Proceedings on Service-Oriented Computing (2006)"},{"key":"1_CR2","unstructured":"Jordan, D., et al.: Web services business process execution language (WSBPEL) 2.0 (2007), \n                    \n                      http:\/\/www.oasis-open.org\/committees\/wsbpel\/"},{"key":"1_CR3","unstructured":"OMG: Business Process Modeling Notation Specification, Version 1.1 (2007)"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT_Flex - supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems\u00a010(2), 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-30468-5_9","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Disjoint and overlapping process changes: Challenges, solutions, applications. In: Chung, S. (ed.) OTM 2004. LNCS, vol.\u00a03290, pp. 101\u2013120. Springer, Heidelberg (2004)"},{"key":"1_CR6","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnik","year":"1997","unstructured":"Muchnik, S.: Advanced Compiler Design and Implementation. Morgan Kaufmann, San Francisco (1997)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-74974-5_4","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"J. Vanhatalo","year":"2007","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 43\u201355. Springer, Heidelberg (2007)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-85758-7_10","volume-title":"Business Process Management","author":"J. Vanhatalo","year":"2008","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The Refined Process Structure Tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 100\u2013115. Springer, Heidelberg (2008)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1994), pp. 171\u2013185 (1994)","DOI":"10.1145\/773473.178258"},{"key":"1_CR10","unstructured":"Ananian, C.S.: The static single information form. Master\u2019s thesis, Massachusetts Institute of Technology (September 1999)"},{"key":"1_CR11","unstructured":"Valdes-Ayesta, J.: Parsing Flowcharts and series-parallel graphs. PhD thesis, Stanford University (1978)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/567446.567456","volume-title":"7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R.E. Tarjan","year":"1980","unstructured":"Tarjan, R.E., Valdes, J.: Prime subprogram parsing of a program. In: 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 95\u2013105. ACM, New York (1980)"},{"key":"1_CR13","doi-asserted-by":"publisher","DOI":"10.1142\/9789812815149","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"H. Ehrig","year":"1999","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation, vol.\u00a02. World Scientific, Singapore (1999)"},{"key":"1_CR14","unstructured":"Favre, C.: Algorithmic verification of business process models. Master\u2019s thesis, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (August 2008)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-540-85758-7_19","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2008","unstructured":"K\u00fcster, J.M., Gerth, C., F\u00f6rster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 244\u2013260. Springer, Heidelberg (2008)"},{"key":"1_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9","volume-title":"Test and Analysis of Web Services","author":"L. Baresi","year":"2007","unstructured":"Baresi, L., Nitto, E.D.: Test and Analysis of Web Services. Springer, Heidelberg (2007)"},{"key":"1_CR17","volume-title":"Production Workflow","author":"F. Leymann","year":"2000","unstructured":"Leymann, F., Roller, D.: Production Workflow. Prentice Hall, Englewood Cliffs (2000)"},{"issue":"4","key":"1_CR18","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing workflow processes using WOFLAN. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1145\/988672.988756","volume-title":"13th Int. Conference on the World Wide Web (WWW 2004)","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web Services. In: 13th Int. Conference on the World Wide Web (WWW 2004), pp. 621\u2013630. ACM, New York (2004)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/11596141_39","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Trainotti","year":"2005","unstructured":"Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P.G., Traverso, P.: ASTRO: Supporting Composition and Execution of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 495\u2013501. Springer, Heidelberg (2005)"},{"key":"1_CR21","unstructured":"Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Technical Journal\u00a010(2+4) (2007)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-89020-1_1","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"J. Koehler","year":"2008","unstructured":"Koehler, J., Gschwind, T., K\u00fcster, J., Pautasso, C., Ryndina, K., Vanhatalo, J., V\u00f6lzer, H.: Combining quality assurance and model transformations in business-driven development. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol.\u00a05088, pp. 1\u201316. Springer, Heidelberg (2008)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-85758-7_4","volume-title":"Business Process Management","author":"T. Gschwind","year":"2008","unstructured":"Gschwind, T., Koehler, J., Wong, J.: Applying patterns during business process modeling. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 4\u201319. Springer, Heidelberg (2008)"},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/BFb0032687","volume-title":"Languages and Compilers for Parallel Computing","author":"J. Lee","year":"1998","unstructured":"Lee, J., Midkiff, S.P., Padua, D.A.: Concurrent static single assignment form and const propagation for explicitly parallel programs. In: Huang, C.-H., Sadayappan, P., Sehr, D. (eds.) LCPC 1997. LNCS, vol.\u00a01366, pp. 114\u2013130. Springer, Heidelberg (1998)"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(94)90005-1","volume":"66","author":"B. Nebel","year":"1994","unstructured":"Nebel, B., B\u00e4ckstr\u00f6m, C.: On the computational complexity of temporal projection, planning, and plan validation. Artificial Intelligence\u00a066(1), 125\u2013160 (1994)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"1_CR26","first-page":"35","volume":"1","author":"P. Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the soa. AMCT\u00a01(3), 35\u201343 (2005)","journal-title":"AMCT"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-73094-1_20","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"N. Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"issue":"2","key":"1_CR28","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1504\/IJBPIM.2007.015129","volume":"2","author":"P. Massuthe","year":"2007","unstructured":"Massuthe, P., Wolf, K.: An algorithm for matching nondeterministic services with operating guidelines. Int. Journal of Business Process Integration and Management\u00a02(2), 81\u201390 (2007)","journal-title":"Int. Journal of Business Process Integration and Management"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H.M., van der Aalst, W.M.P.: From BPMN process models to BPEL Web Services. In: IEEE Int. Conference on Web Services (ICWS 2006), pp. 285\u2013292 (2006)","DOI":"10.1109\/ICWS.2006.67"},{"key":"1_CR30","volume-title":"Mastering Enterprise JavaBeans 3.0","author":"R.P. Sriganesh","year":"2006","unstructured":"Sriganesh, R.P., Bose, G., Silvermanohn, M.: Mastering Enterprise JavaBeans 3.0. John Wiley, Chichester (2006)"},{"key":"1_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Rao","year":"2005","unstructured":"Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 43\u201354. Springer, Heidelberg (2005)"},{"key":"1_CR32","unstructured":"Hoffmann, J., Bertoli, P., Pistore, M.: Web service composition planning, revisted: In between background theories and initial state uncertainty. In: 22nd AAAI Conference on Artificial Intelligence (AAAI 2007), pp. 1013\u20131018 (2007)"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1109\/ICWS.2007.111","volume-title":"IEEE Int. Conference on Web Services (ICWS 2007)","author":"P. Bertoli","year":"2007","unstructured":"Bertoli, P., Hoffmann, J., L\u00e9cu\u00e9, F., Pistore, M.: Integrating discovery and automated composition: From semantic requirements to executable code. In: IEEE Int. Conference on Web Services (ICWS 2007), pp. 815\u2013822. IEEE, Los Alamitos (2007)"},{"key":"1_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11948148_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"A. Brogi","year":"2006","unstructured":"Brogi, A., Popescu, R.: Automated generation of bpel adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 27\u201339. Springer, Heidelberg (2006)"},{"key":"1_CR35","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/11921998_8","volume-title":"Quality of Software Architectures","author":"P. Kruchten","year":"2006","unstructured":"Kruchten, P., Lago, P., van Vliet, H.: Building up and reasoning about architectural knowledge. In: Hofmeister, C., Crnkovi\u0107, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol.\u00a04214, pp. 43\u201358. Springer, Heidelberg (2006)"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/WICSA.2005.61","volume-title":"5th IFIP Conference on Software Architecture (WICSA 2005)","author":"A. Jansen","year":"2005","unstructured":"Jansen, A., Bosch, J.: Software architecture as a set of architectural design choices. In: 5th IFIP Conference on Software Architecture (WICSA 2005), pp. 109\u2013120. IEEE, Los Alamitos (2005)"},{"issue":"2","key":"1_CR38","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2005.27","volume":"22","author":"J. Tyree","year":"2005","unstructured":"Tyree, J., Akerman, A.: Architecture decisions: Demystifying architecture. IEEE Software\u00a022(2), 19\u201327 (2005)","journal-title":"IEEE Software"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/WICSA.2008.19","volume-title":"8th IFIP Conference on Software Architecture (WICSA 2008)","author":"O. Zimmermann","year":"2008","unstructured":"Zimmermann, O., Zduhn, U., Gschwind, T., Leymann, F.: Combining pattern languages and architectural decision models into a comprehensive and comprehensible design method. In: 8th IFIP Conference on Software Architecture (WICSA 2008), pp. 157\u2013166. IEEE, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22386-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T00:08:31Z","timestamp":1558310911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22386-0_1"}},"subtitle":["A Vision Statement Complemented with a Research Agenda"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223853","9783642223860"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22386-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}