Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Checking safety properties using compositional reachability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
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
Horizontal communication: a style to compose control software
Software—Practice & Experience
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Concurrency: State Models And Java Programs
Concurrency: State Models And Java Programs
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
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
Generating Annotated Behavior Models from End-User Scenarios
IEEE Transactions on Software Engineering
Scenarios, goals, and state machines: a win-win partnership for model synthesis
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements Engineering
Requirement progression in problem frames: deriving specifications from requirements
Requirements Engineering
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Synthesis of Partial Behavior Models from Properties and Scenarios
IEEE Transactions on Software Engineering
Compositional Control Synthesis for Partially Observable Systems
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Timed I/O automata: a complete specification theory for real-time systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
On synthesizing controllers from bounded-response properties
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Synthesis of live behaviour models
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Synthesis of live behaviour models for fallible domains
Proceedings of the 33rd International Conference on Software Engineering
Model-based requirements verification method: Conclusions from two controlled experiments
Information and Software Technology
| Hi-index | 0.00 |
Requirements modelling helps software engineers understand a system’s required behaviour and explore alternative system designs. It also generates a formal software specification that can be used for testing, verification, and debugging. However, elaborating such models requires expertise and significant human effort. The paper aims at reducing this effort by automating an essential activity of requirements modelling which consists in deriving a machine specification satisfying a set of goals in a domain. It introduces deontic input-output automata —an extension of input-output automata with permissions and obligations— and an automated synthesis technique over this formalism to support such derivation. This technique helps modellers identifying early when a goal is not realizable in a domain and can guide the exploration of alternative models to make goals realizable. Synthesis techniques for input-output or interface automata are not adequate for requirements modelling.