An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.
Jingtao YangCorina CîrsteaPeter HendersonPublished in: QSIC (2005)
Keyphrases
- operational semantics
- web services
- model theoretic
- formal semantics
- mental states
- business processes
- visual languages
- service oriented
- cooperative
- multi agent systems
- data model
- modeling language
- business process
- service composition
- multiagent systems
- multi agent
- interaction protocols
- agent programming
- semantic web services
- formal descriptions
- database
- activity diagrams
- agent communication language
- service architecture
- speech acts
- case study
- artificial intelligence