TY - GEN
T1 - A closed-loop model-based design approach based on automatic verification and transformation
AU - Zhang, Kun
AU - Sprinkle, Jonathan
N1 - Publisher Copyright:
Copyright © 2014 ACM.
PY - 2014/10/21
Y1 - 2014/10/21
N2 - Domain-specific modeling languages effectively constrain structural concepts, but constraints that are not easily captured with structural constraints are still important to fix at design time. In practice these kinds of constraints are implicitly left to be carried out by the domain modelers. This paper explores the process of incorporating system behavioral (not just structural) constraints into a DSML, and studies the way of generating feasible transformation solutions if those constraints fail, based on a transformation library constructed in advance. Our approach is to carry out the verification process through code generation, but utilize the results of verification as an input to a model transformation generator. The output transformation then operates on the original model. As a case study, we applied the approach to finite state machine (FSM) models that control a cyber-physical system.
AB - Domain-specific modeling languages effectively constrain structural concepts, but constraints that are not easily captured with structural constraints are still important to fix at design time. In practice these kinds of constraints are implicitly left to be carried out by the domain modelers. This paper explores the process of incorporating system behavioral (not just structural) constraints into a DSML, and studies the way of generating feasible transformation solutions if those constraints fail, based on a transformation library constructed in advance. Our approach is to carry out the verification process through code generation, but utilize the results of verification as an input to a model transformation generator. The output transformation then operates on the original model. As a case study, we applied the approach to finite state machine (FSM) models that control a cyber-physical system.
KW - Closed-loop design
KW - Constraints verification
KW - Model transformation
UR - http://www.scopus.com/inward/record.url?scp=84921461370&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84921461370&partnerID=8YFLogxK
U2 - 10.1145/2688447.2688448
DO - 10.1145/2688447.2688448
M3 - Conference contribution
AN - SCOPUS:84921461370
T3 - DSM 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Domain-Specific Modeling, Part of SPLASH 2014
SP - 1
EP - 6
BT - DSM 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Domain-Specific Modeling, Part of SPLASH 2014
PB - Association for Computing Machinery
T2 - 14th Workshop on Domain-Specific Modeling, DSM 2014
Y2 - 21 October 2014 through 21 October 2014
ER -