{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:18:32Z","timestamp":1725675512953},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-29834-9_9","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T01:48:22Z","timestamp":1334713702000},"page":"111-127","source":"Crossref","is-referenced-by-count":4,"title":["Applying Process Analysis to the Italian eGovernment Enterprise Architecture"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tito","family":"Flagella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Guanciale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Spagnolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information and Software Technology, 639\u2013650 (1999)","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/3-540-45785-2_4","volume-title":"Engineering and Deployment of Cooperative Information Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Dongen, B.F.: Discovering Workflow Performance Models from Timed Logs. In: Han, Y., Tai, S., Wikarski, D. (eds.) EDCIS 2002. LNCS, vol.\u00a02480, pp. 45\u201363. Springer, Heidelberg (2002)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11494744_5","volume-title":"Applications and Theory of Petri Nets 2005","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Medeiros, A.K.A., Weijters, A.J.M.M.: Genetic Process Mining. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 48\u201369. Springer, Heidelberg (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-68129-8_1","volume-title":"Service Availability","author":"R. Baldoni","year":"2008","unstructured":"Baldoni, R., Fuligni, S., Mecella, M., Tortorelli, F.: The Italian e-Government Enterprise Architecture: A Comprehensive Introduction with Focus on the SLA Issue. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (eds.) ISAS 2008. LNCS, vol.\u00a05017, pp. 1\u201312. Springer, Heidelberg (2008)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-87603-8_3","volume-title":"Abstract State Machines, B and Z","author":"E. B\u00f6rger","year":"2008","unstructured":"B\u00f6rger, E., Thalheim, B.: Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol.\u00a05238, pp. 24\u201338. Springer, Heidelberg (2008)"},{"key":"9_CR7","unstructured":"Corradini, A., Flagella, T.: OpenSPCoop: un Progetto Open Source per la Cooperazione Applicativa nella Pubblica Amministrazione. In: AICA 2007 (2007)"},{"key":"9_CR8","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models (2007), \n                  \n                    http:\/\/eprints.qut.edu.au\/7115\/"},{"key":"9_CR9","unstructured":"Eindhoven Univ. of Technology: ProM, \n                  \n                    http:\/\/www.processmining.org\/"},{"key":"9_CR10","unstructured":"Link.it: OpenSPCoop, \n                  \n                    http:\/\/www.openspcoop.org"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I. Inf. Comput.\u00a0100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-15618-2_16","volume-title":"Business Process Management","author":"J. Mu\u00f1oz-Gama","year":"2010","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: A Fresh Look at Precision in Process Conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 211\u2013226. Springer, Heidelberg (2010)"},{"key":"9_CR13","unstructured":"Oasis: Web Services Business Process Execution Language Version 2.0 (2007), \n                  \n                    http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"9_CR14","unstructured":"OMG: Business Process Model and Notation, \n                  \n                    http:\/\/www.omg.org\/spec\/BPMN\/"},{"key":"9_CR15","unstructured":"Parlamento Italiano: Istituzione del sistema pubblico di connettivit\u00e0 e della rete internazionale della pubblica amministrazione, D.L (42) del (February 28, 2005); G.U. (73) del (March 30, 2005), \n                  \n                    http:\/\/www.parlamento.it\/parlam\/leggi\/deleghe\/05042dl.html"},{"key":"9_CR16","unstructured":"Petri, C.: Kommunikation mit Automaten. Ph.D. thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn (1962)"},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst.\u00a033(1), 64\u201395 (2008)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29834-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:37:55Z","timestamp":1558298275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}