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)
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 a key(More)