Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling

Zinovy Diskin, Boris Kadish. Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling. Data \& Knowledge Engineering, 47(1):1-59, 2003. [doi]

Abstract

Abstract is missing.