TY - JOUR
T1 - Domain Specific MetaModeling for Deep Semantic Composability
AU - Zhu, Zhi
AU - Lei, Yonglin
AU - Alshareef, Abdurrahman
AU - Sarjoughian, Hessam
AU - Zhu, Yifan
N1 - Funding Information:
This work was supported by the Natural Science Foundation of China under Grant 61273198.
Publisher Copyright:
© 2013 IEEE.
PY - 2018
Y1 - 2018
N2 - Current simulation models are not only represented in the form of traditional data or formula for pure theory analysis but expanded to be simulation modeling assets that are featured with complicated structure, diverse behaviors, and abundant semantics. Semantic composability, therefore, receives a constantly growing attention in recent years. So far, one of the popular solutions to enhance semantic expressiveness is domain specific modeling based on general metamodeling (GMM) facilities. But for some particular domains, researchers identified the need of deeper semantic expressiveness therefore proposed domain specific metamodeling (DSMM). Hence, this paper aims to explore the underlying methodologies of DSMM for supporting deep semantic composability. Compared with several usual alternatives based on GMM, this paper applies the multi-level metamodeling architecture to create a set of metamodeling primitives using an example named SEvent. In fact, SEvent is a novel formalism that slightly extends Petri net to support continuous states transition and continuous event triggering. As a proof of concept, we concentrate on developing the textual syntax of SEvent and using it to represent torpedo's behaviors.
AB - Current simulation models are not only represented in the form of traditional data or formula for pure theory analysis but expanded to be simulation modeling assets that are featured with complicated structure, diverse behaviors, and abundant semantics. Semantic composability, therefore, receives a constantly growing attention in recent years. So far, one of the popular solutions to enhance semantic expressiveness is domain specific modeling based on general metamodeling (GMM) facilities. But for some particular domains, researchers identified the need of deeper semantic expressiveness therefore proposed domain specific metamodeling (DSMM). Hence, this paper aims to explore the underlying methodologies of DSMM for supporting deep semantic composability. Compared with several usual alternatives based on GMM, this paper applies the multi-level metamodeling architecture to create a set of metamodeling primitives using an example named SEvent. In fact, SEvent is a novel formalism that slightly extends Petri net to support continuous states transition and continuous event triggering. As a proof of concept, we concentrate on developing the textual syntax of SEvent and using it to represent torpedo's behaviors.
KW - DSL
KW - composability
KW - metamodeling
KW - semantics
UR - http://www.scopus.com/inward/record.url?scp=85045930596&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85045930596&partnerID=8YFLogxK
U2 - 10.1109/ACCESS.2018.2822661
DO - 10.1109/ACCESS.2018.2822661
M3 - Article
AN - SCOPUS:85045930596
SN - 2169-3536
VL - 6
SP - 18276
EP - 18289
JO - IEEE Access
JF - IEEE Access
ER -