acm-header
Sign In

Communications of the ACM

Contributed Articles

Development Use Cases for Semantics-Driven Modeling Languages


circuit board layout with text labels, illustration

Credit: Kentoh

Developing software and software-intensive systems always requires the development of models. Some are formulated explicitly in some kind of modeling language. Others exist only as mental models and are finally represented implicitly by programs. In fact, application software realizes specific models that are available in the application domain and additionally includes specific technical implementation concepts in terms of hardware, operating systems, and further elements of the required software stack. In the end, application software appears to be a complex, entangled mixture of application models and implementation technology. Like programming languages, Modeling languages are defined by their syntax, which describes the form of the language constructs—textual or graphical—and by their semantics, which specifies their meaning. We claim that the choice of the underlying semantic theories and definition techniques must closely follow the intended use cases for the modeling language. The choice of the syntax should be guided by the semantic domain and its underlying theories and not the other way around.

Back to Top

Key Insights

ins01.gif

Modeling languages, such as UML, SysML, and various domain-specific modeling languages, have been suggested to support the specification and construction of systems for specific domains. This leads to the following key questions:

  • How should we model real-world entities of systems and how can we relate these entities to their models precisely?
  • How should we link up the syntactic representations of models in a modeling language with their semantics?
  • How can we represent, specify, and use semantics?

     

    No entries found

    Log in to Read the Full Article

    Sign In

    Sign in using your ACM Web Account username and password to access premium content if you are an ACM member, Communications subscriber or Digital Library subscriber.

    Need Access?

    Please select one of the options below for access to premium content and features.

    Create a Web Account

    If you are already an ACM member, Communications subscriber, or Digital Library subscriber, please set up a web account to access premium content on this site.

    Join the ACM

    Become a member to take full advantage of ACM's outstanding computing information resources, networking opportunities, and other benefits.
      

    Subscribe to Communications of the ACM Magazine

    Get full access to 50+ years of CACM content and receive the print version of the magazine monthly.

    Purchase the Article

    Non-members can purchase this article or a copy of the magazine in which it appears.