An action semantics for MOF 2.0

  • Authors:

  • Richard F. Paige;Dimitrios S. Kolovos;Fiona A. C. Polack

  • Affiliations:

  • University of York, Heslington, York;University of York, Heslington, York;University of York, Heslington, York

  • Venue:
  • Proceedings of the 2006 ACM symposium on Applied computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We show how to extend MOF 2.0 to include an action semantics to support behavioural modelling. We explain why such an extension is useful, particularly for model transformation and consistency checking.