{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:12:47Z","timestamp":1761988367662},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642198014"},{"type":"electronic","value":"9783642198021"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19802-1_27","type":"book-chapter","created":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T18:18:52Z","timestamp":1301077132000},"page":"388-403","source":"Crossref","is-referenced-by-count":2,"title":["A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes"],"prefix":"10.1007","author":[{"given":"Luis E. Mendoza","family":"Morales","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel I. Capel","family":"Tu\u00f1\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda A.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"OMG. Business Process Modeling Notation \u2013 version 1.2. Object Management Group, Massachusetts, USA (2009)"},{"issue":"2","key":"27_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2009.06.029","volume":"229","author":"P. Wong","year":"2009","unstructured":"Wong, P., Gibbons, J.: A relative timed semantics for BPMN. Electron. Notes Theor. Comput. Sci.\u00a0229(2), 59\u201375 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"27_CR3","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-642-00670-8_16","volume-title":"Enterprise Information Systems","author":"L. Mendoza","year":"2009","unstructured":"Mendoza, L., Capel, M., P\u00e9rez, M., Benghazi, K.: Compositional Model-Checking Verification of Critical Systems. In: Filipe, J., Cordeiro, J. (eds.) Enterprise Information Systems. LNBIP, vol.\u00a019, pp. 213\u2013225. Springer, Heidelberg (2009)"},{"issue":"3\/4","key":"27_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1504\/IJSPM.2008.023679","volume":"4","author":"M. Capel","year":"2008","unstructured":"Capel, M., Mendoza, L., Benghazi, K.: Automatic verification of business process integrity. Int. J. Simulation and Process Modelling\u00a04(3\/4), 167\u2013182 (2008)","journal-title":"Int. J. Simulation and Process Modelling"},{"issue":"12","key":"27_CR5","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R. Dijkman","year":"2008","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in bpmn. Inf. Softw. Technol.\u00a050(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW 2004: Proceedings of the 13th International Conference on World Wide Web (2004)","DOI":"10.1145\/988672.988756"},{"issue":"6","key":"27_CR7","doi-asserted-by":"publisher","first-page":"1661","DOI":"10.1145\/197320.197322","volume":"16","author":"J. \u017dic","year":"1994","unstructured":"\u017dic, J.: Time\u2013constrained buffer specifications in CSP+T and Timed CSP. ACM Transaction on Programming Languages and Systems\u00a016(6), 1661\u20131674 (1994)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jlap.2004.03.009","volume":"60-61","author":"G. Plotkin","year":"2004","unstructured":"Plotkin, G.: The origins of structural operational semantics. Journal of Logic and Algebraic Programming\u00a060-61, 3\u201315 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"R\u00fcf, J., Kropf, T.: Symbolic model checking for a discrete clocked temporal logic with intervals. In: Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods (1997)","DOI":"10.1007\/978-0-387-35190-2_10"},{"key":"27_CR10","volume-title":"Concurrent and Real\u2013Time Systems \u2013 The CSP Approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and Real\u2013Time Systems \u2013 The CSP Approach. John Wiley & Sons, Ltd., Chichester (2000)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19802-1_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T10:35:18Z","timestamp":1558434918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19802-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198014","9783642198021"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19802-1_27","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}