79 search results - page 5 / 16 » Constraint Integration and Violation Handling for BPEL Proce... |
108
click to vote
ICWS
2008
IEEE
15 years 1 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
101
click to vote
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
92
Voted
SAC
2004
ACM
15 years 5 months ago
2004
ACM
Integrity constraints are valuable tools for enforcing consistency of data in a database. Global integrity constraints ensure integrity and consistency of data spanning multiple d...
93
Voted
PVLDB
2010
14 years 10 months ago
2010
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...