{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:48:44Z","timestamp":1725857324483},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394282"},{"type":"electronic","value":"9783319394299"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-39429-9_2","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T10:42:13Z","timestamp":1465209733000},"page":"18-33","source":"Crossref","is-referenced-by-count":3,"title":["Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Meroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierluigi","family":"Plebani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Van der Aalst","year":"1997","unstructured":"Van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Baresi, L., Meroni, G., Plebani, P.: A gsm-based approach for monitoring cross-organization business processes using smart objects (2015). Accepted for publication","DOI":"10.1007\/978-3-319-42887-1_32"},{"key":"2_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-3-319-06257-0_24","volume-title":"Business Process Management Workshops","author":"C Cabanillas","year":"2014","unstructured":"Cabanillas, C., Baumgrass, A., Mendling, J., Rogetzer, P., Bellovoda, B.: Towards the enhancement of business process monitoring for complex logistics chains. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013 Workshops. LNBIP, vol. 171, pp. 305\u2013317. Springer, Heidelberg (2014)"},{"key":"2_CR4","first-page":"1","volume":"98","author":"R Eshuis","year":"2015","unstructured":"Eshuis, R., Van Gorp, P.: Synthesizing data-centric models from business process models. Computing 98, 1\u201329 (2015)","journal-title":"Computing"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-19589-1_1","volume-title":"Web Services and Formal Methods","author":"R Hull","year":"2011","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"issue":"1","key":"2_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"K\u00f6pke, J., Su, J.: Towards ontology guided translation of activity-centric processes to GSM (2015). Accepted for publication","DOI":"10.1007\/978-3-319-42887-1_30"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-540-69534-9_3","volume-title":"Advanced Information Systems Engineering","author":"S Kumaran","year":"2008","unstructured":"Kumaran, S., Liu, R., Wu, F.Y.: On the duality of information-centric and activity-centric models of business processes. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 32\u201347. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR9","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1002\/smr.524","volume":"23","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. J. Softw. Maintenance Evol: Res. Pract. 23(4), 205\u2013244 (2011)","journal-title":"J. Softw. Maintenance Evol: Res. Pract."},{"key":"2_CR10","unstructured":"Meroni, G., Baresi, L., Plebani, P.: Translating BPMN to E-GSM: specifications and rules. Technical report, Politecnico di Milano (2016). http:\/\/hdl.handle.net\/11311\/976678"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-40176-3_14","volume-title":"Business Process Management","author":"A Meyer","year":"2013","unstructured":"Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171\u2013186. Springer, Heidelberg (2013)"},{"key":"2_CR12","series-title":"Lecture Notes in Business Information Processing","first-page":"167","volume-title":"Business Process Management Workshops","author":"A Meyer","year":"2013","unstructured":"Meyer, A., Weske, M.: Activity-centric and artifact-centric process model roundtrip. In: Lohmann, N., Song, M., Wohed, P. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 171, pp. 167\u2013181. Springer, Switzerland (2013)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., Van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: Enterprise Distributed Object Computing Conference Proceedings. p. 287. IEEE (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"2_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/978-3-642-36285-9_38","volume-title":"Business Process Management Workshops","author":"V Popova","year":"2013","unstructured":"Popova, V., Dumas, M.: From Petri Nets to Guard-Stage-Milestone models. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 340\u2013351. Springer, Heidelberg (2013)"},{"key":"2_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer Science & Business Media, Heidelberg (2012)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"crossref","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.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"2_CR17","unstructured":"Russell, N., Hofstede, A., Mulyar, N.: Workflow controlflow patterns: A revised view. Technical report BPM-06-22, BPM Center Report, BPMcenter.org (2006)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39429-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T08:46:01Z","timestamp":1568018761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39429-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394282","9783319394299"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39429-9_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]}}}