Interactions, Transitions and Inference Rules in Semantically Integrated Conceptual Modelling In Proceedings of the Sixth International Symposium on Business Modeling and Software Design BMSD - Volume 1, 11-21, 2016 , Rhodes, Greece