Results 41 to 50 of about 464,671 (149)
A Clustering Method for Isomorphic Evolution of Web Services
Scientific Programming, Volume 2017, Issue 1, 2017., 2017 Since the basic binding unit of current service request and response schema is an atomic Web service, it needs to costly find a substitute service or reconstruct the service process in the original service space once a fine granular evolution requirement occurs.
Qiang Hu +3 more
wiley +1 more source
Distributed Secure Service Composition with Declassification in Mobile Clouds
Mobile Information Systems, Volume 2017, Issue 1, 2017., 2017 The regional and dynamic characteristics of mobile clouds pose a great challenge on information flow security during service composition. Although secure verification approaches based on standard noninterference provide a solid assurance on information flow security of composite service, too strict constraints on service components may cause the ...
Ning Xi +5 more
wiley +1 more source
Authorization and User Failure Resiliency for WS-BPEL Business Processes [PDF]
, 2008 We investigate the problem of WS-BPEL processes resiliency in RBAC-WS-BPEL, an authorization model for WS-BPEL that supports the specification of authorizations for the execution of WS-BPEL process activities by roles and users and authorization ...
Paci, Federica +7 more
core +1 more source
Context constraint integration and validation in dynamic web service compositions [PDF]
, 2010 System architectures that cross organisational boundaries are usually implemented based on Web service technologies due to their inherent interoperability benets.
Yapa Bandara, Kosala +2 more
core +2 more sources
A pi-calculus based semantics for WS-BPEL
The Journal of Logic and Algebraic Programming, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Roberto Lucchi, Manuel Mazzara
openaire +2 more sources
Non-intrusive monitoring and service adaptation for WS-BPEL [PDF]
Proceedings of the 17th international conference on World Wide Web, 2008 Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety of reasons. In this paper we present VieDAME, a system which allows monitoring of BPEL processes according to Quality of Service (QoS) attributes and replacement of existing ...
Oliver Moser +2 more
openaire +2 more sources
Journal of Information and Organizational Sciences, 2011 BPMN and BPEL have become de facto standards for modeling of business processes and imple-mentation of business processes via Web services. There is a quintessential problem of discrep-ancy between these two approaches as they are applied in different ...
Marko Jurišić
doaj
The Investigation of TLC Model Checker Properties
Journal of Information and Organizational Sciences, 2016 This paper presents the investigation and comparison of TLC model checking method (TLA Checker) properties. There are two different approaches to method usage which are considered.
Vadym Viktorovych Shkarupylo +2 more
doaj
Towards Dynamic Monitoring of WS-BPEL Processes
, 2005 The intrinsic flexibility and dynamism of service-centric applications preclude their pre-release validation and demand for suitable probes to monitor their behavior at run-time. Probes must be suitably activated and deactivated according to the context in which the application is executed, but also according to the confidence we get on its quality ...
BARESI, LUCIANO +1 more
openaire +4 more sources
Implementing Workflow Reconfiguration in WS-BPEL
This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in ...
Zhou M, Mazzara M, Dragoni N
core +5 more sources