Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Communication and concurrency
Improving the linearly based characterization of P/T nets
APN 90 Proceedings on Advances in Petri nets 1990
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
The Application of Workflow Technology in Semantic B2B Integration
Distributed and Parallel Databases
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
WISE: Business to Business E-Commerce
RIDE '99 Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises
B2B Integration Technology Architecture
WECWIS '02 Proceedings of the Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS'02)
An Architecture for Cross-Organizational Business Processes
WECWIS '00 Proceedings of the Second International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems (WECWIS 2000)
XML-Based Schema Definition for Support of Interorganizational Workflow
Information Systems Research
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Information Technology and Management
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Constructing customized process views
Data & Knowledge Engineering
Dynamic business network process management in instant virtual enterprises
Computers in Industry
Exploring Dynamic Inter-Organizational BusinessProcess Collaboration: Privacy Protecting Concepts for ChoreographingeSourcing in B2B with Service-Oriented Computing
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
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
WISEW'03 Proceedings of the Fourth international conference on Web information systems engineering workshops
A choreography language for eBusiness collaboration
Proceedings of the 2011 ACM Symposium on Applied Computing
Information Systems Frontiers
Hi-index | 0.00 |
In the area of business-to-business (B2B) collaboration, original equipment manufacturers (OEMs) are confronted with the problem of spending a considerable time and effort on coordinating suppliers across multiple tiers of their supply chains. By supporting inter-organizational business-process collaborations with service-oriented technology, a scope for more efficient and effective supply-chain coordination is anticipated. This paper defines a formal framework, called eSourcing, for specifying structurally harmonized inter-organizational business-process collaborations. The framework permits verification of harmonized processes before their enactment. Moreover, the framework uses private and public layers to protect competitive knowledge of the individual partners. In the research project CrossWork, the eSourcing framework has been integral for harmonizing on an external level the intra-organizational business processes of a service-consuming and one or many service-providing organizations.