The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML
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
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
ICGI '98 Proceedings of the 4th International Colloquium on Grammatical Inference
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
Understanding and Comparing Model-Based Specification Notations
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
OMML: A Behavioural Model Interchange Format
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
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
THE QSM ALGORITHM AND ITS APPLICATION TO SOFTWARE BEHAVIOR MODEL INDUCTION
Applied Artificial Intelligence
Requirements engineering: from craft to discipline
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Integrating Functional and Architectural Views of Reactive Systems
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Reasoning About Alternative Requirements Options
Conceptual Modeling: Foundations and Applications
Synthesizing partial component-level behavior models from system specifications
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Synthesizing and utilizing partial behavior models during requirements elicitation
Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposium
Journal of Systems and Software
Synthesizing hierarchical state machines from expressive scenario descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Goal-aligned requirements generation
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Deriving non-zeno behavior models from goal models using ILP
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization
REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Hazard-based selection of test cases
Proceedings of the 6th International Workshop on Automation of Software Test
Leveraging existing instrumentation to automatically infer invariant-constrained models
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
Validating interaction-based systems behavior via simulation and detecting implied scenarios
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Capacity-Driven Web Services: Concepts, Definitions, Issues, and Solutions
International Journal of Systems and Service-Oriented Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Incrementally synthesizing controllers from scenario-based product line specifications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
PLANT: A pattern language for transforming scenarios into requirements models
International Journal of Human-Computer Studies
Model-based requirements verification method: Conclusions from two controlled experiments
Information and Software Technology
Hi-index | 0.00 |
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts were therefore recently made to automate parts of this process, notably, by synthesizing behavior models from scenarios of interactions between the software-to-be and its environment. In particular, our previous interactive synthesizer generates labelled transition systems (LTS) from simple message sequence charts (MSC) provided by end-users. Compared with others, the synthesizer requires no additional input such as state or flowcharting information. User interactions consist in simple scenarios generated by the synthesizer that the user has to classify as example or counterexample of desired behavior.Experience with this approach showed that the number of such scenario questions may become fairly large in interaction-intensive applications such as web applications. In this paper, we extend our model synthesis technique by injecting additional information into the synthesizer, when available, in order to constrain induction and prune the inductive search space. Additional information may include global definitions of fluents that link interaction events and atomic assertions; declarative properties of the domain; behavior models of external components; and goals that the software system is expected to satisfy. We provide comparative data on increasingly complex examples to show how effective such constraints are in reducing the number of scenario questions and in increasing the adequacy of the synthesized model. As goals and domain properties might not be easily provided by users, the paper also shows how our synthesizer generates a significant class of them automatically from the available scenarios. As a side-effect, our work provides additional evidence on the synergistic links between scenarios, goals, and state machines for model-driven engineering of requirements and designs.