Agreement technologies and their use in cloud computing environments

The final publication is available at Springer via http://dx.doi.org/10.1007/s13748-012-0031-9[EN] Nowadays, cloud computing is revolutionizing the services provided through the Internet to adapt itself in order to keep the quality of its services. Recent research foresees the advent of a new discipline of agent-based cloud computing systems that can make decisions about adaption in an uncertain environment. This paper discusses the role of argumentation in the next generation of agreement technologies and its use in cloud computing environments.This work is supported by the Spanish government (MICINN), project reference: TIN2012-36586-C03-01.Heras Barberá, SM.; De La Piedra, F.; Julian Inglada, VJ.; Rodríguez, S.; Botti Navarro, VJ.; Bajo, J.; Corchado, JM. (2012). Agreement technologies and their use in cloud computing environments. Progress in Artificial Intelligence. 1(4):277-290. https://doi.org/10.1007/s13748-012-0031-9S27729014European Comission: The Future of Cloud Computing. Technical report (2010)Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: SOSP03 Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, pp. 164–177. ACM, New York (2003)Wang, L., et. al.: Scientific cloud computing: early definition and experience. In: 10th IEEE International Conference on High Performance Computing and Communications (HPCC-08), pp. 825–830. IEEE Press (2008)Talia, D.: Clouds meet agents: toward intelligent cloud services. Internet Comput. IEEE 16(2), 78–81 (2012). doi: 10.1109/MIC.2012.28Heras, S.: Case-Based Argumentation Framework for Agent Societies. PhD thesis, Universitat Politècnica de València. http://hdl.handle.net/10251/12497 (2011)Ashton, K.: That ‘internet of things’ thing. RFID J. (2009). http://www.rfidjournal.com/article/view/4986Klusch, M.: Information agent technology for the Internet: a Survey. Data Knowl. Eng. 36, 337–372 (2001)Schaffer, H.E.: X as a Service. Cloud Computing, and the Need for Good Judgment IT Professional 11(5), 4–5 (2009). doi: 10.1109/MITP.2009.112Richardson, L., Ruby, S.: RESTful Web Services, Web services for the real world O’Reilly, Media, May, p. 454 (2007)GlusterFS Developers. The Gluster web site. http://www.gluster.org (2012)Chodorow, K., Dirolf, M.: The Definitive Guide. O’Reilly Media, MongoDB (2010)Fuentes-Fernandez, R., Hassan, S., Pavon, J., Galan, J.M., Lopez-Paredes, A.: Metamodels for role-driven agent-based modelling. Comput. Math. Organ. Theory 18(1), 91–112 (2012)Jordán, J., et al.: A customer support application using argumentation in multi-agent systems. In: 14th International Conference on, Information Fusion, pp. 772–778 (2011)Heras, S., Jordán, J., Botti, V., Julián, V.: Argue to agree: a case-based argumentation approach. Int. J. Approx. Reasoning (2012, in press)Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press, Cambridge (2008)Bench-Capon, T., Sartor, G.: A model of legal reasoning with cases incorporating theories and values. Artif. Intell. 150(1–2), 97–143 (2003)Dignum, F., Weigand, H.: Communication and deontic logic. In: Information Systems Correctness and Reusability, pp. 242–260. World Scientific, Singapore (1995)Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)Lopez-Rodriguez, I., Hernandez-Tejera, M.: Software agents as cloud computing services. In: 9th International Conference on Practical Applications of Agents and Multiagent Systems. Advances in Intelligent and Soft Computing, vol. 88, pp. 271–276. Springer, Berlin (2011)Sim, K.M.: Towards complex negotiation for cloud economy. In: 5th International Conference on Advances in Grid and Pervasive Computing. LNCS, vol. 6104, pp. 395–406. Springer, Berlin (2010)Aversa, R., et al.: Cloud agency: a mobile agent based cloud system. In: International Conference on Complex, Intelligent and Software Intensive Systems, pp. 132–137. IEEE Computer Society Press, Washington, DC (2010)Cao, B., et al.: A service-oriented qos-assured and multi-agent cloud computing architecture. In: 1st International Conference on Cloud Computing. LNCS, vol. 5931, pp. 644–649. Springer, Berlin (2009)Rahwan, I., Simari, G. (eds.): Argumentation in Artificial Intelligence. Springer, Berlin (2009

Modeling and analyzing variability for mobile information systems

Abstract. Advances in size, power, and ubiquity of computing, sensors, and communication technology made possible the development of mobile or nomadic information systems. Variability of location and system behavior is a central issue in mobile information systems, where behavior of software has to change and re-adapt to the different location settings. This paper concerns modeling and analysis of the complementary relation between software and location variability. We use graphical and formal location modeling techniques, show how to elicit and use location model in conjunction with Tropos goal-oriented framework, and introduce automated analysis on the location-based models.

DEPAS: A Decentralized Probabilistic Algorithm for Auto-Scaling

The dynamic provisioning of virtualized resources offered by cloud computing infrastructures allows applications deployed in a cloud environment to automatically increase and decrease the amount of used resources. This capability is called auto-scaling and its main purpose is to automatically adjust the scale of the system that is running the application to satisfy the varying workload with minimum resource utilization. The need for auto-scaling is particularly important during workload peaks, in which applications may need to scale up to extremely large-scale systems. Both the research community and the main cloud providers have already developed auto-scaling solutions. However, most research solutions are centralized and not suitable for managing large-scale systems, moreover cloud providers' solutions are bound to the limitations of a specific provider in terms of resource prices, availability, reliability, and connectivity. In this paper we propose DEPAS, a decentralized probabilistic auto-scaling algorithm integrated into a P2P architecture that is cloud provider independent, thus allowing the auto-scaling of services over multiple cloud infrastructures at the same time. Our simulations, which are based on real service traces, show that our approach is capable of: (i) keeping the overall utilization of all the instantiated cloud resources in a target range, (ii) maintaining service response times close to the ones obtained using optimal centralized auto-scaling approaches.Comment: Submitted to Springer Computin

Using Probability to Reason about Soft Deadlines

Soft deadlines are significant in systems in which a bound on the response time is important, but the failure to meet the response time is not a disaster. Soft deadlines occur, for example, in telephony and switching networks. We investigate how to put probabilistic bounds on the time-complexity of a concurrent logic program by combining (on-line) profiling with an (off-line) probabilistic complexity analysis. The profiling collects information on the likelihood of case selection and the analysis uses this information to infer the probability of an agent terminating within k steps. Although the approach does not reason about synchronization, we believe that its simplicity and good (essentially quadratic) complexity mean that it is a promising first step in reasoning about soft deadlines

Intelligent Association Exploration and Exploitation of Fuzzy Agents in Ambient Intelligent Environments

This paper presents a novel fuzzy-based intelligent architecture that aims to find relevant and important associations between embedded-agent based services that form Ambient Intelligent Environments (AIEs). The embedded agents are used in two ways; first they monitor the inhabitants of the AIE, learning their behaviours in an online, non-intrusive and life-long fashion with the aim of pre-emptively setting the environment to the users preferred state. Secondly, they evaluate the relevance and significance of the associations to various services with the aim of eliminating redundant associations in order to minimize the agent computational latency within the AIE. The embedded agents employ fuzzy-logic due to its robustness to the uncertainties, noise and imprecision encountered in AIEs. We describe unique real world experiments that were conducted in the Essex intelligent Dormitory (iDorm) to evaluate and validate the significance of the proposed architecture and methods

Search based software engineering: Trends, techniques and applications

© ACM, 2012. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version is available from the link below.In the past five years there has been a dramatic increase in work on Search-Based Software Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based Optimization (SBO) algorithms are used to address problems in SE. SBSE has been applied to problems throughout the SE lifecycle, from requirements and project planning to maintenance and reengineering. The approach is attractive because it offers a suite of adaptive automated and semiautomated solutions in situations typified by large complex problem spaces with multiple competing and conflicting objectives. This article provides a review and classification of literature on SBSE. The work identifies research trends and relationships between the techniques applied and the applications to which they have been applied and highlights gaps in the literature and avenues for further research.EPSRC and E

A model for providing emotion awareness and feedback using fuzzy logic in online learning

Monitoring users’ emotive states and using that information for providing feedback and scaffolding is crucial. In the learning context, emotions can be used to increase students’ attention as well as to improve memory and reasoning. In this context, tutors should be prepared to create affective learning situations and encourage collaborative knowledge construction as well as identify those students’ feelings which hinder learning process. In this paper, we propose a novel approach to label affective behavior in educational discourse based on fuzzy logic, which enables a human or virtual tutor to capture students’ emotions, make students aware of their own emotions, assess these emotions and provide appropriate affective feedback. To that end, we propose a fuzzy classifier that provides a priori qualitative assessment and fuzzy qualifiers bound to the amounts such as few, regular and many assigned by an affective dictionary to every word. The advantage of the statistical approach is to reduce the classical pollution problem of training and analyzing the scenario using the same dataset. Our approach has been tested in a real online learning environment and proved to have a very positive influence on students’ learning performance.Peer ReviewedPostprint (author's final draft