Requirements-driven collaborative choreography customization

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

Volumn 5900 LNCS, Issue , 2009, Pages 144-158

  Mahfouz, Ayman ^a   Barroca, Leonor ^a   Laney, Robin ^a   Nuseibeh, Bashar ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

Choreography; Evolution; Requirements; Viewpoints

Indexed keywords

AUTOMATED TECHNIQUES; BUSINESS GOALS; BUSINESS NEEDS; CRITICAL BUSINESS; DESCRIPTION LANGUAGES; GLOBAL VIEW; PARTIAL VIEWS;

MOTIVATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 75649136935     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10383-4_10     Document Type: Conference Paper

References (26)

1. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36, 46-52 (2003)
2. Web Services Choreography Description Language Version 1.0. W3C (2005), http://www.w3.org/TR/ws-cdl-10/
3. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203-236 (2004)
4. Barros, A., Dumas, M., Oaks, P.: Standards for Web Service Choreography and Orchestration: Status and Perspectives. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 61-74. Springer, Heidelberg (2006)
5. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in Tropos. RE Journal 9, 132-150 (2004)
6. Mahfouz, A., Barroca, L., Laney, R., Nuseibeh, B.: Customizing Choreography: Deriving Conversations from Organizational Dependencies. Presented at Enterprise Distributed Object Computing Conference (EDOC), Munich, Germany (2008)
7. Mahfouz, A., Barroca, L., Laney, R., Nuseibeh, B.: From Organizational Requirements to Service Choreography. In: Congress on Services - I, pp. 546-553 (2009)
8. Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 1-20. Springer, Heidelberg (2003)
9. Dijkman, R.M., Dumas, M.: Service-Oriented Design: A Multi-Viewpoint Approach. International Journal of Cooperative Information Systems 13, 337-368 (2004)
10. Zaha, J. M., Dumas, M., ter Hofstede, A.H.M., Barros, A.P., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. Presented at EDOC, China (2006)
11. Zaha, J.M., Barros, A.P., Dumas, M., ter Hofstede, A.H.M.: Let's Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145-162. Springer, Heidelberg (2006)
12. Mendling, J., Hafner, M.: From Inter-Organizational Workflows to Process Execution: Generating BPEL from WS-CDL. Presented at ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (2005)
13. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Compositions. Presented at 18th International Conference on Automated Software Engineering, ASE 2003 (2003)
14. Nitto, E.D., Ghezzi, C., Metzger, A., Papazoglou, M.P., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering 15, 313-341 (2008)
15. Rinderle, S., Wombacher, A., Reichert, M.: On the Controlled Evolution of Process Choreographies. Presented at 22nd International Conference on Data Engineering (ICDE 2006), Atlanta, GA, USA (2006)
16. Mallya, A.U., Singh, M.P.: Incorporating Commitment Protocols into Tropos. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 69-80. Springer, Heidelberg (2006)
17. Telang, P.R., Singh, M.P.: Enhancing Tropos with Commitments: A Business Meta-model and Methodology. Presented at Conceptual Modeling: Foundations and Applications (2009)
18. 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 (TOSEM) 19 (2009)
19. Charfi, A., Mezini, M.: Aspect-Oriented Web Service Composition with AO4BPEL. In: Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 168-182. Springer, Heidelberg (2004)
20. Orriëns, B., Yang, J.: A Rule Driven Approach for Developing Adaptive Service Oriented Business Collaborations. Presented at IEEE International Conference on Services Computing (SCC), Chicago, Illinois, USA (2006)
21. Kazhamiakin, R., Pistore, M., Roveri, M.: A Framework for Integrating Business Processes and Business Requirements. Presented at Enterprise Distributed Object Computing Conference (EDOC 2004), Monterey, California, USA (2004)
22. Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. Presented at 3rd IEEE Int. Symp. on Requirements Engineering, Washington D.C., USA (1997)
23. Khallouf, J., Winikoff, M.: Goal-Oriented Design of Agent Systems: A Refinement of Prometheus and its Evaluation. International Journal Agent-Oriented Software Engineering 3, 88-112 (2009)
24. Traverso, P., Pistore, M., Roveri, M., Marconi, A., Kazhamiakin, R., Lucchese, P., Busetta, P., Bertoli, P.: Supporting the Negotiation between Global and Local Business Requirements in Service Oriented Development. ITC-irst, Trento, Italy (2004)
25. Berry, A., Milosevic, Z.: Extending Choreography With Business Contract Constraints. International Journal of Cooperative Information Systems (IJCIS) 14, 131-179 (2005)
26. Vitolins, V., Kalnins, A.: Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual Machine. Presented at EDOC 2005, Enschede, The Netherlands (2005)