A Formal Specification Strategy for Electronic Commerce.
Sylvanus A. EhikioyaKen BarkerPublished in: IDEAS (1997)
Keyphrases
- electronic commerce
- formal specification
- negotiation protocol
- specification languages
- model checking
- object oriented design
- process algebra
- reverse engineering
- business models
- small and medium sized enterprises
- agent mediated
- concurrent systems
- mobile commerce
- formal methods
- fine grained
- artificial intelligence
- online banking
- electronic marketplaces
- agent technology
- business transactions
- online auctions
- information and communication technologies
- product catalogs
- cooperative