Timed compatibility analysis of web service composition: A modular approach based on Petri nets
Recently, the temporal constraint satisfiability is regarded as an important criterion in Web
service composition to guarantee its timely completion. This leads to a new challenge in …
service composition to guarantee its timely completion. This leads to a new challenge in …
Automatic translation of ws-cdl choreographies to timed automata
In this paper we show how we can translate Web Services described by WS-CDL into a
timed automata orchestration, and more specifically we are interested in Web services with …
timed automata orchestration, and more specifically we are interested in Web services with …
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 …
Validation and verification of web services choreographies by using timed automata
We present an approach for the validation and verification of Web services choreographies,
and more specifically, for those composite Web services systems with timing restrictions. We …
and more specifically, for those composite Web services systems with timing restrictions. We …
Compression of gray-scale fingerprint images
T Hopper - Wavelet Applications, 1994 - spiedigitallibrary.org
The FBI has developed a specification for the compression of gray-scale fingerprint images
to support paperless identification services within the criminal justice community. The …
to support paperless identification services within the criminal justice community. The …
Resource-misuse attack detection in delay-tolerant networks
V Natarajan, Y Yang, S Zhu - 30th IEEE International …, 2011 - ieeexplore.ieee.org
In a Delay-Tolerant Network (DTN), data originating from a source node may be delivered to
the destination node, despite the non-existence of end-to-end connectivity between them at …
the destination node, despite the non-existence of end-to-end connectivity between them at …
Computer simulation: an important tool in the fast-food industry
AK Kharwat - 1991 Winter Simulation Conference Proceedings., 1991 - computer.org
Abstract Service-Oriented Computing (SOC) was introduced some years ago as a paradigm
that allows companies to expose their core competencies as services. Yet, we can only …
that allows companies to expose their core competencies as services. Yet, we can only …
Modeling time, probability, and configuration constraints for continuous cloud service certification
Cloud computing proposes a paradigm shift where resources and services are allocated,
provisioned, and accessed at runtime and on demand. New business opportunities emerge …
provisioned, and accessed at runtime and on demand. New business opportunities emerge …
Timed specification for web services compatibility analysis
N Guermouche, O Perrin, C Ringeissen - Electronic Notes in Theoretical …, 2008 - Elsevier
Web services are becoming one of the main technologies for designing and building
complex inter-enterprise business applications. Usually, a business application cannot be …
complex inter-enterprise business applications. Usually, a business application cannot be …
Automatic generation of correct web services choreographies and orchestrations with model checking techniques
G Diaz, ME Cambronero, JJ Pardo… - Advanced Int'l …, 2006 - ieeexplore.ieee.org
In previous work we have presented the generation of WS-CDL and WS-BPEL documents.
In this paper we show the unification of both generations. The aim is to generate correct WS …
In this paper we show the unification of both generations. The aim is to generate correct WS …