Sciweavers

2597 search results - page 286 / 520
» Matchmaking for Business Processes
Sort
View
TASE
2008
IEEE
16 years 29 days ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
HICSS
2005
IEEE
138views Biometrics» more  HICSS 2005»
16 years 6 days ago
A Method to Redesign the IS Portfolios in Large Organisations
Over the past decades, large organisations have developed increasingly complex portfolios of information systems to support business processes. Maintenance and leveraging of these...
Remco Groot, Martin Smits, Halbe Kuipers
TSMC
2010
15 years 1 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
EMISA
2007
Springer
16 years 23 days ago
A Federated Approach to Enterprise Architecture Model Maintenance
: Enterprise architecture is gaining acceptance as an approach to manage change and foster IT/business alignment by (1) propagating strategy and process changes to the software and...
Ronny Fischer, Stephan Aier, Robert Winter
BPM
2005
Springer
99views Business» more  BPM 2005»
16 years 4 days ago
On Automating Networked Enterprise Management
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
Ustun Yildiz, Olivier Perrin, Claude Godart