A logic model for electronic contracting
Decision Support Systems
Legal procedures as formal conversations: contracting on a performative network
ICIS '89 Proceedings of the tenth international conference on Information Systems
On representation schemes for promising electronically
Decision Support Systems
A grammatical view of logic programming
A grammatical view of logic programming
ACM Transactions on Information Systems (TOIS)
Structuring XML documents
Comparative analysis of six XML schema languages
ACM SIGMOD Record
Transition network grammars for natural language analysis
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Natural Language Communication with Computers
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
INTERPROCS: A Java-based Prototyping Environment for Distributed Electronic Trade Procedures
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 4 - Volume 4
Contracting on a performative network: using information technology as a legal intermediary
Contracting on a performative network: using information technology as a legal intermediary
A Messenger Model for Navigating Among Bureaucratic Requirements
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Formal languages and their relation to automata
Formal languages and their relation to automata
Soft-coded trade procedures for open-EDI
International Journal of Electronic Commerce - Special section: Diversity in electronic commerce research
Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
Delegation of Control in Administrative Procedures
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Hi-index | 0.00 |
Electronic trade procedures or 'scenarios' are ready made, generic and reusable transaction models for trade communities such as seaports, banking, logistics, etc. They are made available to parties for downloading from repositories provided by international, regional, or industry organizations. However, current workflow-like representations of trade scenarios do not provide for situation-specific customization of the transaction model. Instead of designing specific trade procedures for each possible variation of a transaction, we develop a generative grammar formalism that defines entire families of related trade procedures. Since trade procedures are influenced by various situation-specific factors from multiple sources, we have been led to modify the usual grammar formalism to take into account a variety of constraints. The formalism is, therefore, called a procedure constraint grammar (PCG). The resulting functionality allows for a far greater level of flexibility for customized electronic trade procedures than current approaches provide. Numerous examples are provided.