{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:04:52Z","timestamp":1725555892177},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642127007"},{"type":"electronic","value":"9783642127014"}],"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-12701-4_6","type":"book-chapter","created":{"date-parts":[[2010,5,9]],"date-time":"2010-05-09T21:08:55Z","timestamp":1273439335000},"page":"50-59","source":"Crossref","is-referenced-by-count":0,"title":["Supporting Public Administration with an Integrated BPR Environment"],"prefix":"10.1007","author":[{"given":"Aaron","family":"Ciaghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Villafiorita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Komminist","family":"Weldemariam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Mattioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Quoc-Sang","family":"Phan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0963-8687(94)90004-3","volume":"3","author":"G. David","year":"1994","unstructured":"David, G., Wastell, P., White, P.: A Methodology for Business Process Redesign: Experiences and Issues. Journal of Strategic Information Systems\u00a03, 23\u201340 (1994)","journal-title":"Journal of Strategic Information Systems"},{"key":"6_CR2","unstructured":"Alpar, P., Olbrich, S.: Legal Requirements and Modelling of Processes in e-Government. Electronic Journal of e-Government\u00a03 (2005)"},{"key":"6_CR3","unstructured":"Xenakis, A., Macintosh, A.: Using Business Process Re-engineering (BPR) for the Effective Administration of Electronic Voting. The Electronic Journal of e-Government\u00a03(2) (2005)"},{"key":"6_CR4","unstructured":"U.S.A. National\u00a0Performance Review. Executive Summary \u2014 Creating a Government that Works Better and Costs Less (1993)"},{"key":"6_CR5","unstructured":"Willcocks, L., Currie, W., Jackson, S.: Radical Re-Engineering and Information Systems: Evidence from UK Public Services. In: Fifth European Conference in Information Systems, Cork (1997)"},{"key":"6_CR6","first-page":"15","volume-title":"Beyond BPR in Public Administration: An Institutional Transformation in an Information Age","author":"M. Thaens","year":"1997","unstructured":"Thaens, M., Bekkers, V., van Duivenboden, H.: Business Process Redesign and Public Administration: a Perfect Match? In: Taylor, J.A., Snellen, I.T.M., Zuurmond, A. (eds.) Beyond BPR in Public Administration: An Institutional Transformation in an Information Age, pp. 15\u201336. IOS Press, Amsterdam (1997)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11538394_3","volume-title":"Business Process Management","author":"G. Greco","year":"2005","unstructured":"Greco, G., Guzzo, A., Pontieri, L.: Mining Hierarchies of Models: From Abstract Views to Concrete Specifications. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 32\u201347. Springer, Heidelberg (2005)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/11538394_24","volume-title":"Business Process Management","author":"R. Lenz","year":"2005","unstructured":"Lenz, R., Reichert, M.: IT Support for Healthcare Processes. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 354\u2013363. Springer, Heidelberg (2005)"},{"key":"6_CR9","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In: Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), vol.\u00a053 (2006)"},{"issue":"1","key":"6_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR11","first-page":"289","volume-title":"ICDS","author":"A. Ciaghi","year":"2009","unstructured":"Ciaghi, A., Villafiorita, A., Mattioli, A.: VLPM: A Tool to Support BPR in Public Administration. In: ICDS, pp. 289\u2013293. IEEE Computer Society, Los Alamitos (2009)"},{"key":"6_CR12","unstructured":"Object\u00a0Managment Group. The Unified Modeling Language (UML2.0) Superstructure Specification. Technical report (2004)"},{"key":"6_CR13","unstructured":"Object\u00a0Managment Group. Business Process Modeling Notation (BPMN). Technical report (2009)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/CRISIS.2008.4757486","volume-title":"CRiSIS 2008: Third International Conference on Risks and Security of Internet and Systems","author":"K. Weldemariam","year":"2008","unstructured":"Weldemariam, K., Villafiorita, A.: Formal Procedural Security Modeling and Analysis. In: CRiSIS 2008: Third International Conference on Risks and Security of Internet and Systems, Washington, DC, USA, pp. 249\u2013254. IEEE, Los Alamitos (2008)"},{"key":"6_CR15","unstructured":"Lupo, C.: NormeinRete: a Federative Approach to On-line Legislation Access. In: International Conference Parliaments\u2019 Information Management in Africa: Challenges and Opportunities of ICTs to Strengthen Democracy and Parliamentary Governance, Nairobi, Kenya (2005)"},{"key":"6_CR16","unstructured":"Lupo, C.: Formato per la rappresentazione elettronica dei provvedimenti normativi tramite il linguaggio di marcatura XML. Allegato tecnico alla Circolare 22 aprile 2002, n. AIPA\/CR\/40 (2002)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Reisig, W.: Petri Nets and Algebraic Specifications. Theor. Comput. Sci.\u00a080(1), 1\u201334 (1991)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: NuSMV 2: An Open Source Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45657-0_29"},{"key":"6_CR19","unstructured":"de Oliveira Lima, J.A., Palmirani, M., Vitali, F.: \u2018HTTP\u201d or \u2018urn\u2019 URIs for legal resources? How about both? In: Jurix 2007 Workshop on Legislative XML (2007)"},{"key":"6_CR20","unstructured":"Agnoloni, T., Francesconi, E., Spinosa, P.: XMLegesEditor: an OpenSource Visual XML Editor for supporting Legal National Standards. In: V Legislative XML Workshop, pp. 239\u2013251 (2007)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1016\/j.infsof.2007.10.015","volume":"50","author":"N.-L. Hsueha","year":"2008","unstructured":"Hsueha, N.-L., Shen, W.-H., Yanga, Z.-W., Yanga, D.-L.: Applying UML and software simulation for process definition, verification, and validation. Information and Software Technology\u00a050, 897\u2013911 (2008)","journal-title":"Information and Software Technology"},{"key":"6_CR22","first-page":"62","volume":"4","author":"V. Hlupic","year":"2003","unstructured":"Hlupic, V.: Business Process Modelling Using Discrete Event Simulation: Potential Benefits And Obstacles For Wider Use. International Journal of Simulation: Systems, Science and Technology\u00a04, 62\u201367 (2003)","journal-title":"International Journal of Simulation: Systems, Science and Technology"},{"key":"6_CR23","unstructured":"Olbrich, S., Simon, C.: Process Modelling towards e-Government \u2013 Visualisation and Semantic Modelling of Legal Regulations as Executable Process Sets. Electronic Journal of e-Government\u00a06 (2008)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Davies, J., Janowski, T., Ojo, A.K., Shukla, A.: Technological foundations of electronic governance. In: ICEGOV, pp. 5\u201311 (2007)","DOI":"10.1145\/1328057.1328063"},{"key":"6_CR25","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the Suitability of UML 2.0 Activity Diagrams for Business Process Modelling. In: Third Asia-Pacific Conference on Conceptual Modelling (APCCM 2006), vol.\u00a053 (2006)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","E-Infrastructures and E-Services on Developing Countries"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12701-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T22:39:45Z","timestamp":1559083185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12701-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642127007","9783642127014"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12701-4_6","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2010]]}}}