Download:
by Robert Zimmer, Aspassia Daskalopulu, Alan Hunter
South African Computer Journal
http://www.computing.dundee.ac.uk/staff/creed/sac/daskalopulu2.pdf
Add To MetaCart
Abstract:
Effective use of business to business electronic commerce requires that the trade procedures of the companies involved in an exchange be well enough understood and modelled to allow possible conflicts to be discovered and resolved during negotiation, before they occur in practice. This paper describes requirements analysis systems that have been useful in doing exactly this kind of modelling and reasoning for microelectronic design. We argue that the same mathematics is applicable to inter-organisational electronic commerce, and that, in fact, some microelectronic design debugging and verification software—interacting Petri net systems and model checkers—can be used to debug and verify trade procedures. We believe that this can lead to safer and more powerful forms of electronic interaction in a commercial setting, as it has in an electronic design setting.
Citations
|
723
|
Symbolic Boolean manipulation with ordered binary-decision diagrams
– Bryant
- 1992
|
|
512
|
Speech Acts
– Searle
- 1969
|
|
301
|
Graph based algorithms for Boolean function representation
– Bryant
- 1986
|
|
272
|
Binary Decision Diagrams
– Akers
- 1978
|
|
247
|
Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications
– Clarke, Emerson, et al.
- 1986
|
|
133
|
System Modelling with High-Level Petri Nets
– Genrich, Lautenbach
- 1981
|
|
108
|
Events in the semantics of English : a study in subatomic semantics: Current studies in linguistics series ; 19
– Parsons
- 1990
|
|
71
|
Deontic logic
– Wright
- 1951
|
|
45
|
On automated message processing in electronic commerce and work support systems: Speech act theory and expressive felicity
– Kimbrough, Moore
- 1997
|
|
25
|
Action Theory and Social Science: Some Formal Models
– Pörn
- 1977
|
|
22
|
A category of labelled Petri nets and compositional proof system
– Winskel
- 1988
|
|
19
|
Modelling inter-organizational trade procedures using documentary petri nets
– Bons, Lee, et al.
- 1995
|
|
16
|
On obligation, time, and defeasibility in systems for electronic commerce
– Kimbrough, Moore
- 1993
|
|
12
|
The representation of legal contracts
– Daskalopulu, Sergot
- 1997
|
|
11
|
Logic-based tools for the analysis and representation of legal contracts
– Daskalopulu
- 1999
|
|
8
|
On Illocutionary Logic as a Telecommunications Language
– Kimbrough, Lee
- 1986
|
|
7
|
An Introduction to the Law of Contract
– Atiyah
- 1989
|
|
7
|
Vanderveken, Foundations of Illocutionary Logic
– Searle
- 1985
|
|
6
|
Formal Aspects of Electronic Commerce: Research Issues and Challenges
– Kimbrough, Lee
- 1997
|
|
4
|
Communication and Concurrency
– unknown authors
- 1989
|
|
3
|
The model checker Spin
– J
- 1997
|
|
3
|
McMillan: Symbolic model checking
– L
- 1993
|
|
3
|
O.: Ontological Engineering
– Pérez, A, et al.
- 2004
|
|
2
|
EDI Transaction Protocols in International Trade
– Wrigley
- 1992
|
|
2
|
The Algebra of System Design: A Petri Net Model of Modular Composition
– Zimmer
- 1993
|
|
1
|
Modular Design as Algebraic Composition
– Fourman, Zimmer
- 1987
|
|
1
|
Seminar at Royal Holloway and
– Holzmann
- 1998
|
|
1
|
The Open-EDI Reference Model. Working draft document N305
– JTC1WG3
|
|
1
|
Importance of the “OPEN-EDI” Reference Model from a User and Business Perspective
– Knoppers
- 1992
|
