Automated maintenance of service compositions with SLA violation detection and dynamic binding

Web service compositions need to adapt to changes in their constituent web services, in order to maintain functionality and performance. Therefore, service compositions must be able to detect web service failure and performance degradation resulting in the violation of service-level agreements. Automated diagnosis and repair are equally important. However, existing standards and languages for service compositions, such as BPEL, lack constructs for web service monitoring and runtime adaptability, which are pre-requisites for diagnosis and repair. We present a solution for transparent runtime monitoring, as well as automated performance degradation detection, diagnosis, and repair for service compositions expressed as BPEL processes. Our solution uses lightweight monitoring techniques, supports customizable diagnosis and repair strategies, and is compatible with any standards-compliant BPEL engin

Multi-level Autonomic Business Process Management

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38484-4_14Nowadays, business processes are becoming increasingly complex and heterogeneous. Autonomic Computing principles can reduce this complexity by autonomously managing the software systems and the running processes, their states and evolution. Business Processes that are able to be self-managed are referred to as Autonomic Business Processes (ABP). However, a key challenge is to keep the models of such ABP understandable and expressive in increasingly complex scenarios. This paper discusses the design aspects of an autonomic business process management system able to self-manage processes based on operational adaptation. The goal is to minimize human intervention during the process definition and execution phases. This novel approach, named MABUP, provides four well-defined levels of abstraction to express business and operational knowledge and to guide the management activity; namely, Organizational Level, Technological Level, Operational Level and Service Level. A real example is used to illustrate our proposal.Research supported by CAPES, CNPQ and Spanish Ministry of Science and Innovation.Oliveira, K.; Castro, J.; España Cubillo, S.; Pastor López, O. (2013). Multi-level Autonomic Business Process Management. En Enterprise, Business-Process and Information Systems Modeling. Springer. 184-198. doi:10.1007/978-3-642-38484-4_14S184198España, S., González, A., Pastor, Ó.: Communication Analysis: A Requirements Engineering Method for Information Systems. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 530–545. Springer, Heidelberg (2009)Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Systems Journal 42(1), 5–18 (2003)Gonzalez, A., et al.: Unity criteria for Business Process Modelling. In: Third International Conference on Research Challenges in Information Science, RCIS 2009, pp. 155–164 (2009)Greenwood, D., Rimassa, G.: Autonomic Goal-Oriented Business Process Management. Management, 43 (2007)Haupt, T., et al.: Autonomic execution of computational workflows. In: 2011 Federated Conference on Computer Science and Information Systems, FedCSIS, pp. 965–972 (2011)Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE (2003)Lee, K., et al.: Workflow adaptation as an autonomic computing problem. In: Proceedings of the 2nd Workshop on Workflows in Support of Large-Scale Science, New York, NY, USA, pp. 29–34 (2007)Mosincat, A., Binder, W.: Transparent Runtime Adaptability for BPEL Processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 241–255. Springer, Heidelberg (2008)Oliveira, K., et al.: Towards Autonomic Business Process Models. In: International Conference on Software Engineering and Knowledge, SEKE 2012, San Francisco, California, USA (2012)Rahman, M., et al.: A taxonomy and survey on autonomic management of applications in grid computing environments. Concurr. Comput.: Pract. Exper. 23(16), 1990–2019 (2011)Reijers, H.A., Mendling, J.: Modularity in process models: Review and effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 20–35. Springer, Heidelberg (2008)Rodrigues Nt., J.A., Monteiro Jr., P.C.L., de O. Sampaio, J., de Souza, J.M., Zimbrão, G.: Autonomic Business Processes Scalable Architecture. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 78–83. Springer, Heidelberg (2008)Strohmaier, M., Yu, E.: Towards autonomic workflow management systems. ACM Press (2006)Terres, L.D., et al.: Selection of Business Process for Autonomic Automation. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference, pp. 237–246 (October 2010)Tretola, G., Zimeo, E.: Autonomic internet-scale workflows. In: Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond, New York, NY, USA, pp. 48–56 (2010)Vedam, H., Venkatasubramanian, V.: A wavelet theory-based adaptive trend analysis system for process monitoring and diagnosis. In: Proceedings of the 1997 American Control Conference, vol. 1, pp. 309–313 (June 1997)Wang, Y., Mylopoulos, J.: Self-Repair through Reconfiguration: A Requirements Engineering Approach. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 257–268 (November 2009)Yu, T., Lin, K.: Adaptive algorithms for finding replacement services in autonomic distributed business processes. In: Proceedings Autonomous Decentralized Systems, ISADS 2005, pp. 427–434 (2005

A remark on global well-posedness of the derivative nonlinear Schrödinger equation on the circle

In this note, we consider the derivative nonlinear Schr\"odinger equation on the circle. In particular, by adapting Wu's recent argument to the periodic setting, we prove its global well-posedness in $H^1(\mathbb T)$, provided that the mass is less than $4\pi$. Moreover, this mass threshold is independent of spatial periods.Comment: 6 pages. Minor modifications. To appear in C. R. Math. Acad. Sci. Pari

Achieving autonomic Web service compositions with models at runtime

[EN] Several exceptional situations may arise in the complex, heterogeneous, and changing contexts where Web service operations run. For instance, a Web service operation may have greatly increased its execution time or may have become unavailable. The contribution of this article is to provide a tool-supported framework to guide autonomic adjustments of context-aware service compositions using models at runtime. During execution, when problematic events arise in the context, models are used by an autonomic architecture to guide changes of the service composition. Under the closed-world assumption, the possible context events are fully known at design time. Nevertheless, it is difficult to foresee all the possible situations arising in uncertain contexts where service compositions run. Therefore, the proposed framework also covers the dynamic evolution of service compositions to deal with unexpected events in the open world. An evaluation demonstrates that our framework is efficient during dynamic adjustments.Alférez-Salinas, GH.; Pelechano Ferragud, V. (2017). Achieving autonomic Web service compositions with models at runtime. Computers & Electrical Engineering. 63:332-352. doi:10.1016/j.compeleceng.2017.08.004S3323526