The temporal perspective in business process modeling: a survey and research challenges

S Cheikhrouhou, S Kallel, N Guermouche… - … Oriented Computing and …, 2015 - Springer
One key perspective when dealing with business process management is time. All business
experts agree upon the fact that time is a key resource for processes within organisations …

Web service composition approaches: From industrial standards to formal methods

M Ter Beek, A Bucchiarone… - … Conference on Internet …, 2007 - ieeexplore.ieee.org
Composition of Web services is much studied to support business-to-business and
enterprise application integration in e-commerce. Current Web service composition …

Underwater image enhancement by attenuation inversionwith quaternions

F Petit, AS Capelle-Laizé… - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
In this paper, an underwater image enhancement method using quaternions is presented.
This work aims to improve color rendition and contrast of the objects, as if the scene has …

[PDF][PDF] Formal methods for service composition

MH Ter Beek, A Bucchiarone, S Gnesi - Annals of Mathematics, Computing …, 2007 - Citeseer
Current approaches to service composition range from industrial standards (like BPEL and
OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a …

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

N Kokash, C Krause, E De Vink - Formal Aspects of Computing, 2012 - Springer
The paradigm of service-oriented computing revolutionized the field of software engineering.
According to this paradigm, new systems are composed of existing stand-alone services to …

Representation, verification, and computation of timed properties in web

R Kazhamiakin, P Pandya… - 2006 IEEE International …, 2006 - ieeexplore.ieee.org
In this paper we address the problem of qualitative and quantitative analysis of timing
aspects of Web service compositions defined as a set of BPEL4WS processes. We introduce …

Timed model checking based approach for web services analysis

N Guermouche, C Godart - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which
enables the application integration within and across business organizations. One of the …

A simulation based decision support approach for operational capacity planning in a customer order driven assembly line

M Andersson, G Olsson - 1998 Winter Simulation Conference …, 1998 - ieeexplore.ieee.org
The paper reports on a project in the area of simulation based decision support (SBDS) at
the operational level of the manufacturing system. The purpose of the project was to explore …

Temporal conformance of federated choreographies

J Eder, A Tahamtan - Database and Expert Systems Applications: 19th …, 2008 - Springer
Web service composition is a new way for implementing business processes. In particular, a
choreography supports modeling and enactment of interorganizational business processes …

Online testing framework for web services

TD Cao, P Félix, R Castanet… - 2010 Third International …, 2010 - ieeexplore.ieee.org
Testing conceptually consists of three activities: test case generation, test case execution
and verdict assignment. Using online testing, test cases are generated and simultaneously …