Modeling and reasoning about service-oriented applications via goals and commitments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6051 LNCS, Issue , 2010, Pages 113-128

  Chopra, Amit K ^a   Dalpiaz, Fabiano ^a   Giorgini, Paolo ^a   Mylopoulos, John ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

Business modeling; Commitments; Goals; Service engagements; Service oriented architecture

Indexed keywords

BUSINESS MODELING; COMMITMENTS; GOALS; SERVICE ENGAGEMENTS; SERVICE ORIENTED;

INFORMATION SERVICES; INFORMATION SYSTEMS; SPECIFICATIONS; SYSTEMS ENGINEERING;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 78649919846     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13094-6_10     Document Type: Conference Paper

References (24)

1. Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering 58(3), 327-357 (2006). (Pubitemid 43994224)
2. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agentoriented software development methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203-236 (2004). (Pubitemid 39019798)
3. Bryl, V., Giorgini, P., Mylopoulos, J.: Designing socio-technical systems: From stakeholder goals to social networks. Requirements Engineering 14(1), 47-70 (2009).
4. 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. 5600, pp. 335-362. Springer, Heidelberg (2009).
5. Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of AAMAS 2009, pp. 937-944 (2009).
6. Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccaĺa, 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. 3826, pp. 48-60. Springer, Heidelberg (2005). (Pubitemid 43856175)
7. 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. 4495, pp. 81-95. Springer, Heidelberg (2007).
8. De Remer, F., Kron, H.H.: Programming-in-the-large versus programming-in-the small. IEEE Transactions on Software Engineering 2(2), 80-86 (1976).
9. 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 19(2) (2010).
10. 3value modeling. IEEE Software 23(3), 26-33 (2006).
11. 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. 4408, pp. 148-164. Springer, Heidelberg (2007).
12. 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 2(3), 324-349 (2008).
13. 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. 4801, pp. 87-101. Springer, Heidelberg (2007).
14. 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. 5900, pp. 144-158. Springer, Heidelberg (2009).
15. 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. 5600, pp. 293-318. Springer, Heidelberg (2009).
16. 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 15(3-4), 313-341 (2008).
17. 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 19(1), 1-37 (2009).
18. Rolland, C., Kaabi, R.S., Kraïem, N.: On ISOA: Intentional services oriented architecture. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 158-172. Springer, Heidelberg (2007).
19. Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40-47 (1998). (Pubitemid 128550813)
20. Singh, M.P., Chopra, A.K.: Correctness properties for multiagent systems. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, vol. 5948, pp. 192-207. Springer, Heidelberg (2010).
21. Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005).
22. 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. 5600, pp. 417-435. Springer, Heidelberg (2009).
23. van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25-43. Springer, Heidelberg (2003). (Pubitemid 137631206)
24. Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of ISRE 1997, pp. 226-235 (1997).