Sciweavers

418 search results - page 7 / 84
» A Formal Model of Human Workflow
Sort
View
MKWI
2008
112views Business» more  MKWI 2008»
13 years 10 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
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 8 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
ICSEA
2008
IEEE
14 years 3 months ago
Model-Driven Development of Human Tasks for Workflows
In order to increase efficiency, enterprises support their business processes by information technology (IT). The majority of business processes requires human interaction. By mea...
Stefan Link, Philip Hoyer, Thomas Schuster, Sebast...
BIS
2009
146views Business» more  BIS 2009»
13 years 6 months ago
Computer Support for Agile Human-to-Human Interactions with Social Protocols
Despite many works in CSCW, groupware, workflow systems and social networks, computer support for human-to-human interactions is still insufficient, especially support for agility,...
Willy Picard
DEXA
2000
Springer
95views Database» more  DEXA 2000»
14 years 27 days ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim