Probabilistic qos and soft contracts for transaction-based web services orchestrations
S Rosario, A Benveniste, S Haar… - IEEE Transactions on …, 2008 - ieeexplore.ieee.org
Service level agreements (SLAs), or contracts, have an important role in web services. They
define the obligations and rights between the provider of a web service and its client, about …
define the obligations and rights between the provider of a web service and its client, about …
Operating guidelines for finite-state services
We study services modeled as open workflow nets (oWFN) and describe their behavior as
service automata. Based on arbitrary finite-state service automata, we introduce the concept …
service automata. Based on arbitrary finite-state service automata, we introduce the concept …
[PDF][PDF] Models and Verification of BPEL
F Van Breugel, M Koshkina - 2006 - Citeseer
The Web Services Business Process Execution Language (BPEL for short) is a recently
developed language that is used to specify compositions of web services. In the last few …
developed language that is used to specify compositions of web services. In the last few …
Symbolic model checking composite web services using operational and control behaviors
This paper addresses the issue of verifying if composite Web services design meets some
desirable properties in terms of deadlock freedom, safety (something bad never happens) …
desirable properties in terms of deadlock freedom, safety (something bad never happens) …
A survey of formal business process verificationfrom soundness to variability
Formal verification of business process models is of interest to a number of application
areas, including checking for basic process correctness, business compliance, and process …
areas, including checking for basic process correctness, business compliance, and process …
Specifying and validating data-aware temporal web service properties
Most works that extend workflow validation beyond syntactical checking consider constraints
on the sequence of messages exchanged between services. These constraints are …
on the sequence of messages exchanged between services. These constraints are …
Verification of business process entailment constraints using SPIN
C Wolter, P Miseldine, C Meinel - … 2009, Leuven, Belgium, February 4-6 …, 2009 - Springer
The verification of access controls is essential for providing secure systems. Model checking
is an automated technique used for verifying finite state machines. The properties to be …
is an automated technique used for verifying finite state machines. The properties to be …
An approach to capture authorisation requirements in business processes
C Wolter, C Meinel - Requirements engineering, 2010 - Springer
Business process modelling focuses on the modelling of functional behaviour. In this article,
we propose an extension for the business process modelling notation to express non …
we propose an extension for the business process modelling notation to express non …
Embedded operating system energy analysis and macro-modeling
A large and increasing number of modern embedded systems are subject to tight
power/energy constraints. It has been demonstrated that the operating system (OS) can …
power/energy constraints. It has been demonstrated that the operating system (OS) can …
An abstract machine architecture for web service based business process management
R Farahbod, U Glasser… - International Journal of …, 2006 - inderscienceonline.com
We define an abstract operational model of the Business Process Execution Language for
Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we …
Web Service (BPEL4WS) based on the Abstract State Machine (ASM) formalism. That is, we …