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 9 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»
14 years 2 days 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»
14 years 2 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
14 years 2 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 11 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