The Formal and Systematic Specification of Market Structures and Trading Services.
Martin ReckPublished in: HICSS (6) (1998)
Keyphrases
- agent mediated
- foreign exchange
- futures market
- trading strategies
- formal specification
- electronic marketplaces
- electronic commerce
- stock exchange
- formal language
- formal methods
- electronic markets
- data mining services
- business opportunities
- financial markets
- market data
- service providers
- trading systems
- specification languages
- web services
- stock price
- decision making
- electricity markets
- double auction
- information goods
- context aware
- stock market
- operational semantics
- digital goods
- short run
- end users
- mobile payment
- trading agents
- ubiquitous computing
- stock data
- business models
- formal languages
- business transactions
- information services
- competitive market
- market participants
- multi agent systems
- service composition
- agent technology