Sign in

Challenges and directions in formalizing the semantics of modeling languages.

Barrett R. BryantJeff GrayMarjan MernikPeter J. ClarkeRobert B. FranceGabor Karsai
Published in: Comput. Sci. Inf. Syst. (2011)
Keyphrases
  • modeling language
  • formal semantics
  • metamodel
  • constraint language
  • control flow
  • language constructs
  • real world
  • business process modeling
  • query language
  • software systems
  • deductive databases