Conceptual modeling is fundamental to the development of complex systems, because it provides the key communication means between systems developers, end-usersandcustomers.Conceptualmodelingprovideslanguages, methods and tools to understandandrepresentthe applicationdomain;to elicitate, concep- alizeandformalizesystemrequirementsanduserneeds;tocommunicatesystems designs to all stakeholders; to formally verify and validate system designs on high levels...