{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:56:06Z","timestamp":1725537366972},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045530"},{"type":"electronic","value":"9783642045547"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04554-7_1","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:11:16Z","timestamp":1252937476000},"page":"1-18","source":"Crossref","is-referenced-by-count":5,"title":["Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks \u2013 An Example"],"prefix":"10.1007","author":[{"given":"Frank Alexander","family":"Kraemer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vidar","family":"Sl\u00e5tten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Herrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Kraemer, F.A.: Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks. PhD thesis, Norwegian University of Science and Technology, Trondheim (August 2008)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/WI-IATW.2006.121","volume-title":"Proceedings of the 2006 WI-IAT Workshops (2006 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology)","author":"F.A. Kraemer","year":"2006","unstructured":"Kraemer, F.A., Herrmann, P.: Service Specification by Composition of Collaborations \u2014 An Example. In: Proceedings of the 2006 WI-IAT Workshops (2006 IEEE\/WIC\/ACM International Conference on Web Intelligence and Intelligent Agent Technology), pp. 129\u2013133. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"1_CR3","unstructured":"ISIS Project Website, \n                    \n                      http:\/\/www.isisproject.org"},{"key":"1_CR4","unstructured":"http:\/\/www.sunspotworld.com"},{"key":"1_CR5","unstructured":"http:\/\/squawk.dev.java.net\/"},{"key":"1_CR6","volume-title":"Engineering Real Time Systems: An Object-Oriented Methodology Using SDL","author":"R. Br\u00e6k","year":"1993","unstructured":"Br\u00e6k, R., Haugen, \u00d8.: Engineering Real Time Systems: An Object-Oriented Methodology Using SDL. Prentice-Hall, Englewood Cliffs (1993)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","first-page":"1612","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"F.A. Kraemer","year":"2006","unstructured":"Kraemer, F.A., Herrmann, P., Br\u00e6k, R.: Aligning UML 2.0 state machines and temporal logic for the efficient execution of services. In: Meersman, R., Tari, Z. (eds.) DOA 2006. LNCS, vol.\u00a04276, pp. 1612\u20131632. Springer, Heidelberg (2006)"},{"key":"1_CR8","unstructured":"Bjerke, M.: Asynchronous Messaging between Embedded Java Devices. Project Thesis. Norwegian University of Science and Technology, Trondheim (December 2008)"},{"key":"1_CR9","unstructured":"Merha, B.T.: Code Generation for Executable State Machines on Embedded Java Devices. Project Thesis. Norwegian University of Science and Technology, Trondheim (December 2008)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-74984-4_11","volume-title":"SDL 2007: Design for Dependable Systems","author":"F.A. Kraemer","year":"2007","unstructured":"Kraemer, F.A., Br\u00e6k, R., Herrmann, P.: Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745, pp. 166\u2013185. Springer, Heidelberg (2007)"},{"key":"1_CR11","unstructured":"Kraemer, F.A., Herrmann, P.: Transforming Collaborative Service Specifications into Efficiently Executable State Machines. In: Ehring, K., Giese, H. (eds.) Proceedings of the 6th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007). Electronic Communications of the EASST, vol.\u00a07. EASST (2007)"},{"key":"1_CR12","unstructured":"Arseneau, E., Engelhardtsen, F.B.: Project playSIM: Experimenting with Java Card 3 System Programming. In: JavaOne (June 2009)"},{"key":"1_CR13","volume-title":"Elements of Distributed Computing","author":"V.K. Garg","year":"2002","unstructured":"Garg, V.K.: Elements of Distributed Computing. John Wiley & Sons, Inc., New York (2002)"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T.D. Chandra","year":"1996","unstructured":"Chandra, T.D., Toueg, S.: Unreliable Failure Detectors for Reliable Distributed Systems. Journal of the ACM\u00a043(2), 225\u2013267 (1996)","journal-title":"Journal of the ACM"},{"key":"1_CR15","volume-title":"Distributed Systems: Principles and Paradigms","author":"A.S. Tanenbaum","year":"2002","unstructured":"Tanenbaum, A.S.: Distributed Systems: Principles and Paradigms. Prentice-Hall, New Jersey (2002)"},{"key":"1_CR16","unstructured":"Kraemer, F.A., Sl\u00e5tten, V., Herrmann, P.: Engineering Support for UML Activities by Automated Model-Checking \u2014 An Example. In: Proceedings of the 4th International Workshop on Rapid Integration of Software Engineering Techniques, RISE (2007)"},{"key":"1_CR17","unstructured":"Kraemer, F.A., Br\u00e6k, R., Herrmann, P.: Compositional Service Engineering with Arctis. Telektronikk 105(1) (2009)"},{"key":"1_CR18","unstructured":"Kraemer, F.A.: Rapid Service Development for Service Frame. Master\u2019s thesis, University of Stuttgart (2003)"},{"key":"1_CR19","unstructured":"http:\/\/ksoap2.sourceforge.net\/"},{"issue":"1","key":"1_CR20","first-page":"73","volume":"95","author":"R. Br\u00e6k","year":"1997","unstructured":"Br\u00e6k, R., Gorman, J., Haugen, \u00d8., Melby, G., M\u00f8ller-Pedersen, B., Sanders, R.: Quality by Construction Exemplified by TIMe \u2014 The Integrated Methodology. Telektronikk\u00a095(1), 73\u201382 (1997)","journal-title":"Telektronikk"},{"key":"1_CR21","volume-title":"Systems Engineering Using SDL-92, Chapter\u00a06 \u2013 Systems Engineering","author":"A. Olsen","year":"1994","unstructured":"Olsen, A., F\u00e6rgemand, O., M\u00f8ller-Pedersen, B., Reed, R., Smith, J.R.W.: Systems Engineering Using SDL-92, Chapter\u00a06 \u2013 Systems Engineering. Elsevier North-Holland, Inc., Amsterdam (1994)"},{"key":"1_CR22","unstructured":"Telelogic: Tau 4.4 User\u2019s Manual. Malm\u00f6 (2002)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11880240_7","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Kuhn","year":"2006","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL - Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 83\u201397. Springer, Heidelberg (2006)"},{"key":"1_CR24","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., New York (1994)"},{"key":"1_CR25","volume-title":"Objects, Components, and Frameworks with UML: the Catalysis Approach","author":"D.F. D\u2019Souza","year":"1999","unstructured":"D\u2019Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: the Catalysis Approach. Addison-Wesley, Reading (1999)"},{"key":"1_CR26","volume-title":"Working with Objects, The OOram Software Engineering Method","author":"T. Reenskaug","year":"1995","unstructured":"Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects, The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"1_CR27","first-page":"63","volume-title":"Proceedings of the 12th International Conference on Software Engineering","author":"H. Jarvinen","year":"1990","unstructured":"Jarvinen, H., Kurki-Suonio, R., Sakkinen, M., Systa, K.: Object-Oriented Specification of Reactive Systems. In: Proceedings of the 12th International Conference on Software Engineering, pp. 63\u201371. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-74984-4_10","volume-title":"SDL 2007: Design for Dependable Systems","author":"I. Fliege","year":"2007","unstructured":"Fliege, I., Gotzhein, R.: Automated generation of micro protocol descriptions from SDL design specifications. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol.\u00a04745, pp. 150\u2013165. Springer, Heidelberg (2007)"},{"issue":"2","key":"1_CR29","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S1389-1286(00)00089-X","volume":"34","author":"P. Herrmann","year":"2000","unstructured":"Herrmann, P., Krumm, H.: A Framework for Modeling Transfer Protocols. Computer Networks\u00a034(2), 317\u2013337 (2000)","journal-title":"Computer Networks"}],"container-title":["Lecture Notes in Computer Science","SDL 2009: Design for Motes and Mobiles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04554-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T08:48:28Z","timestamp":1548406108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04554-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045530","9783642045547"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04554-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}