Formal semantics for PSL modeling layer and application to the verification of transactional models.

Luca Ferro Laurence Pierre

Published in: DATE (2010)

Keyphrases

formal semantics
modelling language
modeling language
modeling method
metamodel
integrity constraints
inference rules
er model