Towards behavioral consistency in heterogeneous modeling scenarios

Author(s):  
Tim Krauter
2014 ◽  
Author(s):  
Kyle S. Sauerberger ◽  
Christopher S. Nave ◽  
Sarah E. Hampson ◽  
Lewis R. Goldberg

2016 ◽  
Vol 131 ◽  
pp. 32-39 ◽  
Author(s):  
Alice S. Rodrigues ◽  
Lisbetd Botina ◽  
Carolina P. Nascimento ◽  
Lessando M. Gontijo ◽  
Jorge B. Torres ◽  
...  

Author(s):  
Zhen You ◽  
Jiewen Huang ◽  
Jinyun Xue ◽  
Jiaxiang Chen ◽  
Jiaxin Liu ◽  
...  

Distributed Virtual Reality (DVR) is a combination of network and virtual reality technology, it could facilitate to construct a uniformly shared Distributed Virtual Environment (DVE) by using network to connect geographically distributed multiplayers. This paper concentrates on the theoretical research and practical development about Multiplayer Virtual Intelligent System (MVIS), and the main contribution could be summarized as two points. (1) Based on the DVR technology, this paper presented some theoretical research on MVIS, including the classification of virtual entities, communication pattern of entities, and the behavioral consistency research. Furthermore, a Multiplayer Earliest Deadline First (MEDF) program was proposed in order to guarantee the consistency of entities. (2) A prototype algorithm experiment system, called Multiplayer Graph-algorithm Intelligent System (MGIS), was designed. MGIS not onlyefficiently solves many problems in traditional computer algorithm teaching, such as high-abstraction, difficulty to understand, and lack of interaction mechanism; but also extends the application of DVR to cultural tourism, because MGIS is developed on the 3D scene of Lushan Mountain, which is one of the notable tourist attractions in China, and was included in the UNESCO World Heritage list in 1996. What i’s more, MGIS illustrates the ability of expression, applicability and generality of the theoretical research about MVIS.


Author(s):  
Abdelfetah Saadi ◽  
Youcef Hammal ◽  
Mourad Chabane Oussalah

Software applications are composed of a set of interconnected software components running on different machines. Most of these applications have a dynamic nature and need to reconfigure structure and behavior at run-time. The dynamic reconfiguration of software is a problem that must be dealt with. Reconfiguring this kind of applications is a complicated task and risks to take software at an undesirable situation. In this paper, the authors present a solution whose objective is to provide a complete support for reconfiguring and formally verifying consistency of dynamic updates of software before performing them. The aim is to provide highly available systems with the ability to safely modify their structure and behavior at run-time. The proposed approach is based mainly on the use of the meta-model concept for reconfiguration structural checking, and the CSP language, refinement technique, and the FDR model checking tool for the verification of reconfiguration behavioral consistency. The authors have also developed a tool prototype that validates and implements their proposals.


Sign in / Sign up

Export Citation Format

Share Document