{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:45Z","timestamp":1725475665679},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_16","type":"book-chapter","created":{"date-parts":[[2006,12,11]],"date-time":"2006-12-11T09:34:20Z","timestamp":1165829660000},"page":"186-200","source":"Crossref","is-referenced-by-count":0,"title":["Formal Transformation of Platform Independent Models into Platform Specific Models"],"prefix":"10.1007","author":[{"given":"Pontus","family":"Bostr\u00f6m","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats","family":"Neovius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Oliver","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Wald\u00e9n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1998","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1998)"},{"key":"16_CR2","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":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11415787_14","volume-title":"ZB 2005: Formal Specification and Development in Z and B","author":"J.R. Abrial","year":"2005","unstructured":"Abrial, J.R., Cansell, D., M\u00e9ry, D.: Refinement and Reachability in Event B. In: Treharne, H., King, S., C. Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol.\u00a03455, pp. 222\u2013241. Springer, Heidelberg (2005)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/3-540-28554-7_6","volume-title":"Model-Driven Software Development","author":"C. Atkinson","year":"2005","unstructured":"Atkinson, C., Kuhne, T.: A Generalised Notion of Platforms for Model-Driven Development. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, pp. 119\u2013136. Springer, Heidelberg (2005)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing, pp. 131\u2013142 (1983)","DOI":"10.1145\/800221.806716"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48118-4_56","volume-title":"FM\u201999 - Formal Methods","author":"R. Banach","year":"1999","unstructured":"Banach, R., Poppleton, M.: Retrenchment: an Engineering Variation on Refinement. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, Springer, Heidelberg (1999)"},{"key":"16_CR7","first-page":"231","volume-title":"Science of Computer Programming","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. In: Science of Computer Programming, vol.\u00a08, pp. 231\u2013274. Elsevier Science Publishers, Amsterdam (1987)"},{"key":"16_CR8","first-page":"1150","volume-title":"Checkpointing and rollback-recovery for distributed systems","author":"R. Koo","year":"1986","unstructured":"Koo, R., Toueg, S.: Checkpointing and rollback-recovery for distributed systems, pp. 1150\u20131158. IEEE Computer Society Press, Los Alamitos (1986)"},{"key":"16_CR9","volume-title":"Proceedings of SEFM 2004","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. In: Proceedings of SEFM 2004, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-540-30138-7_22","volume-title":"Computer Safety, Reliability, and Security","author":"L. Laibinis","year":"2004","unstructured":"Laibinis, L., Troubitsyna, E.: Refinement of Fault Tolerant Control Systems in B. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol.\u00a03219, pp. 254\u2013268. Springer, Heidelberg (2004)"},{"key":"16_CR11","unstructured":"Margaria, T., Steffen, B.: Aggressive Model-Driven Development: Synthesising Systems from Models viewed as Constraints. In: The Monterey Workshop Series 2003 Theme: Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, Chicago, Illinois (September 2003)"},{"key":"16_CR12","unstructured":"M\u00e9tayer, C., Abrial, J.-R., Voisin, L.: Event-B Language. Rodin Deliverable D7. RODIN project, IST-511599 (2005) (accessed 29.09.2006), \n                    \n                      http:\/\/rodin.cs.ncl.ac.uk\/deliverables.htm"},{"key":"16_CR13","series-title":"The ChDL Series","volume-title":"Advances in Design and Specification Languages for SoCs","author":"I. Oliver","year":"2005","unstructured":"Oliver, I.: Model Based Testing and Refinement in MDA Based Development. In: Boulet, P. (ed.) Advances in Design and Specification Languages for SoCs. The ChDL Series, Springer, Heidelberg (2005) 0-387-26149-4"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (2002)"},{"key":"16_CR15","volume-title":"Real-Time Object-Oriented Modelling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modelling. John Wiley & Sons, Chichester (1994)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/PL00003935","volume":"12","author":"K. Sere","year":"2000","unstructured":"Sere, K., Wald\u00e9n, M.: Data Refinement of Remote Procedures. Formal Aspects of Computing\u00a012, 278\u2013297 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR17","unstructured":"Snook, C., Wald\u00e9n, M.: Refinement of Statemachines using Hierarchical States, Choice Points and Joins. In: Proceedings of the EPSRC RefineNet Workshop, UK (2005) (accessed 29.09.2006), \n                    \n                      http:\/\/www.tucs.fi\/publications\/attachment.php?fname=inpSnWa05a.pdf"},{"key":"16_CR18","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008688421367","volume":"13","author":"M. Wald\u00e9n","year":"1998","unstructured":"Wald\u00e9n, M., Sere, K.: Reasoning About Action Systems Using the B-Method. Formal Methods in Systems Design\u00a013, 5\u201335 (1998)","journal-title":"Formal Methods in Systems Design"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:21:17Z","timestamp":1619508077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11955757_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540687603","9783540687610"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11955757_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}