STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
Animating algorithms with XTANGO
ACM SIGACT News
Theoretical Computer Science
Checking subsystem safety properties in compositional reachability analysis
Proceedings of the 18th international conference on Software engineering
The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Visualization
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Behaviour Analysis of Software Architectures
WICSA1 Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1)
The Concurrency Factory: A Development Environment for Concurrent Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Analysing the behaviour of distributed software architectures: a case study
FTDCS '97 Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
UML for real
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
EFFICIENT: a tool set for supporting the modelling and validation of ebXML
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Validating Personal Requirements by Assisted Symbolic Behavior Browsing
Proceedings of the 19th IEEE international conference on Automated software engineering
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
A Game-theoretic Approach to Behavioural Visualisation
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Crafting game-models using reactive system design
Future Play '08 Proceedings of the 2008 Conference on Future Play: Research, Play, Share
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Pseudo software: A mediating instrument for modeling software requirements
Journal of Systems and Software
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Conformance of navigational behavioural to requirements using animation
International Journal of Web Engineering and Technology
Model-Based design of concurrent programs
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and in interpreting the meaning and significance of analysis results in relation to the problem domain. In this paper we describe how behavior models specified by Labeled Transition Systems (LTS) can drive graphical animations. The semantic framework for the approach is based on Timed Automata. Animations are described by an XML document that is used to generate a set of JavaBeans. The elaborated JavaBeans perform the animation actions as directed by the LTS model.