Sciweavers

1728 search results - page 123 / 346
» Formal Modeling of Process Migration
Sort
View
109
Voted
ADBIS
2009
Springer
143views Database» more  ADBIS 2009»
15 years 7 months ago
Cost-Based Vectorization of Instance-Based Integration Processes
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...
Matthias Böhm, Dirk Habich, Steffen Preissler...
VLDB
2007
ACM
150views Database» more  VLDB 2007»
15 years 7 months ago
Monitoring Business Processes with Queries
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
Catriel Beeri, Anat Eyal, Tova Milo, Alon Pilberg
ANSOFT
2002
94views more  ANSOFT 2002»
15 years 21 days ago
Testing Processes of Web Applications
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
Filippo Ricca, Paolo Tonella
106
Voted
CAISE
2005
Springer
15 years 6 months ago
Ontology Based Business Process Description
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
Agnes Koschmider, Andreas Oberweis
209
Voted
ICDT
2009
ACM
248views Database» more  ICDT 2009»
16 years 1 months ago
Automatic verification of data-centric business processes
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
Alin Deutsch, Richard Hull, Fabio Patrizi, Victor ...