Loading...
Please wait, while we are loading the content...
Similar Documents
Verifying Inter-Organisational Trade Procedures by Model Checking Synchronised Petri Nets
| Content Provider | Semantic Scholar |
|---|---|
| Author | Zimmer, Robert Daskalopulu, Aspassia Hunter, Alan |
| Copyright Year | 1999 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.computing.dundee.ac.uk/staff/creed/sac/daskalopulu2.pdf |
| Alternate Webpage(s) | http://staff.computing.dundee.ac.uk/creed/sac/daskalopulu2.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
