Sciweavers

1153 search results - page 52 / 231
» Modeling Business Processes in Web Applications with ArgoUWE
Sort
View
CASCON
2010
225views Education» more  CASCON 2010»
15 years 2 months ago
Monitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 25 days ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
WSFM
2007
Springer
16 years 8 days ago
Controlling Petri Net Process Models
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
Jörg Desel
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
15 years 6 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
EMISA
2004
Springer
15 years 11 months ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam