{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:13:27Z","timestamp":1743045207473,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252631"},{"type":"electronic","value":"9783642252648"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25264-8_12","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T09:18:36Z","timestamp":1322903916000},"page":"138-153","source":"Crossref","is-referenced-by-count":2,"title":["PMG-Pro: A Model-Driven Development Method of Service-Based Applications"],"prefix":"10.1007","author":[{"given":"Selo","family":"Sulistyo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Prinz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Rezafard, A., Vilmos, A., et al.: Internet of things: Strategic research roadmap (2009)"},{"key":"12_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive software composition","author":"U. Assmann","year":"2003","unstructured":"Assmann, U.: Invasive software composition. Springer, Heidelberg (2003)"},{"key":"12_CR3","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":"12_CR4","unstructured":"Cohen, S.: Ontology and taxonomy of services in a service-oriented architecture. MSDN Libary Infrastructure Architectures\u00a011(11) (2007)"},{"issue":"2","key":"12_CR5","first-page":"53","volume":"8","author":"L. Coyle","year":"2007","unstructured":"Coyle, L., Neely, S., Stevenson, G., Sullivan, M., Dobson, S., Nixon, P.: Sensor fusion-based middleware for smart homes. International Journal of Assistive Robotics and Mechatronics\u00a08(2), 53\u201360 (2007)","journal-title":"International Journal of Assistive Robotics and Mechatronics"},{"key":"12_CR6","volume-title":"Proceedings of Second International Workshop on Open Source Software and Product Lines","author":"E. Zeeb","year":"2007","unstructured":"Zeeb, E., Bobek, A., et al.: WS4D: SOA-Toolkits making embedded systems ready for web services. In: Proceedings of Second International Workshop on Open Source Software and Product Lines. ITEA, Limerick (2007)"},{"key":"12_CR7","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":"12_CR8","unstructured":"Goodwill, J.: Apache Axis Live: A Web Services Tutorial, Sourcebeat (December 2004)"},{"key":"12_CR9","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., Tennenholtz, M. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 230\u2013242. Springer, Heidelberg (2005)"},{"key":"12_CR10","unstructured":"IBM. Service component architecture (November 2006), http:\/\/www.ibm.com\/developerworks\/library\/specification\/ws-sca\/"},{"key":"12_CR11","volume-title":"UPnP Design by Example: A Software Developer\u2019s Guide to Universal Plug and Play","author":"M. Jeronimo","year":"2003","unstructured":"Jeronimo, M., Weast, J.: UPnP Design by Example: A Software Developer\u2019s Guide to Universal Plug and Play. Intel Press, Hillsboro (2003)"},{"key":"12_CR12","unstructured":"Konno, S.: Cyberlink for java programming guide v.1.3 (2005)"},{"key":"12_CR13","volume-title":"Proceedings of NIK 2007 (Norsk informatikkonferanse)","author":"F.A. Kr\u00e6mer","year":"2007","unstructured":"Kr\u00e6mer, F.A.: Arctis and Ramses: Tool suites for rapid service engineering. In: Proceedings of NIK 2007 (Norsk informatikkonferanse). Tapir Akademisk Forlag, Oslo (2007)"},{"key":"12_CR14","unstructured":"Kr\u00e6mer, 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":"12_CR15","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, USA (2004)"},{"key":"12_CR16","unstructured":"OMG. Model driven architecture guide, version 1.0.1, omg\/03-06-01 (June 2003)"},{"key":"12_CR17","unstructured":"OMG. Service oriented architecture modeling language (SoaML): Specification for the UML profile and metamodel for services, UPMS (2009)"},{"issue":"2-3","key":"12_CR18","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., ter Hofstede, A.H.M.: 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":"12_CR19","unstructured":"Papadimitriou, D.: Future internet: The cross-etp vision document. Technical Report Version 1.0, European Future Internet Assembly, FIA (2009)"},{"key":"12_CR20","volume-title":"Visual modeling with Rational Rose 2000 and UML","author":"T. Quatrani","year":"2000","unstructured":"Quatrani, T.: Visual modeling with Rational Rose 2000 and UML, 2nd edn. Addison-Wesley Longman Ltd., Essex (2000)","edition":"2"},{"key":"12_CR21","unstructured":"Sparx Systems. Enterprise architect, http:\/\/www.sparxsystems.com\/products\/ea\/index.html"},{"key":"12_CR22","unstructured":"The SeCSE Team: Designing and deploying service-centric systems: the secse way. In: Proceedings of the Service Oriented Computing: a look at the Inside (SOC @Inside 20 (2007)"},{"key":"12_CR23","unstructured":"Topouzidou, S.: Service oriented development in a unified framework (sodium). Deliverable CD-JRA-1.1.2, SODIUM Consortium (May 2007)"},{"key":"12_CR24","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":"12_CR25","doi-asserted-by":"crossref","unstructured":"Wu, C.-L., Liao, C.-F., Fu, L.-C.: Service-oriented smart-home architecture based on OSGi and mobile-agent technology. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews, 193\u2013205 (2007)","DOI":"10.1109\/TSMCC.2006.886997"},{"key":"12_CR26","unstructured":"Su, X., Svendsen, R., et al.: Description of the ISIS Ecosystem Towards an Integrated Solution to Internet of Things. Telenor Group Corporate Development (2010)"},{"key":"12_CR27","unstructured":"Yermashov, K.: Software Composition with Templates. PhD Thesis, De Montfort University, UK (2008)"}],"container-title":["Lecture Notes in Computer Science","SDL 2011: Integrating System and Software Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25264-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T03:13:29Z","timestamp":1561000409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25264-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252631","9783642252648"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25264-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}