No abstract

This paper presents a novel approach for the engineering of capacity-driven Web services. By capacity, we mean how a Web service is empowered with several sets of operations from which it selectively triggers a set of operations with respect to some run-time environmental requirements. Because of the specificities of capacity-driven Web services compared to regular (i.e., mono-capacity) Web services, their engineering in terms of design, development, and deployment needs to be conducted in a complete specific way. Our approach define an engineering process composed of five steps: (1) to frame the requirements that could be put on these Web services, (2) to define capacities and how these capacities are triggered, and last but not least link these capacities to requirements, (3) to identify the processes in term of business logic that these Web services could implement, (4) to generate the source code, and (5) to generate the C apacity-driven Web Services Description Language (C-WSDL).

This paper deals with the integration of temporal constraints within the context of Inter-Organizational Workflows (IOWs). Obviously, expressing and satisfying time deadlines is important for modern business processes, and need to be optimized for efficiency and extreme competitiveness. In this paper, we propose a temporal extension to CoopFlow (Tata et al., 2008), an existing approach for designing and modeling IOWs, based on Time Petri Net models and tools. Methods are given, based on reachability analysis and model checking techniques, for verifying whether or not the added temporal requirements are satisfied, while maintaining the core advantage of CoopFlow; i.e. that each partner can keep the critical parts of its business process private.