{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:47:22Z","timestamp":1725518842715},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540857570"},{"type":"electronic","value":"9783540857587"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-85758-7_23","type":"book-chapter","created":{"date-parts":[[2008,10,3]],"date-time":"2008-10-03T13:54:09Z","timestamp":1223042049000},"page":"310-325","source":"Crossref","is-referenced-by-count":12,"title":["Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Stein","sequence":"first","affiliation":[]},{"given":"Stefan","family":"K\u00fchne","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Drawehn","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Feja","sequence":"additional","affiliation":[]},{"given":"Werner","family":"Rotzoll","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","volume-title":"Business Process Management: The Third Wave","author":"H. Smith","year":"2003","unstructured":"Smith, H., Fingar, P.: Business Process Management: The Third Wave, 1st edn. Meghan-Kiffer Press, Tampa (2003)","edition":"1"},{"key":"23_CR2","unstructured":"Miller, J., Mukerji, J.: MDA guide. Technical Report omg\/2003-06-01, Object Management Group (OMG) Version 1.0.1 (June 2003)"},{"key":"23_CR3","volume-title":"Enterprise Service Oriented Architectures","author":"J. McGovern","year":"2006","unstructured":"McGovern, J., Sims, O., Jain, A., Little, M.: Enterprise Service Oriented Architectures. Springer, Dordrecht (2006)"},{"key":"23_CR4","unstructured":"K\u00fchne, S., Thr\u00e4nert, M., Speck, A.: Towards a methodology for orchestration and validation of cooperative e-business components. In: Rutherford, M.J. (ed.) 7th GPCE Young Researcher Workshop, pp. 29\u201334 (2005)"},{"key":"23_CR5","series-title":"Leipziger Beitr\u00e4ge zur Informatik","volume-title":"Integration betrieblicher Informationssysteme: Problemanalysen und L\u00f6sungsans\u00e4tze des Model-Driven Integration Engineering","author":"K.P. F\u00e4hnrich","year":"2006","unstructured":"F\u00e4hnrich, K.P., K\u00fchne, S., Speck, A., Wagner, J.(eds.): Integration betrieblicher Informationssysteme: Problemanalysen und L\u00f6sungsans\u00e4tze des Model-Driven Integration Engineering. Leipziger Beitr\u00e4ge zur Informatik, vol.\u00a0IV. Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, Germany (2006)"},{"key":"23_CR6","unstructured":"Lau, E.: E-government: Analysis framework and methodology. Puma(2001)16\/ann\/rev1, OECD (2001), \n                    \n                      http:\/\/www.olis.oecd.org\/olis\/2001doc.nsf\/LinkTo\/NT00000936\/$FILE\/JT00118445.PDF"},{"key":"23_CR7","unstructured":"Algermissen, L., Delfmann, P., Niehaves, B.: Experiences in process-oriented reorganisation through reference modelling in public administrations - the case study regio@komm. In: 13th European Conference on Information Systems, Information Systems in a Rapidly Changing Economy (ECIS) (2005)"},{"key":"23_CR8","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS) 1.1. Technical report, OASIS (May 2003), \n                    \n                      http:\/\/www-128.ibm.com\/developerworks\/library\/ws-bpel\/"},{"key":"23_CR9","volume-title":"Research design: Qualitative, quantitative, and mixed method approaches","author":"J.W. Creswell","year":"2002","unstructured":"Creswell, J.W.: Research design: Qualitative, quantitative, and mixed method approaches, 2nd edn. Sage Publications, Inc, Thousand Oaks (2002)","edition":"2"},{"key":"23_CR10","volume-title":"Logik der Forschung","author":"K. Popper","year":"1934","unstructured":"Popper, K.: Logik der Forschung, 11th edn. Mohr Siebeck, T\u00fcbingen (1934)","edition":"11"},{"key":"23_CR11","series-title":"International Series in Software Engineering","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering: an introduction","author":"C. Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wess\u00e9n, A.: Experimentation in software engineering: an introduction. International Series in Software Engineering. Kluwer Academic Publishers, Norwell (2000)"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1142\/S0218843004000973","volume":"13","author":"J. Dehnert","year":"2004","unstructured":"Dehnert, J., van der Aalst, W.M.P.: Bridging Gap between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems\u00a013(3), 289\u2013332 (2004)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"23_CR13","unstructured":"Stein, S., Ivanov, K.: Vorgehensmodell zur Entwicklung von Gesch\u00e4ftsservices. In: F\u00e4hnrich, K.P., Thr\u00e4nert, M. (eds.) Integration Engineering \u2013 Motivation, Begriffe, Methoden und Anwendungsf\u00e4lle. Leipziger Beitr\u00e4ge zur Informatik VI. Eigenverlag Leipziger Informatik-Verbund (LIV), Leipzig, Germany (2007)"},{"key":"23_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/0471741442.ch6","volume-title":"Process-Aware Information Systems","author":"A.W. Scheer","year":"2005","unstructured":"Scheer, A.W., Thomas, O., Adam, O.: Process Modelling Using Event-Driven Process Chains. In: Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M. (eds.) Process-Aware Information Systems, pp. 119\u2013146. Wiley, Hoboken (2005)"},{"key":"23_CR15","unstructured":"Stein, S., Barchewitz, K., El Kharbili, M.: Enabling Business Experts to Discover Web Services for Business Process Automation. In: Pautasso, C., Gschwind, T. (eds.) 2nd Workshop on Emerging Web Services Technology, Halle, Germany, pp. 19\u201335 (November 2007)"},{"key":"23_CR16","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1109\/ECBS.2004.1316693","volume-title":"ECBS 2004: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2004)","author":"J.H. Pfeiffer","year":"2004","unstructured":"Pfeiffer, J.H., Rossak, W.R., Speck, A.: Applying model checking to workflow verification. In: ECBS 2004: Proceedings of the 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2004), Washington, DC, USA, pp. 144\u2013151. IEEE Computer Society, Los Alamitos (2004)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/BFb0013029","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"E.M. Clarke","year":"1989","unstructured":"Clarke, E.M., Draghicescu, I.A.: Expressibility results for linear-time and branching-time logics. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 428\u2013437. Springer, Heidelberg (1989)"},{"key":"23_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"23_CR19","volume-title":"Model Checking","author":"E.M. Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)","edition":"3"},{"key":"23_CR20","unstructured":"Feja, S., F\u00f6tsch, D., Stein, S.: Grafische Validierungsregeln am Beispiel von EPKs. In: Software Engineering 2008, Fachtagung des GI-Fachbereichs Softwaretechnik, M\u00fcnchen,GI, February 22. LNI (2008) (to appear)"},{"key":"23_CR21","unstructured":"F\u00f6tsch, D., Speck, A., H\u00e4nsgen, P.: The Operator Hierarchy Concept for XML Document Transformation Technologies. In: 3. Berliner XML-Tage 2005 (BXML 2005), Berlin, Germany, pp. 59\u201370 (2005)"},{"key":"23_CR22","unstructured":"Stein, S., Ivanov, K.: EPK nach BPEL Transformation als Vor aussetzung f\u00fcr praktische Um setzung einer SOA. In: Bleek, W.G., Raasch, J., Z\u00fcllighoven, H. (eds.) Software Engineering 2007. Gesellschaft f\u00fcr Informatik (GI), Hamburg, Germany, March 2007. Lecture Notes in Informatics (LNI), vol.\u00a0105, pp. 75\u201380 (2007)"},{"issue":"3","key":"23_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85758-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,3]],"date-time":"2019-03-03T15:25:35Z","timestamp":1551626735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85758-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540857570","9783540857587"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85758-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}