{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:48:18Z","timestamp":1725986898712},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13094-6_10","type":"book-chapter","created":{"date-parts":[[2010,6,21]],"date-time":"2010-06-21T21:45:32Z","timestamp":1277156732000},"page":"113-128","source":"Crossref","is-referenced-by-count":22,"title":["Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments"],"prefix":"10.1007","author":[{"given":"Amit K.","family":"Chopra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiano","family":"Dalpiaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B. Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering\u00a058(3), 327\u2013357 (2006)","journal-title":"Data and Knowledge Engineering"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"10_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s00766-008-0073-5","volume":"14","author":"V. Bryl","year":"2009","unstructured":"Bryl, V., Giorgini, P., Mylopoulos, J.: Designing socio-technical systems: From stakeholder goals to social networks. Requirements Engineering\u00a014(1), 47\u201370 (2009)","journal-title":"Requirements Engineering"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-642-02463-4_18","volume-title":"Conceptual Modeling: Foundations and Applications","author":"J. Castro","year":"2009","unstructured":"Castro, J., Kolp, M., Liu, L., Perini, A.: Dealing with complexity using conceptual models based on Tropos. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 335\u2013362. Springer, Heidelberg (2009)"},{"key":"10_CR5","unstructured":"Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of AAMAS 2009, pp. 937\u2013944 (2009)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11596141_5","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Colombo","year":"2005","unstructured":"Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccal\u00e1, M.: Speaking a common language: A conceptual model for describing service-oriented systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 48\u201360. Springer, Heidelberg (2005)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-72988-4_7","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 81\u201395. Springer, Heidelberg (2007)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/TSE.1976.233534","volume":"2","author":"F. Remer De","year":"1976","unstructured":"De Remer, F., Kron, H.H.: Programming-in-the-large versus programming-in-the small. IEEE Transactions on Software Engineering\u00a02(2), 80\u201386 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A methodology for modeling and evolution of cross-organizational business processes. ACM Transactions on Software Engineering and Methodology\u00a019(2) (2010)","DOI":"10.1145\/1571629.1571632"},{"issue":"3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MS.2006.71","volume":"23","author":"J. Gordijn","year":"2006","unstructured":"Gordijn, J., Yu, E., van der Raadt, B.: E-service design using i* and e3value modeling. IEEE Software\u00a023(3), 26\u201333 (2006)","journal-title":"IEEE Software"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-73131-3_9","volume-title":"Software Engineering for Multi-Agent Systems V","author":"R.S.S. Guizzardi","year":"2007","unstructured":"Guizzardi, R.S.S., Guizzardi, G., Perini, A., Mylopoulos, J.: Towards an ontological account of agent-oriented goals. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.) SELMAS. LNCS, vol.\u00a04408, pp. 148\u2013164. Springer, Heidelberg (2007)"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1504\/IJAOSE.2008.019422","volume":"2","author":"L. Liu","year":"2008","unstructured":"Liu, L., Liu, Q., Chi, C.-H., Jin, Z., Yu, E.: Towards a service requirements modelling ontology based on agent knowledge and intentions. International Journal of Agent-Oriented Software Engineering\u00a02(3), 324\u2013349 (2008)","journal-title":"International Journal of Agent-Oriented Software Engineering"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-75563-0_8","volume-title":"Conceptual Modeling - ER 2007","author":"A. Lo","year":"2007","unstructured":"Lo, A., Yu, E.: From business models to service-oriented design: A reference catalog approach. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 87\u2013101. Springer, Heidelberg (2007)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-10383-4_10","volume-title":"Service-Oriented Computing","author":"A. Mahfouz","year":"2009","unstructured":"Mahfouz, A., Barroca, L., Laney, R., Nuseibeh, B.: Requirements-driven collaborative choreography customization. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 144\u2013158. Springer, Heidelberg (2009)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-642-02463-4_16","volume-title":"Conceptual Modeling: Foundations and Applications","author":"D.K. Nguyen","year":"2009","unstructured":"Nguyen, D.K., van den Heuvel, W.-J., Papazoglou, M.P., de Castro, V., Marcos, E.: GAMBUSE: A gap analysis methodology for engineering SOA-based applications. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 293\u2013318. Springer, Heidelberg (2009)"},{"issue":"3-4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10515-008-0032-x","volume":"15","author":"E. Nitto Di","year":"2008","unstructured":"Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M.P., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering\u00a015(3-4), 313\u2013341 (2008)","journal-title":"Automated Software Engineering"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1555392.1555395","volume":"19","author":"C. Ouyang","year":"2009","unstructured":"Ouyang, C., Dumas, M., Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology\u00a019(1), 1\u201337 (2009)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-72988-4_12","volume-title":"Advanced Information Systems Engineering","author":"C. Rolland","year":"2007","unstructured":"Rolland, C., Kaabi, R.S., Kra\u00efem, N.: On ISOA: Intentional services oriented architecture. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 158\u2013172. Springer, Heidelberg (2007)"},{"issue":"12","key":"10_CR19","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/978-3-642-11355-0_12","volume-title":"Proceedings of Workshop on Declarative Agent Languages and Technologies","author":"M.P. Singh","year":"2010","unstructured":"Singh, M.P., Chopra, A.K.: Correctness properties for multiagent systems. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 192\u2013207. Springer, Heidelberg (2010)"},{"key":"10_CR21","volume-title":"Service-Oriented Computing: Semantics, Processes, Agents","author":"M.P. Singh","year":"2005","unstructured":"Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-642-02463-4_22","volume-title":"Conceptual Modeling: Foundations and Applications","author":"P.R. Telang","year":"2009","unstructured":"Telang, P.R., Singh, M.P.: Enhancing Tropos with commitments: A business metamodel and methodology. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol.\u00a05600, pp. 417\u2013435. Springer, Heidelberg (2009)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/978-3-540-39800-4_2","volume-title":"Formal Methods for Software Architectures","author":"A. Lamsweerde van","year":"2003","unstructured":"van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol.\u00a02804, pp. 25\u201343. Springer, Heidelberg (2003)"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of ISRE 1997, pp. 226\u2013235 (1997)","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13094-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:15:58Z","timestamp":1552601758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13094-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13094-6_10","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2010]]}}}