Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.
Mohamed El-MenshawyJamal BentaharRachida DssouliPublished in: KES-AMSTA (2) (2010)
Keyphrases
- information systems
- data mining
- multiagent systems
- decision making
- business processes
- model checking
- business models
- interactive systems
- business process
- business intelligence
- information technology
- modeling language
- decision theoretic
- business environment
- human computer
- case study
- user actions
- human machine
- micro level
- turn taking
- human object interactions