Sciweavers

643 search results - page 18 / 129
» Modeling Control Objectives for Business Process Compliance
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 1 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ER
1994
Springer
122views Database» more  ER 1994»
13 years 11 months ago
From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
Eric S. K. Yu, John Mylopoulos
SIGMOD
2004
ACM
123views Database» more  SIGMOD 2004»
14 years 1 months ago
Model-Driven Business UI based on Maps
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
Per Bendsen
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
ENTCS
2006
146views more  ENTCS 2006»
13 years 7 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...