{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:56:08Z","timestamp":1743148568893,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319219110"},{"type":"electronic","value":"9783319219127"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21912-7_8","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T15:37:26Z","timestamp":1437061046000},"page":"197-219","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrating Protocol Contracts with Program Code \u2013 A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context"],"prefix":"10.1007","author":[{"given":"Marco","family":"Konersmann","sequence":"first","affiliation":[]},{"given":"Michael","family":"Goedicke","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"8_CR1","unstructured":"Balz, M.: Embedding Model Specifications in Object-Oriented Program Code: A Bottom-up Approach for Model-based Software Development. Ph.D. thesis, Universitt Duisburg-Essen, Mai (2011)"},{"issue":"10","key":"8_CR2","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MC.2009.326","volume":"42","author":"G Blair","year":"2009","unstructured":"Blair, G., Bencomo, N., France, R.: Models@ run.time. Computer 42(10), 22\u201327 (2009)","journal-title":"Computer"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-28554-7_1","volume-title":"Model-Driven Software Development, ch. 1","author":"A Brown","year":"2005","unstructured":"Brown, A., Conallen, J., Tropeano, D.: Introduction: models, modeling, and model-driven architecture (mda) model-driven software development. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, ch. 1, pp. 1\u201316. Springer, Heidelberg (2005)"},{"key":"8_CR4","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating sequential processes, vol. 178. Prentice-hall, Englewood Cliffs (1985). http:\/\/www.usingcsp.com\/"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-30835-2_4","volume-title":"Software Service and Application Engineering","author":"M Konersmann","year":"2012","unstructured":"Konersmann, M., Goedicke, M.: A conceptual framework and experimental workbench for architectures. In: Heisel, M. (ed.) Software Service and Application Engineering. LNCS, vol. 7365, pp. 36\u201352. Springer, Heidelberg (2012)"},{"key":"8_CR6","first-page":"23","volume-title":"ENASE","author":"AT McNeile","year":"2008","unstructured":"McNeile, A.T., Roubtsova, E.E.: Programming in protocols - a paradigm of behavioral programming. In: Gonzalez-Perez, C., Jablonski, S. (eds.) ENASE, pp. 23\u201330. INSTICC Press, Portugal (2008)"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10270-005-0100-7","volume":"5","author":"AT McNeile","year":"2006","unstructured":"McNeile, A.T., Simons, N.: Protocol modelling: a modelling approach that supports reusable behavioural abstractions. Softw. Syst. Model. 5(1), 91\u2013107 (2006)","journal-title":"Softw. Syst. Model."},{"key":"8_CR8","unstructured":"Nickel, U.A., Niere, J., Wadsack, J.P., Z\u00fcndorf, A.: Roundtrip engineering with FUJABA. In: Proceedings of 2nd Workshop on Software-Reengineering (WSR), Bad Honnef, Germany (2000)"},{"key":"8_CR9","unstructured":"OMG. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, August 2011"},{"key":"8_CR10","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"T Stahl","year":"2006","unstructured":"Stahl, T., Voelter, M., Czarnecki, K.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, New York (2006)"},{"key":"8_CR11","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Singapore (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Behavior Modeling -- Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21912-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T05:50:29Z","timestamp":1676958629000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21912-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319219110","9783319219127"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21912-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}