Enabling Personalized Composition and Adaptive Provisioning of Web Services

The proliferation of interconnected computing devices is fostering the emergence of environments where Web services made available to mobile users are a commodity. Unfortunately, inherent limitations of mobile devices still hinder the seamless access to Web services, and their use in supporting complex user activities. In this paper, we describe the design and implementation of a distributed, adaptive, and context-aware framework for personalized service composition and provisioning adapted to mobile users. Users specify their preferences by annotating existing process templates, leading to personalized service-based processes. To cater for the possibility of low bandwidth communication channels and frequent disconnections, an execution model is proposed whereby the responsibility of orchestrating personalized processes is spread across the participating services and user agents. In addition, the execution model is adaptive in the sense that the runtime environment is able to detect exceptions and react to them according to a set of rules

Actors and factors - bridging social science findings and urban land use change modeling

Recent uneven land use dynamics in urban areas resulting from demographic change, economic pressure and the cities’ mutual competition in a globalising world challenge both scientists and practitioners, among them social scientists, modellers and spatial planners. Processes of growth and decline specifically affect the urban environment, the requirements of the residents on social and natural resources. Social and environmental research is interested in a better understanding and ways of explaining the interactions between society and landscape in urban areas. And it is also needed for making life in cities attractive, secure and affordable within or despite of uneven dynamics.\ud The position paper upon “Actors and factors – bridging social science findings and urban land use change modeling” presents approaches and ideas on how social science findings on the interaction of the social system (actors) and the land use (factors) are taken up and formalised using modelling and gaming techniques. It should be understood as a first sketch compiling major challenges and proposing exemplary solutions in the field of interest

Modeling framework for comparing taxi operational modes: case study in Barcelona

This paper presents an aggregated mathematical model for the estimation of key performance indicators of the taxi market based on the system’s generalized cost function, which is calculated using the expected statistical values of customers’ trip distance, waiting/access time and the cost of the involved actors, including externalities, who are the taxi drivers, the taxi customers and the city represented by the rest of the drivers and the citizens. Optimum values for the taxi supply are obtained from mathematical formulations depending on the demand level and the size of the city. The model is developed for stand, hailing and dispatching taxi markets and the results are compared, presenting conclusions for the best type of market for each demand level and city size. The model is applied in the city of Barcelona, presenting useful conclusions on the performance indicators of the taxi services and the impact of the applied policies as well as the optimum number of taxis for each operational mode, ranging between 30 and 40 vehicles per hour and km2.Peer ReviewedPostprint (published version

Evoplex: A platform for agent-based modeling on networks

Agent-based modeling and network science have been used extensively to advance our understanding of emergent collective behavior in systems that are composed of a large number of simple interacting individuals or agents. With the increasing availability of high computational power in affordable personal computers, dedicated efforts to develop multi-threaded, scalable and easy-to-use software for agent-based simulations are needed more than ever. Evoplex meets this need by providing a fast, robust and extensible platform for developing agent-based models and multi-agent systems on networks. Each agent is represented as a node and interacts with its neighbors, as defined by the network structure. Evoplex is ideal for modeling complex systems, for example in evolutionary game theory and computational social science. In Evoplex, the models are not coupled to the execution parameters or the visualization tools, and there is a user-friendly graphical interface which makes it easy for all users, ranging from newcomers to experienced, to create, analyze, replicate and reproduce the experiments.Comment: 6 pages, 5 figures; accepted for publication in SoftwareX [software available at https://evoplex.org

Thirty Years of Machine Learning: The Road to Pareto-Optimal Wireless Networks

Future wireless networks have a substantial potential in terms of supporting a broad range of complex compelling applications both in military and civilian fields, where the users are able to enjoy high-rate, low-latency, low-cost and reliable information services. Achieving this ambitious goal requires new radio techniques for adaptive learning and intelligent decision making because of the complex heterogeneous nature of the network structures and wireless services. Machine learning (ML) algorithms have great success in supporting big data analytics, efficient parameter estimation and interactive decision making. Hence, in this article, we review the thirty-year history of ML by elaborating on supervised learning, unsupervised learning, reinforcement learning and deep learning. Furthermore, we investigate their employment in the compelling applications of wireless networks, including heterogeneous networks (HetNets), cognitive radios (CR), Internet of things (IoT), machine to machine networks (M2M), and so on. This article aims for assisting the readers in clarifying the motivation and methodology of the various ML algorithms, so as to invoke them for hitherto unexplored services as well as scenarios of future wireless networks.Comment: 46 pages, 22 fig

BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems

In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to model spatial behavior in a component oriented, simple and intuitive way, the possibility to automatically analyse and verify systems and integration possibilities with other modeling and verification tools. We present examples and the verification steps necessary to prove properties such as range coverage or the absence of collisions between components and technical details

A Taxonomy of Workflow Management Systems for Grid Computing

With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute scientific experiments on distributed resources. Such application scenarios require means for composing and executing complex workflows. Therefore, many efforts have been made towards the development of workflow management systems for Grid computing. In this paper, we propose a taxonomy that characterizes and classifies various approaches for building and executing workflows on Grids. We also survey several representative Grid workflow systems developed by various projects world-wide to demonstrate the comprehensiveness of the taxonomy. The taxonomy not only highlights the design and engineering similarities and differences of state-of-the-art in Grid workflow systems, but also identifies the areas that need further research.Comment: 29 pages, 15 figure