The Formal and Systematic Specification of Market Structures and Trading Services.
Martin ReckPublished in: J. Manag. Inf. Syst. (1998)
Keyphrases
- agent mediated
- foreign exchange
- trading strategies
- formal specification
- financial markets
- electronic marketplaces
- business opportunities
- trading systems
- market data
- data mining services
- service oriented
- formal language
- futures market
- electronic markets
- electronic commerce
- trading agents
- electricity markets
- web services
- formal methods
- stock exchange
- reactive systems
- agent technology
- mobile payment
- end users
- ubiquitous computing
- context aware
- information goods
- requirements specification
- service providers
- stock market
- test bed
- information services
- service composition
- specification language
- service discovery
- service oriented architecture
- decision making
- digital goods
- investment strategies
- specification languages
- trading rules
- service quality
- operational semantics
- stock price