Sciweavers

131 search results - page 13 / 27
» A Framework for Document-Driven Workflow Systems
Sort
View
81
Voted
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
14 years 11 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
102
Voted
ERCIMDL
2008
Springer
139views Education» more  ERCIMDL 2008»
14 years 11 months ago
A Framework for Managing Multimodal Digitized Music Collections
Abstract. In this paper, we present a framework for managing heterogeneous, multimodal digitized music collections containing visual music representations (scanned sheet music) as ...
Frank Kurth, David Damm, Christian Fremerey, Meina...
79
Voted
PVLDB
2008
103views more  PVLDB 2008»
14 years 9 months ago
A request-routing framework for SOA-based enterprise computing
Enterprises may use a service-oriented architecture (SOA) to provide a streamlined interface to their business processes. To scale up the system, each tier in a composite service ...
Thomas Phan, Wen-Syan Li
81
Voted
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 1 months ago
On the Suitability of BPMN for Business Process Modelling
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
95
Voted
GI
2005
Springer
15 years 3 months ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
Kamyar Sarshar, Peter Loos