252 search results - page 21 / 51 » Checking Properties of Business Process Models with Logic Pr... |
128
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
140
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
112
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
138
click to vote
BPM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
131
click to vote
SEC
2004
15 years 4 months ago
2004
Business Processes for Web Services (BPEL4WS) are the new paradigms for lightweight enterprise integration. They cross organizational boundaries and are provided by entities that s...