Javier Fabra

University of Zaragoza | UNIZAR · Department of Computing and Systems Engineering

In this work, we present a complete system to produce an automatic linguistic reporting about the customer activity patterns inside open malls, a mixed distribution of classical malls joined with the shops on the street. These reports can assist to design marketing campaigns by means of identifying the best places to catch the attention of customer...

In this work we present a method to estimate the activity patterns made by shoppers in open malls based on localization information and process mining techniques. We present our smart phone application for logging information from sensors and a process mining system to discover what kind of activity pattern is made by the shoppers based in the key...

Improvements to customer experience give companies a competitive advantage, as understanding customers' behaviors allows e-commerce companies to enhance their marketing strategies by means of recommendation techniques and the customization of products and services. This is not a simple task, and it becomes more difficult when working with anonymous...

The increasing demand of computing resources has boosted the use of cloud computing providers. This has raised a new dimension in which the connections between resource usage and costs have to be considered from an organizational perspective. As a part of its EC2 service, Amazon introduced spot instances (SI) as a cheap public infrastructure, but a...

The recent development in scientific computing related areas has shown an increasing interest in scientific workflows because of their abilities to solve complex challenges. Problems and challenges that were too heavy or time-consuming can be solved now in a more efficient manner. Scientific workflows have been progressively improved by means of th...

The decision of migrating a service to a cloud-based system must take into consideration many different aspects. Among them, economical costs is one of the most important. This paper describes how a computing-intensive service, based on a bag-of-tasks approach, has been migrated from a grid infrastructure to the Amazon Elastic Compute Cloud (EC2) i...

The increasing demand of computing resources has boosted the use of cloud computing providers. This has raised a new dimension in which the connection between resource usage and costs has to be considered from an organizational perspective. As a part of its EC2 service, Amazon introduced spot instances (SIs) as a cheap public infrastructure, but at...

Online shopping is becoming more and more common in our daily lives. Understanding users’ interests and behaviour is essential in order to adapt e-commerce websites to customers’ requirements. The information about users’ behaviour is stored in the web server logs. The analysis of such information has focused on applying data mining techniques wher...

The economic cost is a decisive factor that influences the migration of an application to a cloud infrastructure. Once the migration has been decided, the cost of cloud resources that will be hired to run the application must be minimized considering the application and user constraints. In this paper, we propose a method to determine the cheapest...

Formal verification plays a crucial role when dealing with correctness of systems. In a previous work, the authors proposed a class of models, the Unary Resource Description Framework Petri Nets (U-RDF-PN), which integrated Petri nets and (RDF-based) semantic information. The work also proposed a model checking approach for the analysis of system b...

The Universia repository is composed of more than 15 million of educational resources. The lack of metadata describing these resources complicates their classification, search and recovery. To overcome this drawback, it was decided to semantically annotate the available educational resources using the ADEGA algorithm. For this objective, we selecte...

When heterogeneous computing resources are integrated to create more powerful execution environments, new scheduling strategies are necessary to allocate work units to available resources. In this paper we apply simulation results to schedule the execution of scientific workflows in a resource integration platform. A simulator built upon Alea and G...

The business goals of an enterprise process are traced to business process models with the aim of being carried out during the execution stage. The automatic translation from these models to fully executable code that can be simulated and round-trip engineered is still an open challenge in the Business Process Management field. Model-driven Enginee...

Cloud has emerged as an alternative to clusters and grids. Its adoption as an execution environment capable of supporting the high requirements of scientific computations is still an open question. In a previous work, the authors conducted successfully a practical experience of taking advantage of clusters and grids to solve a semantic annotation p...

Cloud computing infrastructures are becoming a very powerful mean for the implementation of reliable and extensible computing systems. In this paper, we evaluate the viability of migrating a framework for the execution of (scientific) workflows from a cluster-based to a cloud-supported implementation. As a first step, we focus on the viability of a...

From a computational point of view, the semantic annotation of large-scale data collections is an extremely expensive task. One possible way of dealing with this drawback is to distribute the execution of the annotation algorithm in several computing environments. In this paper, we show how the problem of semantically annotating a large-scale colle...

In the last years, many institutions have provided themselves with cluster and Grid infrastructures either for intensive computation or research objectives. Each infrastructure having its own and different management operating software, the integration of different platforms becomes a hard and complicated task. Solving the interoperability problem...

Semantic business processes require new analysis techniques able to deal with behavioral properties that also consider semantic aspects. In this paper, a model checking method is introduced including semantic aspects in both the model description and the formula to be verified. In addition, Unary resource description framework (RDF) annotated Petri...

The business goals of an enterprise process are traced to business process models with the aim of being carried out during the execution stage. The automatic translation from these models to fully executable code which can be simulated and round-trip engineered is still an open challenge in the Business Process Management field. Model-driven Engine...

Service-oriented computing provides a suitable technological foundation for developing and executing dynamic business processes. However, most current approaches for composition languages and architectures for dynamic process integration do not provide the flexibility and dynamism required by interorganisational evolving environments. In this work,...

The Security-by-Contract (S×C) framework has recently been proposed to support software evolution in open multi-application smart cards. The key idea lies in the notion of contract, a specification of the security behavior of an application that must be compliant with the security policy of the card hosting the application. In this paper we address...

The use of the Service-Oriented Architecture paradigm (SOA) as an architectural model together with the use of Web services technologies have spread out widely in the world of business processes. The Business Execution Language, BPEL, represents one of the most common orchestration languages used to build SOA compositions. Using BPEL, a business pr...

The Security-by-Contract (S×C) framework has recently been proposed to support applications' evolution in multi-application smart cards. The key idea is based on the notion of contract, a specification of the security behavior of an application that must be compliant with the security policy of a smart card. In this paper we address one of the key...

Dynamic and flexible service composition and interactionare a must in service oriented computing (SOC) scenarios. In this paper the authors present an extension to a previous work, the DENEB platform for the development and execution of Web processes, allowing Web processes to acquire and execute new interaction protocols at runtime. This makes DEN...

The activities developed by a company (business processes) have to change frequently to adapt to the environment. The implementation of business processes should support these changes without any receding. In this work, we provide with an approach for modelling and executing agile and adaptable business processes. Our approach is based on UML2 sepa...

As the requirements for e-business activities have become more complex, the need for adaptable e-marketplaces has increased in the last years. Not only must configurable e-marketplaces support the exchange of heterogeneous information among trading processes, but also the execution of different e-negotiation protocols over the same instance. It is...

Recently, coordinationmiddleware systemshave evolved in order to describe coordination protocols in business process scenarios. This evolution proposes the use of three main components, being one of them a message broker to handle collaborative interactions among business processes. In a previous work, we proposed a framework for coordination in op...

The core functionality of Web-service middlewares tries to wrap existing business logics and make them accessible as Web services. Recently, well-known standardization initiatives have proposed some high-level declarative languages for the description of coordination protocols and the implementation of coordination middlewares. In parallel to these...

A new generation of open Business Process Management (BPM) systems based on the service-oriented architecture and Web service technologies has recently emerged. The general tendency for these systems should be governed by the integration of independent Web-service specifications. Web services requirements guide the description, execution and choreo...