Sciweavers

9726 search results - page 109 / 1946
» An Approach to Optimize Data Processing in Business Processe...
Sort
View
AMAST
2006
Springer
15 years 8 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
CAISE
2004
Springer
15 years 10 months ago
A Motivation for Multiple Activity Instantiation in BPEL4WS Processes
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
Jan Mendling, Mark Strembeck, Gustaf Neumann
SAC
2009
ACM
15 years 11 months ago
Applying Reo to service coordination in long-running business transactions
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
Natallia Kokash, Farhad Arbab
ISSS
2002
IEEE
139views Hardware» more  ISSS 2002»
15 years 9 months ago
Multiprocessor Mapping of Process Networks: A JPEG Decoding Case Study
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
Erwin A. de Kock
HICSS
2000
IEEE
131views Biometrics» more  HICSS 2000»
15 years 9 months ago
Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
Michael zur Muehlen, Michael Rosemann