{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:39Z","timestamp":1750307379147,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1145\/1808885.1808889","type":"proceedings-article","created":{"date-parts":[[2010,6,1]],"date-time":"2010-06-01T12:21:35Z","timestamp":1275394895000},"page":"15-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["A design methodology for real services"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Marchetto","sequence":"first","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cu D.","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara","family":"Di Francescomarino","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nauman A.","family":"Qureshi","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - IRST, Povo, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,5]]},"reference":[{"volume-title":"NESSI Strategic Research Agenda","year":"2006","key":"e_1_3_2_1_1_1","unstructured":"Framing the future of the service oriented economy. Technical report , NESSI Strategic Research Agenda , 2006 . Framing the future of the service oriented economy. Technical report, NESSI Strategic Research Agenda, 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"e_1_3_2_1_3_1","unstructured":"Business Process Management Initiative (BPMI). Business process modeling notation: Specification. http:\/\/www.omg.org\/spec\/BPMN\/1.2\/ 2009.  Business Process Management Initiative (BPMI). Business process modeling notation: Specification. http:\/\/www.omg.org\/spec\/BPMN\/1.2\/ 2009."},{"key":"e_1_3_2_1_4_1","volume-title":"Workshop on Semantic Business Process Management","author":"Decreus K.","year":"2008","unstructured":"K. Decreus , F. Gailly , and G. Poels . A toolkit for business process owners to capture early system requirements . In Workshop on Semantic Business Process Management , 2008 . K. Decreus, F. Gailly, and G. Poels. A toolkit for business process owners to capture early system requirements. In Workshop on Semantic Business Process Management, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01862-6_18"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646327.687130"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00985-3_8"},{"key":"e_1_3_2_1_9_1","first-page":"212","volume-title":"Goal-equivalent secure business process re-engineering","author":"L\u00f3pez H. A.","year":"2009","unstructured":"H. A. L\u00f3pez , F. Massacci , and N. Zannone . Goal-equivalent secure business process re-engineering . pages 212 -- 223 , 2009 . H. A. L\u00f3pez, F. Massacci, and N. Zannone. Goal-equivalent secure business process re-engineering. pages 212--223, 2009."},{"key":"e_1_3_2_1_10_1","unstructured":"C. D. Nguyen A. Marchetto C. Di Francescomarino N. Qureshi A. Perini and P. Tonella. IoS joint research project - WP3 technical report. http:\/\/se.fbk.eu\/en\/technical_reports 2009.  C. D. Nguyen A. Marchetto C. Di Francescomarino N. Qureshi A. Perini and P. Tonella. IoS joint research project - WP3 technical report. http:\/\/se.fbk.eu\/en\/technical_reports 2009."},{"key":"e_1_3_2_1_11_1","volume-title":"Dagstuhl Seminar Proceedings","author":"Papazoglou M. P.","year":"2006","unstructured":"M. P. Papazoglou , P. Traverso , S. Dustdar , F. Leymann , and B. J. Kr\u00e4mer . Service-oriented computing research roadmap . In Dagstuhl Seminar Proceedings , April 2006 . M. P. Papazoglou, P. Traverso, S. Dustdar, F. Leymann, and B. J. Kr\u00e4mer. Service-oriented computing research roadmap. In Dagstuhl Seminar Proceedings, April 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCCER.2006.4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1293731.1293736"},{"key":"e_1_3_2_1_14_1","first-page":"183","volume-title":"Towards the Future Internet - A European Research Perspective","author":"Pistore M.","year":"2009","unstructured":"M. Pistore , P. Traverso , M. Paolucci , and M. Wagner . Towards the Future Internet - A European Research Perspective , chapter From Software Services to a Future Internet of Services, pages 183 -- 192 . IOS Press , 2009 . M. Pistore, P. Traverso, M. Paolucci, and M. Wagner. Towards the Future Internet - A European Research Perspective, chapter From Software Services to a Future Internet of Services, pages 183--192. IOS Press, 2009."},{"key":"e_1_3_2_1_15_1","volume-title":"An intentional view of service-oriented computing. Ing\u00e9nierie des Syst\u00e8mes d'Information, 13(1):107--137","author":"Rolland C.","year":"2008","unstructured":"C. Rolland , C. Souveyet , and N. Kra\u00efem . An intentional view of service-oriented computing. Ing\u00e9nierie des Syst\u00e8mes d'Information, 13(1):107--137 , 2008 . C. Rolland, C. Souveyet, and N. Kra\u00efem. An intentional view of service-oriented computing. Ing\u00e9nierie des Syst\u00e8mes d'Information, 13(1):107--137, 2008."},{"key":"e_1_3_2_1_16_1","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J. B.","year":"1998","unstructured":"J. B. Warmer and A. G. Kleppe . The Object Constraint Language: Precise Modeling with UML . Addison-Wesley Object Technology Series , 1998 . J. B. Warmer and A. G. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series, 1998."}],"event":{"name":"ICSE '10: 32nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Cape Town South Africa","acronym":"ICSE '10"},"container-title":["Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1808885.1808889","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1808885.1808889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:23:12Z","timestamp":1750245792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1808885.1808889"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":16,"alternative-id":["10.1145\/1808885.1808889","10.1145\/1808885"],"URL":"https:\/\/doi.org\/10.1145\/1808885.1808889","relation":{},"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"2010-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}