TY - GEN
T1 - Toward an automated view abstraction for distributed model-driven service development
AU - Duan, Yucong
AU - Duan, Qiang
AU - Shi, Ruisheng
AU - Gao, Honghao
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/8/31
Y1 - 2016/8/31
N2 - UML view integration has been extensively studied in the area of model transformation in Model Driven Development. Empirical processing rules are among the most widely employed approaches for processing view abstraction, which can support model simplification, consistency checking, and management complexity reduction. However, empirical rules face some challenges such as completeness validation, consistency among rules, and composition priority arrangement. The challenge of rule composition is amplified in the environment of distributed model driven development for web service-based systems where redundant information/data is emphasized. The same redundant information can be expressed in different forms that comprise various topological structures for entity relationship networks representing the same part of the system. Such variation will result in choosing different compositions of rules executed in different orders, which will increase the severity of non-determinism from the empirical probability of some rules. In this paper, we propose a formal solution for addressing this challenge through constructing finite-state automaton for unifying empirical abstraction rules while relieving the side effects caused by redundancy. We investigate the effect of redundancy on rules application through designing a simulated distributed storage for an example diagram model. We also show the results obtained from a prototype implementation.
AB - UML view integration has been extensively studied in the area of model transformation in Model Driven Development. Empirical processing rules are among the most widely employed approaches for processing view abstraction, which can support model simplification, consistency checking, and management complexity reduction. However, empirical rules face some challenges such as completeness validation, consistency among rules, and composition priority arrangement. The challenge of rule composition is amplified in the environment of distributed model driven development for web service-based systems where redundant information/data is emphasized. The same redundant information can be expressed in different forms that comprise various topological structures for entity relationship networks representing the same part of the system. Such variation will result in choosing different compositions of rules executed in different orders, which will increase the severity of non-determinism from the empirical probability of some rules. In this paper, we propose a formal solution for addressing this challenge through constructing finite-state automaton for unifying empirical abstraction rules while relieving the side effects caused by redundancy. We investigate the effect of redundancy on rules application through designing a simulated distributed storage for an example diagram model. We also show the results obtained from a prototype implementation.
UR - http://www.scopus.com/inward/record.url?scp=84989829689&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84989829689&partnerID=8YFLogxK
U2 - 10.1109/SCC.2016.115
DO - 10.1109/SCC.2016.115
M3 - Conference contribution
AN - SCOPUS:84989829689
T3 - Proceedings - 2016 IEEE International Conference on Services Computing, SCC 2016
SP - 823
EP - 826
BT - Proceedings - 2016 IEEE International Conference on Services Computing, SCC 2016
A2 - Zhang, Jia
A2 - Miller, John A.
A2 - Xu, Xiaofei
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 IEEE International Conference on Services Computing, SCC 2016
Y2 - 27 June 2016 through 2 July 2016
ER -