Human Comprehensible and Machine Processable Specifications of Operational Semantics.

Markus Scheidgen Joachim Fischer

Published in: ECMDA-FA (2007)

Keyphrases

operational semantics
machine processable
formal semantics
data model
mental states
agent programming
activity diagrams
semantic web
database
expert systems
learning systems