Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

  title={Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling},
  author={Harald K{\"o}nig and Zinovy Diskin},
Software design requires deployment of interdependent models conforming to different metamodels. This set of models is called a multimodel, and it must satisfy a set of global constraints regulating interaction of the multimodel components. A straightforward approach to global consistency checking would require merging component metamodels modulo their overlap, adding, perhaps, new global constraints to this merge, merging component models modulo their overlap, and checking the latter merge… CONTINUE READING
5 Citations
22 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 22 references

Individually local checking of global consistency in heterogeneous multimodeling: the categorical story behind the scenery

  • H. König, Z. Diskin
  • Tech.rep., University of Applied Sciences, FHDW…
  • 2016
2 Excerpts

Similar Papers

Loading similar papers…