Sciweavers

285 search results - page 2 / 57
» An Open Platform for Business Process Modeling and Verificat...
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
13 years 7 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
VLDB
2001
ACM
87views Database» more  VLDB 2001»
13 years 9 months ago
Business Process Coordination: State of the Art, Trends, and Open Issues
Over the past decade, there has been a lot of work in developing middleware for integrating and automating enterprise business processes. Today, with the growth in e-commerce and ...
Umeshwar Dayal, Meichun Hsu, Rivka Ladin
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
13 years 12 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
SOSE
2008
IEEE
13 years 11 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
BPM
2007
Springer
149views Business» more  BPM 2007»
13 years 9 months ago
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
Haiyang Sun, Jian Yang