{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T15:28:52Z","timestamp":1726759732019},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642368172"},{"type":"electronic","value":"9783642368189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36818-9_6","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T11:14:54Z","timestamp":1362395694000},"page":"50-59","source":"Crossref","is-referenced-by-count":4,"title":["Software Development Methods in the Internet of Things"],"prefix":"10.1007","author":[{"given":"Selo","family":"Sulistyo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Assmann, U.: Invasive software composition. Springer (April 2003)","DOI":"10.1007\/978-3-662-05082-8"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/11604655_57","volume-title":"Distributed Computing and Internet Technology","author":"A.K. Bhattacharjee","year":"2005","unstructured":"Bhattacharjee, A.K., Shyamasundar, R.K.: Validated Code Generation for Activity Diagrams. In: Chakraborty, G. (ed.) ICDCIT 2005. LNCS, vol.\u00a03816, pp. 508\u2013521. Springer, Heidelberg (2005)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/SCC.2007.72","volume-title":"IEEE International Conference on Services Computing","author":"F. Cicirelli","year":"2007","unstructured":"Cicirelli, F., Furfaro, A., Nigro, L.: Integration and interoperability between jini services and Web services. In: IEEE International Conference on Services Computing, pp. 278\u2013285. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR4","unstructured":"Erl, T.: Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Prentice Hall PTR (August 2005)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Wieringa, R.: A formal semantics for uml activity diagrams - formalising workflow models (2001)","DOI":"10.1007\/3-540-45314-8_7"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11549970_17","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"G. Diaz","year":"2005","unstructured":"Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Automatic Translation of WS-CDL Choreographies to Timed Automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-FM 2005. LNCS, vol.\u00a03670, pp. 230\u2013242. Springer, Heidelberg (2005)"},{"key":"6_CR7","unstructured":"IBM. Service component architecture, \n                      \n                        http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-sca\/\n                      \n                      \n                     (November 2006)"},{"key":"6_CR8","unstructured":"Jeronimo, M., Weast, J.: UPnP Design by Example: A Software Developer\u2019s Guide to Universal Plug and Play. Intel Press (May 2003)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"JiZhe, L., YongJun, Y.: Research and implementation of lightweight esb with microsoft.net. Japan-China Joint Workshop on Frontier of Computer Science and Technology, 455\u2013459 (2009)","DOI":"10.1109\/FCST.2009.92"},{"key":"6_CR10","unstructured":"McIlroy, D.: Mass-Produced software components. In: Proceedings of the 1st International Conference on Software Engineering, pp. 88\u201398 (1968)"},{"key":"6_CR11","unstructured":"F.A. Kraemer. 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":"6_CR12","first-page":"42","volume-title":"Proceedings of International Conference on e-Technology, e-Commerce, and e-Services","author":"R. Gr\u00f8nmo","year":"2004","unstructured":"Gr\u00f8nmo, R., Skogan, D., Solheim, I., Oldevik, J.: Model-Driven web services development. In: Proceedings of International Conference on e-Technology, e-Commerce, and e-Services, pp. 42\u201345. IEEE Computer Society, Los Alamitos (2004)"},{"key":"6_CR13","unstructured":"OMG. Meta object facility (MOF) 2.0 Query\/View\/Transformation specification final adopted specification ptc\/05-11-01 (2005), \n                      \n                        http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"6_CR14","unstructured":"OMG. Service oriented architecture modeling language (SoaML) : Specification for the UML profile and metamodel for services (UPMS) (2009)"},{"issue":"2-3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., Hofstede, A.H.M.t.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Science of Computer Programming"},{"key":"6_CR16","unstructured":"Papadimitriou, D.: Future internet: The cross-etp vision document. Technical Report Version 1.0, European Future Internet Assembly, FIA (2009)"},{"key":"6_CR17","unstructured":"Sancho. Definition for the term (software) service, sector abbreviations and definitions for a telecommunications thesaurus oriented database, itu-t (2009)"},{"key":"6_CR18","unstructured":"Sparx Systems. Enterprise architect, \n                      \n                        http:\/\/www.sparxsystems.com\/products\/ea\/index.html"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/PESOS.2009.5068816","volume-title":"Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, PESOS 2009","author":"W.-J. Heuvel van den","year":"2009","unstructured":"van den Heuvel, W.-J., Zimmermann, O., et al.: Software service engineering: Tenets and challenges. In: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, PESOS 2009, pp. 26\u201333. IEEE Computer Society, Washington, DC (2009)"},{"key":"6_CR20","unstructured":"Su, X., Svendsen, R.M., et al.: Description of the ISIS Ecosystem Towards an Integrated Solution to Internet of Things. Telenor Group Corporate Development (2010)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MITP.2002.1000461","volume":"4","author":"W. Yeager","year":"2002","unstructured":"Yeager, W., Williams, J.: Secure peer-to-peer networking: The jxta example. IT Professional\u00a04, 53\u201357 (2002)","journal-title":"IT Professional"},{"key":"6_CR22","unstructured":"Yermashov, K.: Software Composition with Templates. PhD Thesis, De Montfort University, UK (2008)"}],"container-title":["Lecture Notes in Computer Science","Information and Communicatiaon Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36818-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T10:06:00Z","timestamp":1557569160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36818-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642368172","9783642368189"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36818-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}