Consistency between Executable and Abstract Processes

Authors:
Axel Martens
Affiliations:
IBM T. J. Watson Research Center
Venue:
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Year:
2005

Citing 0
Cited 19

Business processes for web services: principles and applications

IBM Systems Journal
From RosettaNet PIPs to BPEL processes: A three level approach for business protocols

Data & Knowledge Engineering
Process View Derivation and Composition in a Dynamic Collaboration Environment

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
On the Use of Behavioural Equivalences for Web Services' Development

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Formal consistency verification between BPEL process and privacy policy

Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
WS-BPEL Business Process Abstraction and Concretisation

DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
An Automaton-based Approach for Web Service Mediation

Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Interacting services: From specification to execution

Data & Knowledge Engineering
Declarative specification and verification of service choreographiess

ACM Transactions on the Web (TWEB)
Behavioral consistency for B2B process integration

CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A behavioural congruence for web services

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Implementing process views in the web service environment

World Wide Web
A formal and visual modeling approach to choreography based web services composition and conformance verification

Expert Systems with Applications: An International Journal
Perceived consistency between process models

Information Systems
Diagnosing SCA components using WOMBAT

BPM'06 Proceedings of the 4th international conference on Business Process Management
From rosettanet PIPs to BPEL processes: a three level approach for business protocols

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Modeling- and analysis techniques for web services and business processes

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the Use of Behavioural Equivalences for Web Services' Development

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A distributed repository for managing business process models in cross-organizational collaborations

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Process models play an all-important role in the development of cross-organizational business processes.On the one hand, the interaction between the participating companies often is specified globally, for example by means of multiple abstract process models - one for each partner. On the other hand, each partner defines its local process autonomously in terms of an executable process model.The important question is whether such an executable model is consistent to the predefined abstract model.This paper describes an approach to prove this property automatically.