{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T05:45:53Z","timestamp":1749793553268,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"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-16265-7_18","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T21:45:41Z","timestamp":1285883141000},"page":"245-259","source":"Crossref","is-referenced-by-count":15,"title":["Systematic Translation Rules from astd to Event-B"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00e9my","family":"Milhau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Gervais","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":"18_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":"18_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)"},{"key":"18_CR3","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)"},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/PL00003930","volume":"12","author":"M. Butler","year":"2000","unstructured":"Butler, M.: csp2b: A practical approach to combining CSP and b. Formal Aspects of Computing\u00a012(3), 182\u2013198 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"18_CR5","unstructured":"Eclipse Consortium: Eclipse graphical modeling framework (gmf), \n                  \n                    http:\/\/www.eclipse.org\/modeling\/gmp\/?project=gmf"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fraikin, B., Frappier, M.: Efficient symbolic computation of process expressions. Science of Computer Programming (2009)","DOI":"10.1016\/j.scico.2009.02.002"},{"key":"18_CR7","unstructured":"Fraikin, B., et al.: Synthesizing information systems: the apis project. In: Rolland, C., Pastor, O., Cavarero, J.L. (eds.) First International Conference on Research Challenges in Information Science (RCIS), Ouarzazate, Morocco, p. 12 (April 2007)"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11334-008-0064-1","volume":"4","author":"M. Frappier","year":"2008","unstructured":"Frappier, M., Gervais, F., Laleau, R., Fraikin, B., St-Denis, R.: Extending statecharts with process algebra operators. Innovations in Systems and Software Engineering\u00a04(3), 285\u2013292 (2008)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"2","key":"18_CR9","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.: eb\n                3: an entity-based black-box specification method for information systems. Software and System Modeling\u00a02(2), 134\u2013149 (2003)","journal-title":"Software and System Modeling"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of computer programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of computer programming"},{"key":"18_CR11","volume-title":"CSP\u2013Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: CSP\u2013Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)"},{"key":"18_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"M. Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: A model checker for b. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 855\u2013874. Springer, Heidelberg (2003)"},{"key":"18_CR13","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The unified modeling language. University Video Communications (1996)"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-05089-3_37","volume-title":"FM 2009: Formal Methods","author":"M.Y. Said","year":"2009","unstructured":"Said, M.Y., Butler, M., Snook, C.: Language and tool support for class and state machine refinement in UML-B. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 579\u2013595. Springer, Heidelberg (2009)"},{"key":"18_CR15","unstructured":"Salabert, K., Milhau, J., et al.: iASTD: un interpr\u00e9teur pour les ASTD. In: Atelier Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels (AFADL 2010), Actes AFADL, Poitiers, France, pp. 3\u20136 (June 9-11, 2010)"},{"key":"18_CR16","first-page":"7","volume-title":"13th IEEE International Conference on Engineering of Complex Computer Systems","author":"E. Sekerinski","year":"2008","unstructured":"Sekerinski, E.: Verifying Statecharts with State Invariants. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 7\u201314. IEEE, Los Alamitos (2008)"},{"key":"18_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/3-540-47884-1_8","volume-title":"Integrated Formal Methods","author":"E. Sekerinski","year":"2002","unstructured":"Sekerinski, E., Zurob, R.: Translating statecharts to b. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, pp. 128\u2013144. Springer, Heidelberg (2002)"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a015(1), 122 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"1","key":"18_CR19","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. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:57:37Z","timestamp":1558292257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}