Sciweavers

1360 search results - page 65 / 272
» Reasoning on Workflow Executions
Sort
View
128
Voted
ENTCS
2006
148views more  ENTCS 2006»
15 years 3 months ago
Towards the Semantics and Verification of BPEL4WS
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...
134
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Experience in using a process language to define scientific workflow and generate dataset provenance
This paper describes our experiences in exploring the applicability of software engineering approaches to scientific data management problems. Specifically, this paper describes h...
Leon J. Osterweil, Lori A. Clarke, Aaron M. Elliso...
132
Voted
BPM
2007
Springer
152views Business» more  BPM 2007»
15 years 7 months ago
Adaptive Workflows for Healthcare Information Systems
Current challenges in Healthcare Information Systems (HIS) include supplying patients with personalized medical information, creating means for efficient information flow between d...
Kees M. van Hee, Helen Schonenberg, Alexander Sere...
DBSEC
2006
124views Database» more  DBSEC 2006»
15 years 5 months ago
Consolidating the Access Control of Composite Applications and Workflows
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...
Martin Wimmer, Alfons Kemper, Maarten Rits, Volkma...
120
Voted
SAJ
2000
129views more  SAJ 2000»
15 years 3 months ago
Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
Stephen Perelson, Reinhardt A. Botha