A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
2008
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2005
2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2007
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
ACM Transactions on Graphics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings of the conference on SIGGRAPH 2004 course notes - GRAPH '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers and tool support for embedded systems - LCTES '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2017
European Transport Research Review
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Journal of Computer Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2015
CLEI Electronic Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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