Javier Fabra

Learn More
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 process can(More)
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 DENEB a well(More)
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 separating(More)
—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 net(More)
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 for a set(More)