Sciweavers

100 search results - page 7 / 20
» Constraint Checking for Business Process Management
Sort
View
BPM
2006
Springer
182views Business» more  BPM 2006»
13 years 11 months ago
An Architecture for Proactive Timed Web Service Compositions
Web Services-based business processes spread over the boundaries of companies, requiring the integration of customers, suppliers and partners to achieve inter-organizational busine...
Johann Eder, Horst Pichler, Stefan Vielgut
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
CAISE
2000
Springer
13 years 12 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis
ICIW
2009
IEEE
13 years 5 months ago
Constraint Integration and Violation Handling for BPEL Processes
Autonomic, i.e. dynamic and fault-tolerant Web service composition is a requirement resulting from recent developments such as on-demand services. In the context of planning-based...
MingXue Wang, Kosala Yapa Bandara, Claus Pahl
CAISE
2006
Springer
13 years 11 months ago
Business Process Flexibility in Virtual Organizations
Virtual organizations are perceived as a means for achieving flexibility. However, shared inter-organizational business processes may pose additional constraints on the internal pr...
Pnina Soffer, Johny Ghattas