{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:14Z","timestamp":1725563054708},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642147982"},{"type":"electronic","value":"9783642147999"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14799-9_36","type":"book-chapter","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T11:25:32Z","timestamp":1282217132000},"page":"424-435","source":"Crossref","is-referenced-by-count":4,"title":["Designing Quality Business Processes for E-Government Digital Services"],"prefix":"10.1007","author":[{"given":"Flavio","family":"Corradini","sequence":"first","affiliation":[]},{"given":"Damiano","family":"Falcioni","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Polini","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Polzonetti","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Re","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","unstructured":"Corradini, F., Hinkelmann, K., Polini, A., Polzonetti, A., Re, B.: C2ST: a quality framework to evaluate e-government service delivery. In: 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops, Linz, Austria, pp. 74\u201384 (2009)"},{"key":"36_CR2","unstructured":"Corradini, F., Polini, A., Polzonetti, A., Re, B.: Business processes verification for e-gov service delivery. Information Systems Management journal (to appear)"},{"issue":"2","key":"36_CR3","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/S0740-624X(01)00066-1","volume":"18","author":"K. Layne","year":"2001","unstructured":"Layne, K., Leeb, J.: Developing fully functional e-government: a four stage model. Government Information Quarterly\u00a018(2), 122\u2013136 (2001)","journal-title":"Government Information Quarterly"},{"issue":"2","key":"36_CR4","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/j.giq.2007.06.005","volume":"25","author":"M. Janssen","year":"2008","unstructured":"Janssen, M., Kuk, G., Wagenaar, R.W.: A survey of web-based business models for e-government in the netherlands. Government Information Quarterly\u00a025(2), 202\u2013220 (2008)","journal-title":"Government Information Quarterly"},{"issue":"3","key":"36_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.4018\/jegr.2007070104","volume":"3","author":"M. Janssen","year":"2007","unstructured":"Janssen, M., Kuk, G.: E-government business models for public service networks. International Journal of Electronic Government Research\u00a03(3), 54\u201371 (2007)","journal-title":"International Journal of Electronic Government Research"},{"key":"36_CR6","series-title":"ACM International Conference Proceeding Series","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1328057.1328063","volume-title":"ICEGOV","author":"J. Davies","year":"2007","unstructured":"Davies, J., Janowski, T., Ojo, A.K., Shukla, A.: Technological foundations of electronic governance. In: Janowski, T., Pardo, T.A. (eds.) ICEGOV. ACM International Conference Proceeding Series, vol.\u00a0232, pp. 5\u201311. ACM Press, New York (2007)"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-77351-1_5","volume-title":"Software Composition","author":"P.Y.H. Wong","year":"2007","unstructured":"Wong, P.Y.H., Gibbons, J.: A process-algebraic approach to workflow specification and refinement. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.\u00a04829, pp. 51\u201365. Springer, Heidelberg (2007)"},{"key":"36_CR9","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using petri nets. Online (2007)"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: 2007 Workshop on Intelligent Information Technology Applications, vol.\u00a02, pp. 70\u201374 (2008)","DOI":"10.1109\/IITA.2008.68"},{"issue":"1","key":"36_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"M. Wynn","year":"2009","unstructured":"Wynn, M., Verbeek, H., van der Aalst, W., ter Hofstede, A., Edmond, D.: Business process verification - finally a reality? Business Process Management Journal\u00a015(1), 74\u201392 (2009)","journal-title":"Business Process Management Journal"},{"issue":"3","key":"36_CR12","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10726-006-9064-4","volume":"16","author":"A.D. Farrell","year":"2007","unstructured":"Farrell, A.D., Sergot, M.J., Bartolini, C.: Formalising workflow: a CCS-inspired characterisation of the YAWL workflow patterns. Group Decision and Negotation\u00a016(3), 213\u2013254 (2007)","journal-title":"Group Decision and Negotation"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Zhao, L., Li, Q., Liu, X., Du, N.: A modeling method based on CCS for workflow, pp. 376\u2013384 (2009)","DOI":"10.1145\/1516241.1516307"},{"issue":"15","key":"36_CR14","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1016\/S0950-5849(03)00129-0","volume":"45","author":"A. Lindsay","year":"2003","unstructured":"Lindsay, A., Downs, D., Lunn, K.: Business processes\u2013attempts to find a definition (Special Issue on Modelling Organisational Processes). Information and Software Technology\u00a045(15), 1015\u20131019 (2003)","journal-title":"Information and Software Technology"},{"key":"36_CR15","volume-title":"Business Process Change - A guide tor Business Manager and BPM and Six Sigma Professionals","author":"P. Harmon","year":"2004","unstructured":"Harmon, P.: Business Process Change - A guide tor Business Manager and BPM and Six Sigma Professionals. Horgan Kaufmann, San Francisco (2004)"},{"key":"36_CR16","unstructured":"White, S.A., Miers, D.: BPMN Modeling and Reference Guide Understanding and Using BPMN. Future Strategies Inc. (2008)"},{"key":"36_CR17","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentis (2004)"},{"key":"36_CR18","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. In: Hardcover (2000)"},{"key":"36_CR19","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-540-88479-8_22","volume-title":"ISoLA","author":"J. Sun","year":"2008","unstructured":"Sun, J., Liu, Y., Dong, J.S.: Model checking CSP revisited: introducing a Process Analysis Toolkit. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. Communications in Computer and Information Science, vol.\u00a017, pp. 307\u2013322. Springer, Heidelberg (2008)"},{"key":"36_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-540-69534-9_35","volume-title":"Advanced Information Systems Engineering","author":"M. zur Muehlen","year":"2008","unstructured":"zur Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 465\u2013479. Springer, Heidelberg (2008)"},{"key":"36_CR21","unstructured":"Re, B.: Quality of Digital e-Government Services. PhD thesis, School of Advances Studies \u2013 University of Camerino (2010)"}],"container-title":["Lecture Notes in Computer Science","Electronic Government"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14799-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T03:20:03Z","timestamp":1559445603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14799-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642147982","9783642147999"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14799-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}