{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T09:42:46Z","timestamp":1773308566895,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642158971","type":"print"},{"value":"9783642158988","type":"electronic"}],"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-15898-8_3","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T09:43:47Z","timestamp":1284371027000},"page":"33-49","source":"Crossref","is-referenced-by-count":25,"title":["Formal Analysis of BPMN Models Using Event-B"],"prefix":"10.1007","author":[{"given":"Jeremy W.","family":"Bryans","sequence":"first","affiliation":[]},{"given":"Wei","family":"Wei","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for Event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-642-00867-2_6","volume-title":"Event-b patterns for specifying fault-tolerance in multi-agent interaction","author":"E. Ball","year":"2009","unstructured":"Ball, E., Butler, M.: Event-b patterns for specifying fault-tolerance in multi-agent interaction. LNCS, vol.\u00a05454, pp. 104\u2013129. Springer, Heidelberg (2009)"},{"key":"3_CR4","volume-title":"Handbook of database technology","author":"E. B\u00f6rger","year":"2010","unstructured":"B\u00f6rger, E., S\u00f6rensen, O.: BPMN Core Modeling Concepts. Inheritance-Based Execution Semantics. In: Handbook of database technology. Springer, Heidelberg (to appear, 2010)"},{"key":"3_CR5","first-page":"68","volume-title":"Proc. of ICECCS 2009","author":"J.W. Bryans","year":"2009","unstructured":"Bryans, J.W., Fitzgerald, J.S., Romanovsky, A., Roth, A.: Formal modelling and analysis of business information applications with fault tolerant middleware. In: Proc. of ICECCS 2009, pp. 68\u201377. IEEE Computer Society, Los Alamitos (June 2009)"},{"key":"3_CR6","first-page":"105","volume-title":"Proc. of IECCS 2010","author":"J.W. Bryans","year":"2010","unstructured":"Bryans, J.W., Fitzgerald, J.S., Romanovsky, A., Roth, A.: Patterns for modelling time and consistency in business information systems. In: Proc. of IECCS 2010, pp. 105\u2013114. IEEE Computer Society, Los Alamitos (2010)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bryans, J.W., Wei, W.: Formal Analysis of BPMN models using Event-B. Technical Report CS-TR 1201, School of Computing Science, Newcastle University (May 2010)","DOI":"10.1007\/978-3-642-15898-8_3"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/11955757_13","volume-title":"B 2007: Formal Specification and Development in B","author":"D. Cansell","year":"2006","unstructured":"Cansell, D., M\u00e9ry, D., Rehm, J.: Time constraint patterns for event B development. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 140\u2013154. Springer, Heidelberg (2006)"},{"key":"3_CR9","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using Petri nets, http:\/\/eprints.qut.edu.au\/7115\/01\/7115.pdf"},{"key":"3_CR10","unstructured":"F\u00fcrst, A.: Design patterns in Event-B and their tool support. Master\u2019s thesis, ETH Z\u00fcrich (2009)"},{"key":"3_CR11","first-page":"210","volume-title":"Proc. of SEFM 2009","author":"T.S. Hoang","year":"2009","unstructured":"Hoang, T.S., F\u00fcrst, A., Abrial, J.-R.: Event-B Patterns and Their Tool Support. In: Proc. of SEFM 2009, pp. 210\u2013219. IEEE Computer Society, Los Alamitos (2009)"},{"key":"3_CR12","unstructured":"Iliasov, A.: Design Components. PhD thesis, Newcastle University (2008)"},{"key":"3_CR13","unstructured":"K\u00e4tker, S., Patig, S.: Model-driven development of service-oriented business application systems. In: Wirtschaftsinformatik (1), vol.\u00a0246, pp. 171\u2013180. \u00d6sterreichische Computer Gesellschaft (2009), books@ocg.at"},{"issue":"5","key":"3_CR14","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s00165-009-0106-y","volume":"21","author":"C. Masalagiu","year":"2009","unstructured":"Masalagiu, C., Chin, W.-N., Andrei, \u015e., Alaiba, V.: A rigorous methodology for specification and verification of business processes. Formal Aspects of Computing\u00a021(5), 495\u2013510 (2009)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR15","unstructured":"OMG. Business process model and notation (BPMN), FTF beta 1 for version 2.0, http:\/\/www.omg.org\/spec\/BPMN\/2.0\/Beta1\/PDF\/"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-540-68265-3_16","volume-title":"Coordination Models and Languages","author":"D. Prandi","year":"2008","unstructured":"Prandi, D., Quaglia, P., Zannone, N.: Formal analysis of BPMN via a translation into COWS. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol.\u00a05052, pp. 249\u2013263. Springer, Heidelberg (2008)"},{"key":"3_CR17","first-page":"284","volume-title":"Proc. of APSCC 2008","author":"T. Takemura","year":"2008","unstructured":"Takemura, T.: Formal semantics and verification of BPMN transaction and compensation. In: Proc. of APSCC 2008, pp. 284\u2013290. IEEE, Los Alamitos (2008)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"P.Y.H. Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.entcs.2009.06.029","volume":"229","author":"P.Y.H. Wong","year":"2009","unstructured":"Wong, P.Y.H., Gibbons, J.: A Relative Timed Semantics for BPMN. Electronic Notes in Theoretical Computer Science\u00a0229(2), 59\u201375 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR20","first-page":"354","volume-title":"CSSE (2)","author":"J.-H. Ye","year":"2008","unstructured":"Ye, J.-H., Sun, S.-X., Wen, L., Song, W.: Transformation of BPMN to YAWL. In: CSSE (2), pp. 354\u2013359. IEEE Computer Society, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15898-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T17:00:15Z","timestamp":1559667615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15898-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642158971","9783642158988"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15898-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}