Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph

Lin-jun FAN; Yun-xiang LING; Xing-tao ZHANG; Jun TANG

doi:10.1631/jzus.C1300089

Your Location：

Home >

Browse articles >

Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph

计算机与自动化 | Updated：2022-05-19

- Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph
- Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph
- 信息与电子工程前沿（英文） 2014年15卷第1期页码：1-12
- Affiliations：
  
  1.Science and Technology on Information Systems Engineering Laboratory, National University of Defense Technology, Changsha 410073, China
  2.Department of Telecommunications and Systems Engineering, Universitat Autónoma de Barcelona, Barcelona 08202, Spain
- Author bio：
  
  [ "Lin-jun FAN, E-mail: ljfan_nudt@163.com" ]
  [ "Yun-xiang LING, E-mail: yxling@tom.com" ]
  [ "Xing-tao ZHANG, E-mail: zhangxingtaolyx@163.com" ]
  [ "Jun TANG, E-mail: 08202tangjun018@gmail.com" ]
- Funds：
  
  Project supported by the National Natural Science Foundation of China (No. 61272336)
- DOI：10.1631/jzus.C1300089
  中图分类号： TP391.9
- 收稿：2013-04-08，
  
  修回：2013-12-16，
  
  纸质出版：2014-01
- Accepted：
Scan QR Code
Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph[J]. 信息与电子工程前沿（英文）, 2014,15(1):1-12.

Lin-jun FAN, Yun-xiang LING, Xing-tao ZHANG, et al. Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph[J]. Frontiers of Information Technology & Electronic Engineering, 2014, 15(1): 1-12.
Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph[J]. 信息与电子工程前沿（英文）, 2014,15(1):1-12. DOI： 10.1631/jzus.C1300089.

Lin-jun FAN, Yun-xiang LING, Xing-tao ZHANG, et al. Quantitative evaluation of model consistency evolution in compositional service-oriented simulation using a connected hyper-digraph[J]. Frontiers of Information Technology & Electronic Engineering, 2014, 15(1): 1-12. DOI： 10.1631/jzus.C1300089.

摘要

Abstract

Appropriate maintenance technologies that facilitate model consistency in distributed simulation systems are relevant but generally unavailable. To resolve this problem

we analyze the main factors that cause model inconsistency. The analysis methods used for traditional distributed simulations are mostly empirical and qualitative

and disregard the dynamic characteristics of factor evolution in model operational running. Furthermore

distributed simulation applications (DSAs) are rapidly evolving in terms of large-scale

distributed

service-oriented

compositional

and dynamic features. Such developments present difficulty in the use of traditional analysis methods in DSAs

for the analysis of factorial effects on simulation models. To solve these problems

we construct a dynamic evolution mechanism of model consistency

called the connected model hyper-digraph (CMH). CMH is developed using formal methods that accurately specify the evolutional processes and activities of models (i.e.

self-evolution

interoperability

compositionality

and authenticity). We also develop an algorithm of model consistency evolution (AMCE) based on CMH to quantitatively and dynamically evaluate influencing factors. Experimental results demonstrate that non-combination (33.7% on average) is the most influential factor

non-single-directed understanding (26.6%) is the second most influential

and non-double-directed understanding (5.0%) is the least influential. Unlike previous analysis methods

AMCE provides good feasibility and effectiveness. This research can serve as guidance for designers of consistency maintenance technologies toward achieving a high level of consistency in future DSAs.

关键词

Keywords

references

J. Al-Jaroodi , , , N. Mohamed . . Service-oriented middleware: a survey . . J. Network Comput. Appl. , , 2012 . . 35 ( ( 1 ): ): 211 - - 220 . . DOI: 10.1016/j.jnca.2011.07.013 http://doi.org/10.1016/j.jnca.2011.07.013 . .

A. Asiki , , , K. Doka , , , I. Konstantinou , , , 等 . . A grid middleware for data management exploiting peer-to-peer techniques . . Future Gener. Comput. Syst. , , 2009 . . 25 ( ( 4 ): ): 426 - - 435 . . DOI: 10.1016/j.future.2008.09.005 http://doi.org/10.1016/j.future.2008.09.005 . .

L. Atzori , , , A. Iera , , , G. Morabito . . The Internet of Things: a survey . . Comput. Networks , , 2010 . . 54 ( ( 15 ): ): 2787 - - 2805 . . DOI: 10.1016/j.comnet.2010.05.010 http://doi.org/10.1016/j.comnet.2010.05.010 . .

D. Beimel , , , L. Galanti . . A consistency-preserving protocol for distributed collaborative model authoring . . Proc. Int. Conf. on Systems Engineering and Modeling , , 2007 . . p.118 - - 126 . . DOI: 10.1109/ICSEM.2007.373341 http://doi.org/10.1109/ICSEM.2007.373341 . .

C. Brandt , , , F. Hermann , , , T. Engel . . Security and consistency of it and business models at Credit Suisse realized by graph constraints, transformation and integration using algebraic graph theory . . Proc. 10th Int. Workshop on Business Process Modeling, Development and Support , , 2009 . . p.339 - - 352 . . DOI: 10.1007/978-3-642-01862-6_28 http://doi.org/10.1007/978-3-642-01862-6_28 . .

A. Ceranowicz , , , D.E. Cutts , , , J. Graff , , , 等 . . A proposal for a data exchange model representation standard . . Proc. Spring Simulation Interoperability Workshop , , 2012 . . p.143 - - 155 . . . .

J.W. Chen . . Comparison analysis for validating methods of system simulation models . . Proc. Int. Conf. on Electric Information and Control Engineering , , 2011 . . p.232 - - 235 . . DOI: 10.1109/ICEICE.2011.5778078 http://doi.org/10.1109/ICEICE.2011.5778078 . .

D.W. Cheun , , , H.J. La , , , S.D. Kim . . A taxonomic framework for autonomous service management in serviceoriented architecture . . J. Zhejiang Univ.-Sci. C (Comput. & Electron.) , , 2012 . . 13 ( ( 5 ): ): 339 - - 354 . . DOI: 10.1631/jzus.C1100359 http://doi.org/10.1631/jzus.C1100359 . .

F. Cicirelli , , , A. Furfaro , , , L. Nigro . . Modelling and simulation of complex manufacturing systems using statechart-based actors . . IEEE Trans. Softw. Eng. , , 2011 . . 19 ( ( 2 ): ): 685 - - 703 . . DOI: 10.1016/j.simpat.2010.10.010 http://doi.org/10.1016/j.simpat.2010.10.010 . .

H.K. Dam , , , A. Ghose . . An agent-based framework for distributed collaborative model evolution . . Proc. 12th Int. Workshop on Principles on Software Evolution , , 2011 . . p.121 - - 130 . . DOI: 10.1145/2024445.2024468 http://doi.org/10.1145/2024445.2024468 . .

J. Ding , , , L. Chen , , , F. Zhou , , , 等 . . Consistency analysis of complex declarative simulation models . . J. Softw. , , 2005 . . 16 ( ( 11 ): ): 1868 - - 1875 . . DOI: 10.1360/jos161868 http://doi.org/10.1360/jos161868 . .

G. Engels , , , J.M. Kuster , , , R. Heckel , , , 等 . . Towards consistency-preserving model evolution . . Proc. 5th Int. Workshop on Principles of Software Evolution , , 2002 . . p.129 - - 132 . . DOI: 10.1145/512035.512066 http://doi.org/10.1145/512035.512066 . .

L. Fan , , , Y. Ling , , , T. Wang , , , 等 . . Novel clock synchronization algorithm of parametric difference for parallel and distributed simulations . . Comput. Networks , , 2013 . . 57 ( ( 6 ): ): 1474 - - 1487 . . DOI: 10.1016/j.comnet.2013.02.004 http://doi.org/10.1016/j.comnet.2013.02.004 . .

H. Foster . . Semantic inconsistency and its effect on simulation . . IEE Electron. Syst. Softw. , , 2003 . . 1 ( ( 2 ): ): 18 - - 21 . . DOI: 10.1049/ess:20030209 http://doi.org/10.1049/ess:20030209 . .

J. Guo , , , Y. Wang , , , P. Trinidad , , , 等 . . Consistency maintenance for evolving feature models . . Expert Syst. Appl. , , 2012 . . 39 ( ( 5 ): ): 4987 - - 4998 . . DOI: 10.1016/j.eswa.2011.10.014 http://doi.org/10.1016/j.eswa.2011.10.014 . .

F. Hermann , , , H. Ehrig , , , F. Orejas , , , 等 . . Correctness of model synchronization based on triple graph grammars . . Proc. 14th Int. Conf. on Model Driven Engineering Languages and Systems , , 2011 . . p.668 - - 682 . . DOI: 10.1007/978-3-642-24485-8_49 http://doi.org/10.1007/978-3-642-24485-8_49 . .

A.M. Law . . How to build valid and credible simulation models . . Proc. Winter Simulation Conf. , , 2005 . . DOI: 10.1109/WSC.2005.1574236 http://doi.org/10.1109/WSC.2005.1574236 . .

Y. Lu , , , Z.X. Hao , , , R. Dai . . A sufficient and necessary condition for the absolute consistency of XML DTDs . . Proc. 8th ACIS Int. Conf. on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing , , 2007 . . p.249 - - 254 . . DOI: 10.1109/SNPD.2007.104 http://doi.org/10.1109/SNPD.2007.104 . .

T. Mens , , , M. Wermelinger , , , S. Ducasse , , , 等 . . Challenges in software evolution . . Proc. 8th Int. Workshop on Principles of Software Evolution , , 2005 . . p.13 - - 22 . . DOI: 10.1109/IWPSE.2005.7 http://doi.org/10.1109/IWPSE.2005.7 . .

K.L. Morse . . XMSF profile study group final report . . Technical Report No. 05F-SIW-013. Science Applications International Corporation, San Diego, CA, United States , , 2005 . . .

H.L. Singh , , , D. Gracanin . . An approach to distributed virtual environment performance modeling: addressing system complexity and user behavior . . Proc. 19th IEEE Virtual Reality Conf. , , 2012 . . p.71 - - 72 . . DOI: 10.1109/VR.2012.6180887 http://doi.org/10.1109/VR.2012.6180887 . .

S. Strassburger , , , T. Schulze , , , R.M. Fujimoto . . Future trends in distributed simulation and distributed virtual environments: results of a peer study . . Proc. Winter Simulation Conf. , , 2008 . . p.777 - - 785 . . DOI: 10.1109/WSC.2008.4736140 http://doi.org/10.1109/WSC.2008.4736140 . .

C. Swinerd , , , K.R. McNaught . . Design classes for hybrid simulations involving agent-based and system dynamics models . . Simul. Model. Pract. Theory , , 2012 . . 25 118 - - 133 . . DOI: 10.1016/j.simpat.2011.09.002 http://doi.org/10.1016/j.simpat.2011.09.002 . .

A. Tolk , , , C.D. Turnitsa , , , S.Y. Diallo . . Ontological implications of the levels of conceptual interoperability model . . Proc. 10th World Multi-conf. on Systemics, Cybernetics and Informatics , , 2006 . . p.105 - - 111 . . . .

F. Trollmann , , , S. Albayrak . . Expressing model relations as basis for structural consistency analysis in Models@Run . . Time. Proc. ACM/IEEE 15th Int. Conf. on Model Driven Engineering Languages and Systems , , 2011 . . p.74 - - 75 . . DOI: 10.1145/2422518.2422530 http://doi.org/10.1145/2422518.2422530 . .

A. Uhlig , , , E. Rude . . Semi automatic reliability analysis based on simulation models . . Proc. Int. Conf. on Computer Applications in Shipbuilding , , 2009 . . p.78 - - 116 . . . .

J.Z. Wang , , , P. Varman , , , C.S. Xie . . Optimizing storage performance in public cloud platforms . . J. Zhejiang Univ.- Sci. C (Comput. & Electron.) , , 2011 . . 12 ( ( 12 ): ): 951 - - 964 . . DOI: 10.1631/jzus.C1100097 http://doi.org/10.1631/jzus.C1100097 . .

O. Wei , , , A. Gurfinkel , , , M. Chechik . . On the consistency, expressiveness, and precision of partial modeling formalisms . . Inf. Comput. , , 2011 . . 209 ( ( 1 ): ): 20 - - 47 . . DOI: 10.1016/j.ic.2010.08.001 http://doi.org/10.1016/j.ic.2010.08.001 . .

M. Weidlich , , , J. Mendling , , , M. Weske . . Efficient consistency measurement based on behavioral profiles of process models . . IEEE Trans. Softw. Eng. , , 2011 . . 37 ( ( 3 ): ): 410 - - 429 . . DOI: 10.1109/TSE.2010.96 http://doi.org/10.1109/TSE.2010.96 . .

Z.H. Wu , , , H.J. Chen . . From semantic grid to knowledge service cloud . . J. Zhejiang Univ.-Sci. C (Comput. & Electron.) , , 2012 . . 13 ( ( 4 ): ): 253 - - 256 . . DOI: 10.1631/jzus.C1101006 http://doi.org/10.1631/jzus.C1101006 . .

J. Yan . . Consistency and interoperability checking for component interaction rules . . Proc. 12th Asia-Pacific Software Engineering Conf. , , 2005 . . p.595 - - 602 . . DOI: 10.1109/APSEC.2005.55 http://doi.org/10.1109/APSEC.2005.55 . .

H. Yu , , , A. Vahdat . . Design and evaluation of a conitbased continuous consistency model for replicated services . . ACM Trans. Comput. Syst. , , 2002 . . 20 ( ( 3 ): ): 239 - - 282 . . DOI: 10.1145/566340.566342 http://doi.org/10.1145/566340.566342 . .

P. Yu , , , X. Ma , , , J. Cao , , , 等 . . Application mobility in pervasive computing: a survey . . Perv. Mob. Comput. , , 2013 . . 9 ( ( 1 ): ): 2 - - 17 . . DOI: 10.1016/j.pmcj.2012.07.009 http://doi.org/10.1016/j.pmcj.2012.07.009 . .

X. Zhang , , , T. Ward , , , S. McLoone . . Exploring an information framework for consistency maintenance in distributed interactive applications . . Proc. 13th IEEE/ACM Symp. on Distributed Simulation and Real-Time Applications , , 2009 . . p.121 - - 128 . . DOI: 10.1109/DS-RT.2009.23 http://doi.org/10.1109/DS-RT.2009.23 . .

W. Zhong , , , K. Huang . . Research on OWL-based BOM ontology model . . Proc. 2nd Int. Conf. on Computer Application and System Modeling , , 2012 . . p.1189 - - 1193 . . . .

D.X. Zhou , , , H. Zhong , , , R. Deng , , , 等 . . Survey of simulation composability of complex systems . . J. Syst. Simul. , , 2007 . . 19 ( ( 8 ): ): 1819 - - 1823 . . . .

S.P. Zhou , , , W.T. Cai , , , B.S. Lee , , , 等 . . Time-space consistency in large-scale distributed virtual environments . . ACM Trans. Model Comput. Simul. , , 2004 . . 14 ( ( 1 ): ): 31 - - 47 . . DOI: 10.1145/974734.974736 http://doi.org/10.1145/974734.974736 . .

浏览量

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

暂无数据