Automated generation of electronic procedures: procedure constraint grammars

This paper focuses on a generalization of the notion of electronic trade procedures. 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 to customized electronic trade procedures to specific contracting situations. Numerous examples are provided.

[1]  Ronald M. Lee.  INTERPROCS: a Java-based prototyping environment for distributed electronic trade procedures , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[2]  O. Williamson.  The economic institutions of capitalism , 1985 .

[3]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[4]  C. Petri.  Kommunikation mit Automaten , 1962 .

[5]  Sandra Donaldson Dewitz,et al.  Contracting on a performative network: using information technology as a legal intermediary , 1992 .

[6]  Ronald M. Lee,et al.  Legal procedures as formal conversations: contracting on a performative network , 1989, ICIS '89.

[7]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[8]  Roger A. Clarke,et al.  Electronic data interchange in international trade: frameworks for the strategic analysis of ocean port communities , 1994, J. Strateg. Inf. Syst..

[9]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[10]  Ronald M. Lee,et al.  Performative, Informative and Emotive Systems The First Piece of the PIE , 1984, ICIS.

[11]  Ronald M. Lee,et al.  A logic model for electronic contracting , 1988, Decis. Support Syst..

[12]  Ronald M. Lee,et al.  Formal Aspects of Electronic Commerce: Research Issues and Challenges , 1997, Int. J. Electron. Commer..

[13]  Ronald M. Lee,et al.  On Illocutionary Logic as a Telecommunications Language , 1986, ICIS.

[14]  Ronald M. Lee.  Towards Open Electronic Contracting , 1998, Electron. Mark..

[15]  Dongwon Lee,et al.  Comparative analysis of six XML schema languages , 2000, SGMD.

[16]  Ronald M. Lee,et al.  Finding International Contracting Opportunities: AI Extensions to EDI , 1990, ICIS.

[17]  Steven Orla Kimbrough,et al.  Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..

[18]  W.M.P. van der Aalst,et al.  Timed coloured Petri nets and their application to logistics , 1992 .

[19]  John R. Searle,et al.  Speech Acts: An Essay in the Philosophy of Language , 1970 .

[20]  Ronald M. Lee,et al.  On formal aspects of electronic (or digital) commerce: examples of research issues and challenges , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[21]  Robertus Andreas Gerarda Johannes Streng.  Dynamic modelling to assess the value of electronic data interchange : a study in the Rotterdam port community , 1993 .

[22]  W. Dugger.  The Economic Institutions of Capitalism , 1987 .

[23]  Ronald M. Lee.  A messenger model for navigating among bureaucratic requirements , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[24]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[25]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[26]  Ronald M. Lee,et al.  Soft-Coded Trade Procedures for Open-EDI , 1996, Int. J. Electron. Commer..