{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:57Z","timestamp":1725475677685},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540687603"},{"type":"electronic","value":"9783540687610"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11955757_17","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T04:34:20Z","timestamp":1165811660000},"page":"201-215","source":"Crossref","is-referenced-by-count":2,"title":["Refinement of eb 3 Process Patterns into B Specifications"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Gervais","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00e9gine","family":"Laleau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning programs to meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"B\u201998: Recent Advances in the Development and Use of the B Method","author":"J.R. Abrial","year":"1998","unstructured":"Abrial, J.R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B 1998. LNCS, vol.\u00a01393, pp. 83\u2013128. Springer, Heidelberg (1998)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/3-540-48119-2_28","volume-title":"FM\u201999 - Formal Methods","author":"M. Butler","year":"1999","unstructured":"Butler, M.: csp2B: A practical approach to combining CSP and B. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 490\u2013508. Springer, Heidelberg (1999)"},{"key":"17_CR4","first-page":"416","volume-title":"SEFM 2004","author":"N. Evans","year":"2004","unstructured":"Evans, N., Treharne, H., Laleau, R., Frappier, M.: How to verify dynamic properties of information systems. In: SEFM 2004, Beijing, China, September 2004, pp. 416\u2013425. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"17_CR5","volume-title":"Methods Integration Workshop","author":"P. Facon","year":"1996","unstructured":"Facon, P., Laleau, R., Nguyen, H.P.: Mapping object diagrams into B specifications. In: Methods Integration Workshop, eWiC, Leeds, UK, March 1996, Springer, Heidelberg (1996)"},{"issue":"3","key":"17_CR6","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/s10270-005-0083-4","volume":"4","author":"B. Fraikin","year":"2005","unstructured":"Fraikin, B., Frappier, M., Laleau, R.: State-based versus event-based specifications for information systems: a comparison of B and EB3. Software and Systems Modeling\u00a04(3), 236\u2013257 (2005)","journal-title":"Software and Systems Modeling"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/3-540-44880-2_25","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., Laleau, R.: Proving event ordering properties for information systems. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 421\u2013436. Springer, Heidelberg (2003)"},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s10270-003-0024-z","volume":"2","author":"M. Frappier","year":"2003","unstructured":"Frappier, M., St-Denis, R.: EB3: an entity-based black-box specification method for information systems. Software and Systems Modeling\u00a02(2), 134\u2013149 (2003)","journal-title":"Software and Systems Modeling"},{"key":"17_CR9","unstructured":"Gervais, F.: EB 4 : Vers une m\u00e9thode combin\u00e9 e de sp\u00e9cification formelle des syst\u00e8 mes d\u2019information. In: Dissertation for the general examination, GRIL, Universit\u00e9 de Sherbrooke, Qu\u00e9bec (June 2004)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Gervais, F., Frappier, M., Laleau, R.: Synthesizing B substitutions for EB3 attribute definitions. Technical Report 683, CEDRIC, France (November 2004)","DOI":"10.1007\/11589976_13"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/11589976_13","volume-title":"Integrated Formal Methods","author":"F. Gervais","year":"2005","unstructured":"Gervais, F., Frappier, M., Laleau, R.: Synthesizing B specifications from EB3 attribute definitions. In: Romijn, J.M.T., Smith, G.P., van de Pol, J. (eds.) IFM 2005. LNCS, vol.\u00a03771, pp. 207\u2013226. Springer, Heidelberg (2005)"},{"key":"17_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"17_CR13","unstructured":"Mammar, A.: Un environnement formel pour le d\u00e9veloppement d\u2019applications base de donn\u00e9es. PhD thesis, CNAM, Paris, France (2002)"},{"key":"17_CR14","unstructured":"Mammar, A., Gervais, F., Laleau, R.: Systematic identification of preconditions from set-based integrity constraints. In: INFORSID 2006, Hammamet, Tunisia, June 2006, INFORSID, vol.\u00a02, pp. 595\u2013610 (2006)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1007\/3-540-48119-2_48","volume-title":"FM\u201999 - Formal Methods","author":"E. Meyer","year":"1999","unstructured":"Meyer, E., Souqui\u00e8res, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, pp. 875\u2013895. Springer, Heidelberg (1999)"},{"key":"17_CR16","unstructured":"Nguyen, H.P.: D\u00e9rivation de sp\u00e9cifications formelles B \u00e0 partir de sp\u00e9cifications semi-formelles. PhD thesis, CNAM, Paris, France (1998)"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J.C.P. Woodcock","year":"2002","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., P. Bowen, J., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","B 2007: Formal Specification and Development in B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11955757_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:21:17Z","timestamp":1619493677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11955757_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}