Two Case Studies of Semantics Execution in Maude: CCS and LOTOS.
Alberto VerdejoNarciso Martí-OlietPublished in: Formal Methods Syst. Des. (2005)
Keyphrases
- case study
- control flow
- active rules
- formal semantics
- lessons learned
- open source
- concurrent execution
- information systems
- operational semantics
- logic programming
- semantic information
- conceptual model
- data mining
- execution model
- literature review
- formal specification
- knowledge management
- neural network
- conceptual graphs
- default reasoning
- specification language
- high level
- metadata
- method invocation