Communicating sequential processes
Communicating sequential processes
Closure properties of deterministic Petri nets
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Communications of the ACM
Formal deadlock elimination in an object oriented conceptual schema
Data & Knowledge Engineering
Undecidability of bisimilarity for Petri nets and some related problems
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
The role of B2B engines in B2B integration architectures
ACM SIGMOD Record
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Cooperating sequential processes
The origin of concurrent programming
The decidability of the reachability problem for vector addition systems (Preliminary Version)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
An Architecture for Bridging OO and Business Process Modeling
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33)
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Protocol-Based Business Process Modeling and Enactment
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Advances in business process management
Data & Knowledge Engineering - Special issue: Advances in business process management
Events as atomic contracts for component integration
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Service-based processes: design for business and technology
Proceedings of the 2nd international conference on Service oriented computing
Protocols for processes: programming in the large for open systems
ACM SIGPLAN Notices
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Guest editorial: business process management
Data & Knowledge Engineering - Special issue: Business process management
An ontology for internal and external business processes
Proceedings of the 15th international conference on World Wide Web
Towards self-adaptive service-oriented architectures
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
m3po: An Ontology to Relate Choreographies to Workflow Models
SCC '06 Proceedings of the IEEE International Conference on Services Computing
Guest editorial: Business process management: Where business processes and web services meet
Data & Knowledge Engineering
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Constructing customized process views
Data & Knowledge Engineering
Structural Matching of BPEL Processes
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
A survey on web services composition
International Journal of Web and Grid Services
A survey of patterns for Service-Oriented Architectures
International Journal of Internet Protocol Technology
Journal of Computer and System Sciences
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
An event based approach to web service design and interaction
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
Interaction modeling using BPMN
BPM'07 Proceedings of the 2007 international conference on Business process management
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Systematic design of web service transactions
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Assessment of Service Protocols Adaptability Using a Novel Path Computation Technique
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Discovery and analysis of e-mail-driven business processes
Information Systems
Towards deterministically constructing organizations based on the normalized systems approach
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
Assessing the replaceability of service protocols in mediated service interactions
Future Generation Computer Systems
Design for service compatibility
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Successful E-Business is based on seamless collaborative business processes. Each partner in the collaboration specifies its own rules and interaction preconditions. The verification of the compatibility of collaborative business processes, based on local and global views, is a complex task, which is critical for the success of the cooperation. The verification of process compatibility should be a key element in the design of new business alliances, which makes this verification essential in inter-organizational business process design. The advent of Web Services and Service Oriented Architectures stresses the need to solve complex business cooperations under the pressure of reduced costs and risks, combined with shorter time to market. At the same time, the message-based paradigm results in large and complex processes which makes the verification process quite hard. First the use of an atomic business activity based interaction paradigm is proposed to reduce the complexity of collaborative process models. Next, formal compatibility criteria for business processes are developed. The key construction is the notion of semantic compatibility, which can be used to assess the compatibility of the publicly exposed behavior (a.k.a. business interfaces) between business partners in joint business processes. The formal nature of this compatibility allows to give a precise indication of the degree of compatibility between cooperating business partners. It enables exhaustive lists of incompatible (i.e. unsupported scenarios) business cooperations, which is more comprehensive and complete than the typical compatible or incompatible answer to this question. Finally, complex multiple party interactions can be examined in terms of the safety of the interaction protocols.