Precise Behavioral Semantics for Domain Specific Modeling Languages

OMG Technical Meeting Special Event

Jacksonville, FL  USA  -  September 25,  2007

[ Agenda ][ Registration ][ All Special Events ][ Back to TC Meeting Info ]

Model Integrated Computing Semantic Anchoring Information Day Overview  

Precise Behavioral Semantics for Domain Specific Modeling Languages Model analysis and model-based code generation require the precise specification of Domain Specific Modeling Languages (DSMLs). This is partly achieved by using metamodeling languages, metamodels, and UML profiles describing the abstract syntax (concepts, relationships and well-formedness rules) of DSMLs. While abstract syntax metamodeling has been an important step in model-based design and been used in various model-based frameworks, such as MDA, MIC, Eclipse-based tools, and Software Factories, explicit and formal specification of behavioral semantics has not received much attention, which creates a possibility for semantic mismatch between design models and modeling languages of analysis tools.

While this difficulty exists in virtually every domain where DSMLs are employed, it is particularly problematic in safety-critical real-time and embedded systems domain, where semantic ambiguities may produce conflicting results across different tools.

This workshop will focus on techniques and approaches to the precise and pragmatic definition of behavioral semantics for domain-specific modeling languages.

To view the Model Integrated Computing Semantic Anchoring Information Day agenda click here, or to register for this event, click here.

NOTE: If you register for the Technical Meeting Week, you do not have to pay the additional fee(s) to attend any or all of the special events.  If you register only for special events, the special fees apply.

Edited by Michael Narducci on 08/30/2007