Filters








27,598 Hits in 4.8 sec

Behavior-Preserving Simulation-to-Animation Model and Rule Transformations

Claudia Ermel, Hartmut Ehrig
2008 Electronical Notes in Theoretical Computer Science  
In the framework of graph transformation, simulation rules define the operational behavior of visual models.  ...  Moreover, it has been shown already how to construct animation rules from simulation rules by so-called S2A-transformation.  ...  Having semantical correctness both of S2A and of A2S , we have a behavior-preserving simulation-to-animation (S2A) model and rule transformation system.  ... 
doi:10.1016/j.entcs.2008.04.074 fatcat:u7ejg5thi5cwpnwcbfqt33k4y4

Animated simulation of integrated UML behavioral models based on graph transformation

C. Ermel, K. Holscher, S. Kuske, P. Ziemann
2005 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)  
UML model diagrams are translated to a graph transformation system and the behavior of the integrated model is simulated by applications of graph transformation rules.  ...  We sketch the tool interconnection to GenGED, a visual language environment which allows to enrich graph transformation systems for model simulation by features for animation.  ...  This allows to prove in a formal way that the model behavior is preserved in the visualization, by defining views as graph transformation systems, and arguing about properties of view morphisms [9] .  ... 
doi:10.1109/vlhcc.2005.18 dblp:conf/vl/ErmelHKZ05 fatcat:6crjntd5hbhxzoonvzx4i5p2u4

View Transformation in Visual Environments applied to Algebraic High-Level Nets

Claudia Ermel, Karsten Ehrig
2005 Electronical Notes in Theoretical Computer Science  
A scenario animation then is obtained as transformation by applying the animation rules to model states.  ...  rules from the model transformation system.  ...  He or she simulates (or animates) the behavior of a VL model by applying the behavior or animation rules to the current model state.  ... 
doi:10.1016/j.entcs.2005.02.006 fatcat:m5tdndfmfvfe5eygqoi6jd3z4a

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation

Claudia Ermel, Hartmut Ehrig, Karsten Ehrig
2007 Electronic Communications of the EASST  
In the framework of graph transformation, simulation rules are well-known to define the operational behavior of visual models.  ...  The results are applied to analyze the S2A transformation of a Radio Clock model. Keywords: graph transformation, model and rule transformation, semantical correctness, simulation, animation  ...  The simulation rules for a specific visual model are translated to the animation view by performing a simulation-to-animation model and rule transformation (S2A transformation), realizing a consistent  ... 
doi:10.14279/tuj.eceasst.4.13 dblp:journals/eceasst/ErmelEE06 fatcat:kqtlh367zfeivp77gokb2wmvlq

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation [chapter]

Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
2005 Lecture Notes in Computer Science  
The "classical" approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule).  ...  This translation depends on a concrete model and may yield large graph transformation systems as the number of rules depends directly on the number of transitions in the net.  ...  Due to the generic and modular definition of syntax, behavior and animation for behavior models, the GenGED approach reduces considerably the amount of work to realize a domain-specific animation of a  ... 
doi:10.1007/978-3-540-31847-7_4 fatcat:7oxq4pgz35fkhir6eyb4qq6zum

Model transformation intents and their properties

Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer
2014 Journal of Software and Systems Modeling  
Several common model transformation intents are identified and the framework is used to describe six of them in detail.  ...  A case study from the automotive industry is used to demonstrate the usefulness of the proposed framework for identifying crucial properties of model transformations with different intents and to illustrate  ...  It projects the behavior of a model on a specific animation view.  ... 
doi:10.1007/s10270-014-0429-x fatcat:d2etvwpprjacxiioalp27z4eni

Nonsmooth Developable Geometry for Interactively Animating Paper Crumpling

Camille Schreck, Damien Rohmer, Stefanie Hahmann, Marie-Paule Cani, Shuo Jin, Charlie C. L. Wang, Jean-Francis Bloch
2015 ACM Transactions on Graphics  
Although the model evolves over time to take these irreversible damages into account, the mesh used for simulation is kept coarse throughout the animation, leading to efficient computations.  ...  We validate our model through measurements and visual comparison with real paper manipulation, and show results on a variety of crumpled paper configurations.  ...  Thanks to Yunbo Zhang for helping us to prepare the comparison with the Shape-Up method.  ... 
doi:10.1145/2829948 fatcat:qnfpvrxpqbhplii5tlop7xyx6y

Crowd and group animation

Daniel Thalmann, Christophe Hery, Seth Lippman, Hiromi Ono, Stephen Regelous, Douglas Sutton
2004 Proceedings of the conference on SIGGRAPH 2004 course notes - GRAPH '04  
Simulation Phase The simulation phase adds motion and behavior to the characters by applying behavior rules to the crowd.  ...  , pre-render the models to be duplicated and transformed into space.  ...  Define the reactions and you define the behavior.  ... 
doi:10.1145/1103900.1103934 dblp:conf/siggraph/ThalmannHLORS04 fatcat:t4vvaa7jwjd4tgubf7dzz3wore

Dynamic Influence Networks for Rule-based Models [article]

Angus G. Forbes, Andrew Burks, Kristine Lee, Xing Li, Pierre Boutillier, Jean Krivine, Walter Fontana
2017 arXiv   pre-print
To evaluate the effectiveness of our approach, we investigate a simulation of a circadian clock model that illustrates the oscillatory behavior of the KaiC protein phosphorylation cycle.  ...  Using our interactive DIN-Viz software tool, researchers are able to query this dynamic network to find meaningful patterns about biological processes, and to identify salient aspects of complex rule-based  ...  ACKNOWLEDGMENTS This work is funded by the DARPA Big Mechanism Program under ARO contracts W911NF-14-1-0367 and W911NF-14-1-0395.  ... 
arXiv:1711.00967v1 fatcat:wbigxsfybvei7fy2gy6ju5wnpq

Synthesizing safe state machines from Esterel

Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
2006 SIGPLAN notices  
Statecharts are often more intuitive to understand than their textual counterpart, and their animated simulation can help to visualize subtle behaviors of a program.  ...  The second phase iteratively applies optimization rules that aim to reduce the number of states, transitions and hierarchy levels to enhance readability of the SSM.  ...  Charles André has been a valuable discussion partner on this subject and has suggested improvements to earlier versions of this paper.  ... 
doi:10.1145/1159974.1134667 fatcat:uukz7kotojcbhh7ynq7kewihnu

Synthesizing safe state machines from Esterel

Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
2006 Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers and tool support for embedded systems - LCTES '06  
Statecharts are often more intuitive to understand than their textual counterpart, and their animated simulation can help to visualize subtle behaviors of a program.  ...  The second phase iteratively applies optimization rules that aim to reduce the number of states, transitions and hierarchy levels to enhance readability of the SSM.  ...  Charles André has been a valuable discussion partner on this subject and has suggested improvements to earlier versions of this paper.  ... 
doi:10.1145/1134650.1134667 dblp:conf/lctrts/ProchnowTH06 fatcat:j3ovnq6ikjel5g4avcgnn2gbhq

A CPN/B method transformation framework for railway safety rules formal validation

Zakaryae Boudi, Rahma Ben-Ayed, El Miloudi El Koursi, Simon Collart-Dutilleul, Thomas Nolasco, Mohamed Haloua
2017 European Transport Research Review  
These specifications have been modeled using several formalisms, which makes it is extremely hard to preserve all requirements when switching between different formalisms.  ...  In this respect, the purpose of this contribution is to provide a methodology to demonstrate safety in railway systems by converting CPN models, widely used in modeling, into B abstract machines.  ...  Petri net behavior transformation rules The behavior of a Petri Net corresponds to the evolution of its places states (markings).  ... 
doi:10.1007/s12544-017-0228-x fatcat:r3rkz7f3ebaj5l3m7b3nfuq5ca

Crowd Simulation and Its Applications: Recent Advances

Ming-Liang Xu, Hao Jiang, Xiao-Gang Jin, Zhigang Deng
2014 Journal of Computer Science and Technology  
Then, we describe our recent research advances on crowd evacuation, pedestrian crowds, crowd formation, traffic simulation, and swarm simulation.  ...  Finally, we offer our viewpoints on open crowd simulation research challenges and point out potential future directions in this field.  ...  the stability of local structure and preserving the dynamic collective behavior, given source and target formation shapes.  ... 
doi:10.1007/s11390-014-1469-y fatcat:6fmcxqplxbf5fhn5a3vas2yyuy

Petri Nets as Semantic Domain for Diagram Notations

Luciano Baresi, Mauro Pezzè
2005 Electronical Notes in Theoretical Computer Science  
The first set specifies the correspondences between the elements of the diagram notation and those of the semantic domain (Petri nets); the second set transforms events and states of the semantic domain  ...  The approach defines interpreters by means of two sets of rules.  ...  The rules define the policy to propagate the events generated by analysis and simulation back to the abstract level.  ... 
doi:10.1016/j.entcs.2005.02.004 fatcat:tlrazft7bfbjxbfuinvtro5yai

Towards an automatic model transformation mechanism from UML state machines to DEVS models

Ariel González, Carlos Luna, Roque Cuello, Marcela Pérez, Marcela Daniele
2015 CLEI Electronic Journal  
Currently, these models do not have appropriate execution and simulation tools to analyze the real behavior of systems.  ...  A mechanism to validate the transformation is proposed. Moreover, examples of application to analyze the behavior of an automatic banking machine and a control system of an elevator are presented.  ...  values have not been changed. • To document the model as much as possible. • If the operational model is animated, to verify by means of the observation of the simulation that the model imitates the real  ... 
doi:10.19153/cleiej.18.2.3 fatcat:6llxpqfyjnhujgtj22zk7ahsoy
« Previous Showing results 1 — 15 out of 27,598 results