A logic model for electronic contracting
Decision Support Systems
International contracting: a formal language approach
Proceedings of the Twenty-First Annual Hawaii International Conference on Applications Track
Legal procedures as formal conversations: contracting on a performative network
ICIS '89 Proceedings of the tenth international conference on Information Systems
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Contracting on a performative network: using information technology as a legal intermediary
Contracting on a performative network: using information technology as a legal intermediary
Formal aspects of a generic model of trust for electronic commerce
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
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
Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures
Business Process Management, Models, Techniques, and Empirical Studies
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Information Technology and Management
Analysing preventative and detective control mechanisms in international trade using value modelling
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Electronic commerce: structures and issues
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Formal aspects of electronic commerce: research issues and challenges
International Journal of Electronic Commerce - Special issue: Systems for computer-mediated digital commerce
Designing trustworthy interorganizational trade procedures for open electronic commerce
International Journal of Electronic Commerce - Special issue: A global perspective on electronic commerce
Framework for specifying, building, and operating electronic markets
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Toward a Modeling Tool for Designing Control Mechanisms for Network Organizations
International Journal of Electronic Commerce
A Design Methodology for Modeling Trustworthy Value Webs
International Journal of Electronic Commerce
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
A trust matrix model for electronic commerce
iTrust'03 Proceedings of the 1st international conference on Trust management
Modeling control mechanisms with normative multiagent systems: the case of the renewables obligation
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Hi-index | 0.00 |
Organizations engaging in electronic commerce typically face defining detailed bilateral agreements between business partners. This implies that the setup costs for new electronic linkages can be quite high. There is a growing need to model and to simulate this form of interorganizational interaction to lower these costs. The research presented in this paper contributes to the solution of this problem in three ways: first, by stipulating requirements on representation languages to be used for modeling trade procedures; second, by presenting a common graph-based representation language, Documentary Petri Nets, which satisfies these requirements; and third, by presenting a "soft coding" architecture and protocol for sharing and negotiating trade procedures. A modeling environment that is used for the design and analysis of trade procedures, Case/Open-EDI, is demonstrated for this architecture. A simplified documentary credit procedure provides an example of such a Documentary Petri Net model.