Legal procedures as formal conversations: contracting on a performative network
ICIS '89 Proceedings of the tenth international conference on Information Systems
Electronic data interchange: a total management guide
Electronic data interchange: a total management guide
Electronic markets and electronic hierarchies
Communications of the ACM
Frontiers of electronic commerce
Frontiers of electronic commerce
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
PGP: Pretty Good Privacy
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Testing Speech Act Theory and Its Applicability to EDI and Other Computer-Processable Messages
HICSS '96 Proceedings of the 29th Hawaii International Conference on System Sciences Volume 2: Decision Support and Knowledge-Based Systems
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
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
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Information Technology and Management
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Control patterns in a healthcare network
dg.o '07 Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains
A Design Methodology for Modeling Trustworthy Value Webs
International Journal of Electronic Commerce
The Role of Trust and Deception in Virtual Societies
International Journal of Electronic Commerce
Electronic Commerce Customer Relationship Management: An Assessment of Research
International Journal of Electronic Commerce
Delegation of Control in Administrative Procedures
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Towards a methodology for designing e-government control procedures
EGOV'07 Proceedings of the 6th international conference on Electronic Government
Hi-index | 0.00 |
Electronic data interchange currently involves high relationship-specific investments that limit its application to "closed-trading relationships." When electronic data interchange is applied in a more open context, parties will have to be able to rely on interorganizational procedures that control the risks involved in trading with untrusted parties. These procedures have to be audited to identify potential control weaknesses and the resulting fraud potential, including the risks associated with the communication medium used to support the execution of these procedures.This article presents the first steps toward establishing a theory on the auditing of interorganizational trade procedures. The need for a further rationalization and formalization of interorganizational procedures is stressed. An initial set of generic principles for interorganizational trade procedures is presented. The article shows how this theory could be supported using an automated tool, and it demonstrates how this analysis process is conducted automatically. Finally, conclusions and some future research directions are given.