{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:01:50Z","timestamp":1766484110504,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167273","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1308-1315","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Deriving services from KAOS models"],"prefix":"10.1145","author":[{"given":"Eric","family":"Souza","sequence":"first","affiliation":[{"name":"Universidade NOVA de Lisboa, PORTUGAL"}]},{"given":"Ana","family":"Moreira","sequence":"additional","affiliation":[{"name":"Universidade NOVA de Lisboa, PORTUGAL"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Model-driven design of distributed applications. Lecture notes in computer science","author":"Almeida Jo\u00e3o Paulo","year":"2004","unstructured":"Jo\u00e3o Paulo Almeida . 2004. Model-driven design of distributed applications. Lecture notes in computer science ( 2004 ), 854--865. Jo\u00e3o Paulo Almeida. 2004. Model-driven design of distributed applications. Lecture notes in computer science (2004), 854--865."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04947-7_31"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/850944.853130"},{"key":"e_1_3_2_1_4_1","volume-title":"Jairo Francisco de Souza, and Henrique Prado Sousa","author":"Azevedo Leonardo Guerreiro","year":"2014","unstructured":"Leonardo Guerreiro Azevedo , Fl\u00e1via Santoro , Fernanda Bai\u00e3o , Thaissa Diirr , Alexandre Souza , Jairo Francisco de Souza, and Henrique Prado Sousa . 2014 . A method for bridging the gap between business process models and services. iSys-Revista Brasileira de Sistemas de Informa\u00e7\u00e3o 6, 1 (2014), 62--98. Leonardo Guerreiro Azevedo, Fl\u00e1via Santoro, Fernanda Bai\u00e3o, Thaissa Diirr, Alexandre Souza, Jairo Francisco de Souza, and Henrique Prado Sousa. 2014. A method for bridging the gap between business process models and services. iSys-Revista Brasileira de Sistemas de Informa\u00e7\u00e3o 6, 1 (2014), 62--98."},{"volume-title":"Relating Software Requirements and Architectures","author":"Baresi Luciano","key":"e_1_3_2_1_5_1","unstructured":"Luciano Baresi and Liliana Pasquale . 2011. Adaptation goals for adaptive service-oriented architectures . In Relating Software Requirements and Architectures . Springer , 161--181. Luciano Baresi and Liliana Pasquale. 2011. Adaptation goals for adaptive service-oriented architectures. In Relating Software Requirements and Architectures. Springer, 161--181."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2013.26"},{"key":"e_1_3_2_1_7_1","volume-title":"ICSE'09","author":"Borgida A","year":"2009","unstructured":"A Borgida , N Ernst , I Jureta , and Aleixei Lapouchnian . 2009 . Techne: A(nother) Requirements Modeling Language . ICSE'09 (2009). A Borgida, N Ernst, I Jureta, and Aleixei Lapouchnian. 2009. Techne: A(nother) Requirements Modeling Language. ICSE'09 (2009)."},{"key":"e_1_3_2_1_8_1","volume-title":"Eric Siu-Kwong Yu, and John Mylopoulos","author":"Chung Lawrence","year":"1999","unstructured":"Lawrence Chung , Brian A Nixon , Eric Siu-Kwong Yu, and John Mylopoulos . 1999 . Non-Functional Requirements in Software Engineering. Boston, MA. Lawrence Chung, Brian A Nixon, Eric Siu-Kwong Yu, and John Mylopoulos. 1999. Non-Functional Requirements in Software Engineering. Boston, MA."},{"key":"e_1_3_2_1_9_1","unstructured":"Inaldo Capistrano Costa and Jos\u00e9 M Parente de Oliveira. 2016. GO4SOA: Goal-Oriented Modeling for SOA.. In WEBIST (1). 247--254.  Inaldo Capistrano Costa and Jos\u00e9 M Parente de Oliveira. 2016. GO4SOA: Goal-Oriented Modeling for SOA.. In WEBIST (1). 247--254."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(93)90021-G"},{"volume-title":"An Overview of SoaML. Sparx Systems Enterprise Architect","year":"2011","key":"e_1_3_2_1_11_1","unstructured":"DTSam. 2011. An Overview of SoaML. Sparx Systems Enterprise Architect ( 2011 ). https:\/\/goo.gl\/WsLJ5g. Online accessed: 22\/Sep\/2017. DTSam. 2011. An Overview of SoaML. Sparx Systems Enterprise Architect (2011). https:\/\/goo.gl\/WsLJ5g. Online accessed: 22\/Sep\/2017."},{"volume-title":"Service-oriented architecture: concepts, technology, and design. Pearson Education","author":"Erl Thomas","key":"e_1_3_2_1_12_1","unstructured":"Thomas Erl . 2005. Service-oriented architecture: concepts, technology, and design. Pearson Education , Inc, Indiana, USA. Thomas Erl. 2005. Service-oriented architecture: concepts, technology, and design. Pearson Education, Inc, Indiana, USA."},{"volume-title":"Eclipse modeling project: a domain-specific language (DSL) toolkit","author":"Gronback Richard C","key":"e_1_3_2_1_13_1","unstructured":"Richard C Gronback . 2009. Eclipse modeling project: a domain-specific language (DSL) toolkit . Addison-Wesley . Richard C Gronback. 2009. Eclipse modeling project: a domain-specific language (DSL) toolkit. Addison-Wesley."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294928.1294930"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.52"},{"key":"e_1_3_2_1_16_1","unstructured":"Tim Kelly and Rob Weaver. 2004. The goal structuring notation-a safety argument notation. In Dependable systems and networks workshop on assurance cases.  Tim Kelly and Rob Weaver. 2004. The goal structuring notation-a safety argument notation. In Dependable systems and networks workshop on assurance cases."},{"volume-title":"MDA Explained: The Model Driven Architecture: Practice and Promise","author":"Kleppe Anneke G","key":"e_1_3_2_1_17_1","unstructured":"Anneke G Kleppe , Jos Warmer , and Wim Bast . 2003. MDA Explained: The Model Driven Architecture: Practice and Promise . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA . Anneke G Kleppe, Jos Warmer, and Wim Bast. 2003. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.6"},{"key":"e_1_3_2_1_19_1","volume-title":"Model Driven Grant Proposal Engineering. In MODELS'14","author":"Kolovos Dimitrios S","year":"2014","unstructured":"Dimitrios S Kolovos , Nicholas Matragkas , James R Williams , and Richard F Paige . 2014 . Model Driven Grant Proposal Engineering. In MODELS'14 . Springer. Dimitrios S Kolovos, Nicholas Matragkas, James R Williams, and Richard F Paige. 2014. Model Driven Grant Proposal Engineering. In MODELS'14. Springer."},{"volume-title":"Requirements Engineering for Service and Cloud Computing","author":"Koski Aapo","key":"e_1_3_2_1_20_1","unstructured":"Aapo Koski and Tommi Mikkonen . 2017. What We Say We Want and What We Really Need: Experiences on the Barriers to Communicate Information System Needs . In Requirements Engineering for Service and Cloud Computing . Springer . Aapo Koski and Tommi Mikkonen. 2017. What We Say We Want and What We Really Need: Experiences on the Barriers to Communicate Information System Needs. In Requirements Engineering for Service and Cloud Computing. Springer."},{"key":"e_1_3_2_1_21_1","unstructured":"Pericles Loucopoulos V Kavakli N Prekas Colette Rolland Georges Grosz and Selmin Nurcan. 1997. Using the EKD approach: the modelling component. (1997).  Pericles Loucopoulos V Kavakli N Prekas Colette Rolland Georges Grosz and Selmin Nurcan. 1997. Using the EKD approach: the modelling component. (1997)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_12"},{"key":"e_1_3_2_1_23_1","unstructured":"Benjamin Nagel Christian Gerth Jennifer Post and Gregor Engels. 2013. Kaos4SOA-Extending KAOS Models with Temporal and Logical Dependencies.. In CAiSE Forum. 9--16.  Benjamin Nagel Christian Gerth Jennifer Post and Gregor Engels. 2013. Kaos4SOA-Extending KAOS Models with Temporal and Logical Dependencies.. In CAiSE Forum. 9--16."},{"key":"e_1_3_2_1_24_1","unstructured":"OMG. {n. d.}. Documents Associated With Service Oriented Architecture Modeling Language (SoaML) Version 1.0.1. ({n. d.}). https:\/\/goo.gl\/FHHeUK Online accessed: 22\/Sep\/2017.  OMG. {n. d.}. Documents Associated With Service Oriented Architecture Modeling Language (SoaML) Version 1.0.1. ({n. d.}). https:\/\/goo.gl\/FHHeUK Online accessed: 22\/Sep\/2017."},{"key":"e_1_3_2_1_25_1","unstructured":"OMG. 2010. Business Motivation Model (BMM). (2010). https:\/\/goo.gl\/HDtxre Online accessed: 22\/Sep\/2017.  OMG. 2010. Business Motivation Model (BMM). (2010). https:\/\/goo.gl\/HDtxre Online accessed: 22\/Sep\/2017."},{"key":"e_1_3_2_1_26_1","unstructured":"Eric Pulier and Hugh Taylor. 2006. Understanding enterprise SOA. Manning.   Eric Pulier and Hugh Taylor. 2006. Understanding enterprise SOA. Manning."},{"key":"e_1_3_2_1_27_1","unstructured":"RespectIT. 2007. A KAOS Tutorial (v1.0 ed.).  RespectIT. 2007. A KAOS Tutorial (v1.0 ed.)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"e_1_3_2_1_29_1","volume-title":"Model Driven Architecture: A Perspective. In Advance Computing Conference.","author":"Singh Yashwant","year":"2009","unstructured":"Yashwant Singh and Manu Sood . 2009 . Model Driven Architecture: A Perspective. In Advance Computing Conference. Yashwant Singh and Manu Sood. 2009. Model Driven Architecture: A Perspective. In Advance Computing Conference."},{"key":"e_1_3_2_1_30_1","volume-title":"EMCIS","volume":"299","author":"Souza Eric","year":"2017","unstructured":"Eric Souza , Ana Moreira , and Jo\u00e3o Ara\u00fajo . 2017 . Aligning Business Models with Requirements Models. In Information Systems - 14th European, Mediterranean, and Middle Eastern Conference , EMCIS 2017, Coimbra, Portugal (Lecture Notes in Business Information Processing) , Vol. 299 . Springer, 545--558. Eric Souza, Ana Moreira, and Jo\u00e3o Ara\u00fajo. 2017. Aligning Business Models with Requirements Models. In Information Systems - 14th European, Mediterranean, and Middle Eastern Conference, EMCIS 2017, Coimbra, Portugal (Lecture Notes in Business Information Processing), Vol. 299. Springer, 545--558."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSA.2017.8000015"},{"key":"e_1_3_2_1_32_1","volume-title":"Khashayar Niki Maleki, and Negin Daneshpour","author":"Valipour Mohammad Hadi","year":"2009","unstructured":"Mohammad Hadi Valipour , Bavar AmirZafari , Khashayar Niki Maleki, and Negin Daneshpour . 2009 . A brief survey of software architecture concepts and service oriented architecture. Mohammad Hadi Valipour, Bavar AmirZafari, Khashayar Niki Maleki, and Negin Daneshpour. 2009. A brief survey of software architecture concepts and service oriented architecture."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_3_2_1_34_1","volume-title":"Requirements Engineering conference - RE'01","author":"van Lamsweerde Axel","year":"2001","unstructured":"Axel van Lamsweerde . 2001 . Goal-oriented requirements engineering: a guided tour . In Requirements Engineering conference - RE'01 . Axel van Lamsweerde. 2001. Goal-oriented requirements engineering: a guided tour. In Requirements Engineering conference - RE'01."},{"key":"e_1_3_2_1_35_1","volume-title":"Generating goal-oriented models from creative requirements using model driven engineering. MoDRE'13","author":"Wanderley Fernando","year":"2013","unstructured":"Fernando Wanderley and Jo\u00e3o Ara\u00fajo . 2013. Generating goal-oriented models from creative requirements using model driven engineering. MoDRE'13 ( 2013 ). Fernando Wanderley and Jo\u00e3o Ara\u00fajo. 2013. Generating goal-oriented models from creative requirements using model driven engineering. MoDRE'13 (2013)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_33"},{"key":"e_1_3_2_1_37_1","first-page":"0","article-title":"Introduction to BPMN","volume":"2","author":"White Stephen A","year":"2004","unstructured":"Stephen A White . 2004 . Introduction to BPMN . IBM Cooperation 2 , 0 (2004), 0 . Stephen A White. 2004. Introduction to BPMN. IBM Cooperation 2, 0 (2004), 0.","journal-title":"IBM Cooperation"},{"volume-title":"Social modeling for requirements engineering","author":"Yu Eric","key":"e_1_3_2_1_38_1","unstructured":"Eric Yu , Paolo Giorgini , Neil Maiden , and John Mylopoulos . 2011. Social modeling for requirements engineering . Mit Press . Eric Yu, Paolo Giorgini, Neil Maiden, and John Mylopoulos. 2011. Social modeling for requirements engineering. Mit Press."}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167273","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:06Z","timestamp":1750213566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":38,"alternative-id":["10.1145\/3167132.3167273","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167273","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}