Sciweavers

35 search results - page 2 / 7
» The Declarative Approach to Business Process Execution: An E...
Sort
View
MODELS
2010
Springer
13 years 4 months ago
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
Pieter Van Gorp, Rik Eshuis
ISSRE
2010
IEEE
13 years 4 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
SIGMOD
2011
ACM
222views Database» more  SIGMOD 2011»
12 years 9 months ago
Data generation using declarative constraints
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
Arvind Arasu, Raghav Kaushik, Jian Li
ECLIPSE
2007
ACM
13 years 10 months ago
Declarative and visual debugging in Eclipse
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
Jeffrey K. Czyz, Bharat Jayaraman
CAISE
2009
Springer
14 years 26 days ago
A Heuristic Method for Business Process Model Evaluation
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
Volker Gruhn, Ralf Laue