Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Graph-based Visualization of Requirements Relationships
REV '08 Proceedings of the 2008 Requirements Engineering Visualization
Validation of contracts using enabledness preserving finite state abstractions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
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
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Scaling up with event-B: a case study
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Deriving acceptance tests from goal requirements
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Conformance of navigational behavioural to requirements using animation
International Journal of Web Engineering and Technology
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Motivation modelling for human-service interaction
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Behavioral validation of JFSL specifications through model synthesis
Proceedings of the 34th International Conference on Software Engineering
A collaborative user-centered approach to fine-tune geospatial database design
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Hi-index | 0.00 |
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want.Requirements animation has been recognized to be a promising approach to support this.The principle is to simulate an executable version of the requirements model and to visualize the simulation in some form appealling to stakeholders.Most animation tools available to date simulate operational models.Such models in general do not directly reflect the objectives, constraints and assumptions stated declaratively by stakeholders.It is also not possible to focus the animation on particular portions of a complex model relevant to some specific concern. The paper describes a tool aimed at overcoming such limitations by animating goal-oriented requirements models.The tool automatically generates parallel state machines from goal operationalizations, instantiates those machines to specific instances created by users at animation time, executes them from concurrent events input by multiple users, monitors property violations at animation time, and visualizes concurrent simulations in terms of animated scenes in the domain.