354 search results - page 1 / 71 » Consistency between Executable and Abstract Processes |
EEE
2005
IEEE
13 years 10 months ago
2005
IEEE
CASCON
2010
12 years 12 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
ECOWS
2008
Springer
13 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
CBSE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Software systems should evolve in order to respond to changing client requirements and their evolving environments. But unfortunately, the evolution of legacy application...