SemCheck: Checking constraints for multi-perspective modeling languages

Abstract

Enterprises are complex and dynamic organizations that can hardly be understood from a single viewpoint. Enterprise modeling tackles this problem by providing multiple, specialized modeling languages, each designed for representing information about the enterprise from a given viewpoint. The OMiLAB initiative promotes the use of metamodeling to design such domain-specific languages and to provide them by an open repository to the community. In this chapter, we discuss how this metamodeling approach can be combined with the design of integrity constraints that span multiple modeling languages. We propose the services of the ConceptBase system as a constraint checker for modeling languages created by the ADOxx platform.