Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions