Sciweavers

84 search results - page 3 / 17
» Model Checking of Workflow Schemas
Sort
View
ECIS
2000
13 years 6 months ago
On Specifying Contract Negotiations
Abstract eCommerce of the Business-to-Business (B2B) type requires comprehensivecontractnegotiationsdependingentirelyonacontract schema, which must be developed in advance. Contrac...
Hartmut Wedekind
MKWI
2008
112views Business» more  MKWI 2008»
13 years 6 months ago
An Environment for the Orthographic Modeling of Workflow Components
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
Colin Atkinson, Dietmar Stoll
SOCA
2007
IEEE
13 years 11 months ago
A Model Checking Approach to Verify BPEL4WS Workflows
Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
PODS
2006
ACM
118views Database» more  PODS 2006»
14 years 5 months ago
Analyzing workflows implied by instance-dependent access rules
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
Toon Calders, Stijn Dekeyser, Jan Hidders, Jan Par...
BPM
2004
Springer
148views Business» more  BPM 2004»
13 years 9 months ago
Interactive Workflow Mining
Many information systems log event data about executed tasks. Workflow mining is concerned with the derivation of a graphical workflow model out of this data. Experience from appl...
Markus Hammori, Joachim Herbst, Niko Kleiner