Domain-specific modeling languages for configuring and evaluating enterprise DRE system quality of service

2006 ◽  
Author(s):  
S. Paunov ◽  
J. Hill ◽  
D. Schmidt ◽  
S.D. Baker ◽  
J.M. Slaby
Keyword(s):  
Quality Of Service ◽  
Modeling Languages ◽  
System Quality ◽  
Domain Specific ◽  
Domain Specific Modeling ◽  
Specific Modeling

COMPOSITIONAL SPECIFICATION OF BEHAVIORAL SEMANTICS FOR DOMAIN-SPECIFIC MODELING LANGUAGES

2009 ◽  
Vol 03 (01) ◽  
pp. 31-56 ◽  
Author(s):  
KAI CHEN ◽  
JOSEPH PORTER ◽  
JANOS SZTIPANOVITS ◽  
SANDEEP NEEMA
Keyword(s):  
Embedded Software ◽  
Modeling Languages ◽  
Hard Problem ◽  
Abstract Syntax ◽  
Abstract State Machine ◽  
Domain Specific ◽  
Domain Specific Modeling ◽  
Specific Modeling

Domain-Specific Modeling Languages (DSMLs) play a fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSMLs. Semantic anchoring introduces a set of reusable "semantic units" that provide reference semantics for basic behavioral categories using the Abstract State Machine framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by exploring methods for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study. Formal notions of compositionality are discussed as well as a brief comparison with similar research tools.

On Developing Hybrid Modeling Methods using Metamodeling Platforms

2015 ◽  
Vol 6 (1) ◽  
pp. 47-66
Author(s):  
Srdjan Zivkovic ◽  
Krzystof Miksa ◽  
Harald Kühn
Keyword(s):  
Complex Systems ◽  
Hybrid Modeling ◽  
Modeling Languages ◽  
Modeling Tools ◽  
Analysis And Design ◽  
Domain Specific ◽  
Modeling Methods ◽  
Model Based ◽  
Domain Specific Modeling ◽  
Specific Modeling

It has been acknowledged that model-based approaches and domain-specific modeling (DSM) languages, methods and tools are beneficial for the engineering of increasingly complex systems and software. Instead of general-purpose one-size-fits-all modeling languages, DSM methods facilitate model-based analysis and design of complex systems by providing modeling concepts tailored to the specific problem domain. Furthermore, hybrid DSM methods combine single DSM methods into integrated modeling methods, to allow for multi-perspective modeling. Metamodeling platforms provide flexible means for design and implementation of such hybrid modeling methods and appropriate domain-specific modeling tools. In this paper, we report on the conceptualization of a hybrid DSM method in the domain of network physical devices management, and its implementation based on the ADOxx metamodeling platform. The method introduces a hybrid modeling approach. A dedicated DSM language (DSML) is used to model the structure of physical devices and their configurations, whereas the formal language for knowledge representation OWL2 is used to specify configuration-related constraints. The outcome of the work is a hybrid, semantic technology-enabled DSM tool that allows for efficient and consistency-preserving model-based configuration of network equipment.

Sign in / Sign up

Export Citation Format

Share Document