ServicePot - An extensible registry for choreography governance

Proceedings - 2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013

Volumn , Issue , 2013, Pages 113-124

  Ali, Midhat ^a   De Angelis, Guglielmo ^b   Polini, Andrea ^a,b  

^a UNIVERSITY OF CAMERINO   (Italy)

^b ISTI CNR   (Italy)

Author keywords

Governance; Run time verification; Service choreographies; Service registries

Indexed keywords

GOVERNANCE; LIFE-CYCLE MANAGEMENT; REFERENCE IMPLEMENTATION; RUN-TIME VERIFICATION; SERVICE CHOREOGRAPHIES; SERVICE REGISTRY; SERVICE-BASED APPLICATIONS; SOFTWARE INFRASTRUCTURE;

LIFE CYCLE; SYSTEMS ENGINEERING;

INTEROPERABILITY;

EID: 84880866638     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SOSE.2013.35     Document Type: Conference Paper

References (35)

1. M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella, "Service selection by choreography-driven matching, " in Emerging Web Services Technology, Vol. II, T. Gschwind et al., Eds. Birkhäuser Basel, 2008, pp. 5-22.
2. A. Bertolino, G. De Angelis, A. Di Sandro, and A. Sabetta, "Is my model right? let me ask the expert, " Journal of Systems and Software, vol. 84, no. 7, pp. 1089 - 1099, 2011.
3. A. Ben Hamida, A. Bertolino, A. Calabrò, G. De Angelis, N. Lago, and J. Lesbegueries, "Monitoring service choreographies from multiple sources, " in Proc. of 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), ser. LNCS, vol. 7527. Springer, Sept. 2012, pp. 134-149.
4. I. Crnkovic, "Predictability and evolution in resilient systems, " in Proc. of SERENE 2011, ser. LNCS, vol. 6968. Springer, 2011, pp. 113-114, - Invited Talk.
5. L. Baresi, E. D. Nitto, and C. Ghezzi, "Toward open-world software: Issue and challenges, " Computer, vol. 39, pp. 36- 43, 2006.
6. B. Woolf, "Introduction to soa governance, " Jul 2007, - Accessed on 2 Oct 2012. [Online]. Available: http://www.ibm.com/developerworks/ library/ar-servgov/.
7. T. Schepers, M. Iacob, and P. Van Eck, "A lifecycle approach to soa governance, " in Proceedings of the 2008 ACM symposium on Applied computing. ACM, 2008, pp. 1055- 1061.
8. D. Trossen, B. Briscoe, P. Mahonen, K. Sollins, L. Zhang, P. Mendes, S. Hailes, B. Jerman-Blaciz, and D. Papadimitrou, "Starting the Discussions: A white paper from the EIFFEL Think-Tank, " Eiffel TT, Tech. Rep., July 2009. [Online]. Available: http://www.fp7-eiffel.eu/fileadmin/docs/Report- TT2008.pdf.
9. M. Weske, Business Process Management: Concepts, Languages, Architectures. Springer, 2007.
10. A. Bertolino, G. De Angelis, and A. Polini, "Validation and Verification Policies for Governance of Service Choreographies, " in Proc. WEBIST 2012. Porto, Portugal: SciTePress, Apr. 2012.
11. D. Ivanovic, M. Carro, and M. V. Hermenegildo, "Constraintbased runtime prediction of sla violations in service orchestrations, " in ICSOC, ser. LNCS, G. Kappel et al., Eds., vol. 7084. Springer, 2011, pp. 62-76.
12. R. Aschoff and A. Zisman, "Qos-driven proactive adaptation of service composition, " in ICSOC, ser. LNCS, G. Kappel et al., Eds., vol. 7084. Springer, 2011, pp. 421-435.
13. N. Goel, N. V. N. Kumar, and R. K. Shyamasundar, "Sla monitor: A system for dynamic monitoring of adaptive web services, " in ECOWS, G. Zavattaro, U. Schreier, and C. Pautasso, Eds. IEEE, 2011, pp. 109-116.
14. R. Calinescu, L. Grunske, M. Z. Kwiatkowska, R. Mirandola, and G. Tamburrelli, "Dynamic qos management and optimization in service-based systems, " IEEE Trans. Software Eng., vol. 37, no. 3, pp. 387-409, 2011.
15. C. Bartolini, A. Bertolino, A. Ciancone, G. De Angelis, and R. Mirandola, "Non-functional analysis of service choreographies, " in Proc. of PESOS 2012. Zurich, Switzerland: IEEECS, June 2012.
16. G. Decker, O. Kopp, F. Leymann, and M. Weske, "Interacting Services: From Specification to Execution, " Data & Knowledge Engineering, vol. 68, no. 10, pp. 946 - 972, 2009. [Online]. Available: http://www.sciencedirect. com/science/article/pii/S0169023X09000457.
17. A. Bertolino, G. De Angelis, S. Kellomäki, and A. Polini, "Enhancing service federation trustworthiness through online testing, " IEEE Computer, vol. 45, no. 1, pp. 66-72, 2012.
18. B. Pollak, Ed., Ultra-Large-Scale Systems - The Software Challenge of the Future. Software Engineering Institute - Carnegie Mellon, June 2006.
19. L. Clement and A. Hately, Eds., UDDI Version 3.0.2. OASIS - UDDI Spec. Technical Committee, Oct. 2004. [Online]. Available: http://uddi.org/pubs/uddi\- v3.htm.
20. Object Management Group, "Business Process Model and Notation (BPMN) Version 2.0, " 2010.
21. S. Banerjee, S. Basu, S. Garg, S. Garg, S. Lee, P. Mullan, and P. Sharma, "Scalable grid service discovery based on uddi, " in Proceedings of the 3rd international workshop on Middleware for grid computing. ACM, 2005, pp. 1-6.
22. F. Chang, J. Dean, S. Ghemawat, W. Hsieh, D. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. Gruber, "Bigtable: A distributed storage system for structured data, " ACM Transactions on Computer Systems (TOCS), vol. 26, no. 2, p. 4, 2008.
23. Jason Cooper. (2009) How Entities and Indexes are Stored. - Accessed: October 15, 2012. [Online]. Available: https://developers.google.com/appengine/ articles/storage-breakdown.
24. S. Rhea, D. Geels, T. Roscoe, and J. Kubiatowicz, Handling churn in a DHT. Computer Science Division, University of California, 2003.
25. OSGi Alliance. (2007) OSGi Service Platform Release 4. - Accessed: May 19, 2012. [Online]. Available: http://www.osgi.org/Main/HomePage.
26. The Eclipse Foundation, "Equinox OSGi, " http://www.eclipse. org/equinox/.
27. A. Bertolino, G. De Angelis, and A. Polini, Eds., "V&V tools and infrastructure - Strategies, Architecture and Implementation. The CHOReOS Consortium, 2012, no. Del. D4.2.2.
28. P. Chatel and H. Vincent, Eds., Passenger Friendly Airport Services Choreographies Design. The CHOReOS Consortium, 2012, no. Del. D6.2.
29. A. Ben Hamida, F. Kon, G. Ansaldi Oliva, C. Moreira Dos Santos, J. Lorré, M. Autili, G. De Angelis, A. Zarras, N. Georgantas, V. Issarny, and A. Bertolino, "An integrated development and runtime environment for the future internet, " in The Future Internet - Future Internet Assembly 2012: From Promises to Reality, ser. LNCS, F. Alvarez et al., Eds., vol. 7281. Springer, 2012, pp. 81-92.
30. F. De Angelis, A. Polini, and G. De Angelis, "A counterexample testing approach for orchestrated services, " in Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. IEEE, 2010, pp. 373-.
31. O. Kopp, L. Engler, T. Lessen, F. Leymann, and J. Nitzsche, "Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus, " in Subject-Oriented Business Process Management, ser. CCIS, A. Fleischmann et al., Eds. Springer, 2011, vol. 138, pp. 36-53.
32. A. Birukou, V. D'Andrea, F. Leymann, J. Serafinski, P. Silveira, S. Strauch, and M. Tluczek, "An Integrated Solution for Runtime Compliance Governance in SOA, " in ICSOC, ser. LNCS, P. P. Maglio, M. Weske, J. Yang, and M. Fantinato, Eds., vol. 6470, 2010, pp. 122-136.
33. L. Ardissono, R. Furnari, A. Goy, G. Petrone, and M. Segnan, "PERCHE: A Public Registry for Choreographies, " System and Information Sciences Notes, vol. 1, no. 4, pp. 353-358, 2007.
34. D. Falcioni, A. Polini, A. Polzonetti, and B. Re, "Direct verification of bpmn processes through an optimized unfolding technique, " in 12th International Conference on Quality Software (QSIC), Xi'an, Shaanxi, China, 2012, pp. 179-188.
35. G. Kappel et al., Eds., ser. LNCS, vol. 7084. Springer, 2011.