Sciweavers

1513 search results - page 114 / 303
» Semantic Business Process Analysis
Sort
View
EMISA
2002
Springer
15 years 4 months ago
A new reduction method for the analysis of large workflow models
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
Loucif Zerguini, Kees M. van Hee
404
Voted
ACIIDS
2011
IEEE
209views Database» more  ACIIDS 2011»
15 years 2 days ago
Prototype of Object-Oriented Declarative Workflows
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...
Marcin Dabrowski, Michal Drabik, Mariusz Trzaska, ...
ICAC
2005
IEEE
15 years 10 months ago
Message from the General Chairs and Program Chairs
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................
IFIP
2004
Springer
15 years 10 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
PDP
2006
IEEE
15 years 11 months ago
A View Based Analysis of Workflow Modeling Languages
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
Martin Vasko, Schahram Dustdar