Template Semantics for Model-Based Notations.

Jianwei Niu Joanne M. Atlee Nancy A. Day

Published in: IEEE Trans. Software Eng. (2003)

Keyphrases

template matching
formal semantics
semantic information
levels of abstraction
expert systems
input image
logic programming
matching algorithm
semantic representation
logical language
web services
case study
data driven
conceptual model
default reasoning
model free