Automated generation of electronic procedures: procedure constraint grammars
Decision Support Systems - Special issue: Formal modeling and electronic commerce
Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures
Business Process Management, Models, Techniques, and Empirical Studies
Distributed electronic trade scenarios: representation, design, prototyping
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
| Hi-index | 0.00 |
A formal, computational model is proposed fornavigating among the bureaucratic requirements relatingto social services and electronic commerce. This modelis based on a notion of intelligent agents, calledmessengers, that visit 'regimes' -- formalized electronicfront offices -- of these agencies, and assemble thevarious requirements into a customized procedure for theclient. On the client's approval, the procedure may thenbe executed by the messenger, delivering and collectingthe appropriate electronic documents and payments. Thescheme relies on a common representation for regimes.One such representation, called Candid, is presentedhere. Various implementation aspects are also discussed.