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

Computer & Automation | 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
- Frontiers of Information Technology & Electronic Engineering Vol. 15, Issue 1, Pages: 1-12(2014)
- 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：
- DOI：10.1631/jzus.C1300089
  CLC： TP391.9
- Received：08 April 2013，
  
  Revised：2013-12-16，
  
  Published：2014-01
- Accepted：
Scan QR Code
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：

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 . .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰