Research on Component Composition with Formal Semantics.

Ruzhi Xu Quansheng Wu Hongquan Gong Leqiu Qian

Published in: IITSI (2010)

Keyphrases

formal semantics
logical language
modeling language
first order logic
er model
formal language
logical reasoning
operational semantics
modelling language
theorem prover
speech acts
owl dl ontology
database
software engineering