{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:03:30Z","timestamp":1725469410700},"publisher-location":"Berlin\/Heidelberg","reference-count":30,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540341285"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-34129-3_12","type":"book-chapter","created":{"date-parts":[[2006,8,14]],"date-time":"2006-08-14T10:13:23Z","timestamp":1155550403000},"page":"213-237","source":"Crossref","is-referenced-by-count":0,"title":["A Generic User Innovation Toolkit Architecture for Mobile Service Creation"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Kirchmair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Brown A, Fuchs M, Robie J, Wadler P (2001) MSL-A Model for W3C XML Schema. In: Proceedings of 10th World Wide Web Conference (WWW2001), pp 191\u2013200","DOI":"10.1145\/371920.371982"},{"key":"12_CR2","volume-title":"Introduction to Operations Research","author":"C.W. Churchman","year":"1957","unstructured":"Churchman CW, Ackoff RL, Arnoff LE (1957) Introduction to Operations Research. Wiley, New York"},{"key":"12_CR3","unstructured":"Curbera F, Goland Y, Klein J, Leymann F (2002) Business Process Execution Language for Web Services, Version 1.0. Technical report. BEA Systems, International Business Machines Corporation, Microsoft Corporation"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2003) Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In: Proceedings of 8th International Conference on Implementation and Application of Automata (CIAA), pp 188\u2013200","DOI":"10.1007\/3-540-45089-0_18"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2004) WSAT: A Tool for Formal Analysis of Web Services. In: Proceedings of 16th International Conference on Computer Aided Verification (CAV)","DOI":"10.1007\/978-3-540-27813-9_48"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Farahbod R, Gl\u00e4sser U, Vajihollahi M (2004) Specification and Validation of the Business Process Execution Language for Web Services. Technical Report. Simon Fraser University","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0304-3975(96)00026-6","volume":"174","author":"A. Finkel","year":"1997","unstructured":"Finkel A, McKenzie P (1997) Verifying Identical Communicating Processes is Undecidable. In: Theoretical Computer Science 174:217\u2013230","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Foster H, Uchitel S, Magee J, Kramer J (2003) Model-based Verification of Web Service Compositions. In: Proceedings of 18th International Conference on Automated Software Engineering, pp.152\u2013161","DOI":"10.1109\/ASE.2003.1240303"},{"key":"12_CR9","unstructured":"von Hippel E (1999) Toolkits for User Innovation. Working Paper No. 4058. MIT Sloan School of Management"},{"issue":"7","key":"12_CR10","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1287\/mnsc.48.7.821.2817","volume":"48","author":"E. Hippel von","year":"2002","unstructured":"von Hippel E, Katz R (2002) Shifting Innovation to Users Via Toolkits. In: Management Science 48(7):821\u2013833","journal-title":"Management Science"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/0169-7552(93)90095-L","volume":"25","author":"G.J. Holzmann","year":"1993","unstructured":"Holzmann GJ (1993) Design and Validation of Protocols: A Tutorial. In: Computer Networks and ISDN Systems 25:981\u20131017","journal-title":"Computer Networks and ISDN Systems"},{"key":"12_CR12","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann GJ (2003) The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Hull R, Su J (2004) Tools for Design of Composite Web Services. Tutorial abstract. ACM SIGMOD, International Conference on Management of Data","DOI":"10.1145\/1007568.1007722"},{"key":"12_CR14","unstructured":"Kirchmair B (2005) Outsourcing Innovation: An Integrated Approach for Service-based Environments. Master Thesis, Department of Informatics, Technische Universit\u00e4t M\u00fcnchen"},{"key":"12_CR15","unstructured":"Koshkina M, van Breugel F (2003) Verification of Business Processes for Web Services. Working Paper. Department of Computer Science, York University"},{"key":"12_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1022494.1022526","volume":"29","author":"M. Koshkina","year":"2004","unstructured":"Koshkina M, van Breugel F (2004) Modeling and Verifying Web Service Orchestration by Means of the Concurrency Workbench. In: Proceedings of 1st Workshop on Testing, Analysis, and Verification of Web Services, ACM SIGSOFT 29:5","journal-title":"ACM SIGSOFT"},{"key":"12_CR17","unstructured":"Lupp C, Gerstheimer O (2001) Needs versus Technology: The Challenge to Design 3G Applications. In: Dholakia RR, Kolbe L, Venkatesh A, Zoche P (2001) COTIM 2001: From E-Commerce to M-Commerce, RITIM, University of Rhode Island"},{"key":"12_CR18","volume-title":"Eine Untersuchung der Kunden-Hersteller-Interaktion in Konsumg\u00fcterm\u00e4rkten","author":"C. L\u00fcthje","year":"2000","unstructured":"L\u00fcthje C (2000) Kundenorientierung im Innovationsprozess. Eine Untersuchung der Kunden-Hersteller-Interaktion in Konsumg\u00fcterm\u00e4rkten. Gabler, Wiesbaden"},{"key":"12_CR19","unstructured":"L\u00fcthje C (2003) Customers as co-inventors: an empirical analysis of the antecedents of customer-driven innovations in the field of medical equipment. In: Proceedings of the 32th EMAC Conference, Glasgow"},{"key":"12_CR20","unstructured":"L\u00fcthje C, Herstatt C, von Hippel E (2003) Patterns in the Development of Minor Innovations by Users: Bricolage in Mountain Biking,. Working Paper. MIT Sloan School of Management"},{"key":"12_CR21","unstructured":"Mantell K (2003) From UML to BPEL. IBM developerWorks, at www-900.ibm.com\/developerWorks\/cn\/webservices\/ws-uml2bpel\/index_eng.shtml on December 15th, 2004"},{"key":"12_CR22","volume-title":"Concurrency-State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee J, Kramer J (1999) Concurrency-State Models and Java Programs. Wiley, New York"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1177\/1094670503257028","volume":"6","author":"P. Magnusson","year":"2003","unstructured":"Magnusson P, Matthing J, Kristensson P (2003) Managing User Involvement in Service Innovation-Experiments with Innovating End Users. In: Journal of Service Research, 6:114\u2013124","journal-title":"Journal of Service Research"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Narayanan S, Mellraith SA (2002) Simulation, Verification, and Automated Composition of Web Services. In: Proceedings of the 11th International World Wide Web Conference (WWW2002)","DOI":"10.1145\/511446.511457"},{"key":"12_CR25","unstructured":"Plotkin GD (1981) A Structural Approach to Operational Semantics. Report DAIMI FN-19, Aarhus University"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The Temporal Logic of Programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science","DOI":"10.1109\/SFCS.1977.32"},{"key":"12_CR27","volume-title":"On Competition","author":"M.E. Porter","year":"1998","unstructured":"Porter, ME (1998) On Competition. Harvard Business School Press, Cambridge"},{"key":"12_CR28","unstructured":"Stahl C (2004) Transformation von BPEL4WS in Petrinetze. Diploma Thesis, Humboldt-Universit\u00e4t zu Berlin"},{"key":"12_CR29","unstructured":"Thomke S, von Hippel E (2002) Customers as Innovators: A New Way to Create Value. In: Harvard Business Review 80(4)"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MIC.2004.1260707","volume":"8","author":"J.M. Vidal","year":"2004","unstructured":"Vidal JM, Buhler P, Stahl C (2004) Multiagent Systems with Workflows. IEEE Internet Computing, 8:76\u201382","journal-title":"IEEE Internet Computing"}],"container-title":["Managing Development and Application of Digital Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-34129-3_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:18:38Z","timestamp":1619558318000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-34129-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540341285"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-34129-3_12","relation":{},"subject":[]}}