Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Improving the linearly based characterization of P/T nets
APN 90 Proceedings on Advances in Petri nets 1990
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Free choice Petri nets
Electronic markets and electronic hierarchies
Communications of the ACM
Frontiers of electronic commerce
Frontiers of electronic commerce
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Managing process and service fusion in virtual enterprises
Information Systems - Special issue on information systems support for electronic commerce
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer Programming
Behavioral Specifications of Businesses and Systems
Behavioral Specifications of Businesses and Systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Object-Oriented Behavioral Specifications
Object-Oriented Behavioral Specifications
Science of Computer Programming
Processes Driving the Networked Economy
IEEE Concurrency
Workflow support for electronic commerce applications
Decision Support Systems
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Electronic commerce: structures and issues
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Designing trustworthy interorganizational trade procedures for open electronic commerce
International Journal of Electronic Commerce - Special issue: A global perspective on electronic commerce
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Crossing Organizational Boundaries with Mobile Agents in Electronic Service Markets
Integrated Computer-Aided Engineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Hi-index | 0.00 |
Internet-based technology, E-commerce, and the rise of networked virtual enterprises have fueled the need for interorganizational workflows. Although XML allows trading partners to exchange information, it cannot be used to coordinate activities in different organizational entities. Business-to-business processes are hindered by the lack of a common language to support collaboration. This paper describes the P2P (Public-To-Private) approach which addresses one of the most notorious problems in this domain: How to design an interorganizational workflow such that there is local autonomy without compromising the consistency of the overall process. The approach uses a notion of inheritance and consists of three steps: (1) create a common understanding of the interorganizational workflow by specifying the shared public workflow, (2) partition the public workflow over the organizational entities involved, and (3) for each organizational entity: create a private workflow which is a subclass of the relevant part of the public workflow. This paper shows that this approach avoids typical anomalies in business-to-business collaboration (e.g., deadlocks and livelocks) and yields an interorganizational workflow which is guaranteed to realize the behavior specified in the public workflow.