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 …
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 …
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 …
This work aims to improve color rendition and contrast of the objects, as if the scene has …
[PDF][PDF] Formal methods for service composition
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 …
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
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 …
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 …
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 …
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 …
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 …
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 …
and verdict assignment. Using online testing, test cases are generated and simultaneously …