REV '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Visualization
Deriving behavior of multi-user processes from interactive requirements validation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Towards behavior elaboration and synthesis using modes
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Exploring inconsistencies between modal transition systems
Software and Systems Modeling (SoSyM)
Interface decomposition for service compositions
Proceedings of the 33rd International Conference on Software Engineering
Counter example-based error localization of behavior models
NFM'11 Proceedings of the Third international conference on NASA Formal methods
CSSL: a logic for specifying conditional scenarios
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Modal transition systems: composition and LTL model checking
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)
Component behavior synthesis for critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Scenario modeling and verification for business processes
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Synthesizing nonanomalous event-based controllers for liveness goals
ACM Transactions on Software Engineering and Methodology (TOSEM)
Counter play-out: executing unrealizable scenario-based specifications
Proceedings of the 2013 International Conference on Software Engineering
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Producing software by integration: challenges and research directions (keynote)
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Required behavior of sequence diagrams: Semantics and conformance
ACM Transactions on Software Engineering and Methodology (TOSEM)
Merging partial behaviour models with different vocabularies
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
Supporting incremental behaviour model elaboration
Computer Science - Research and Development
| Hi-index | 0.00 |
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this paper, we propose a novel synthesis technique that constructs behavior models in the form of ModalTransition Systems (MTS) from a combination of safety properties and scenarios. MTSs distinguish required, possible, and proscribed behavior, and their elaboration not only guarantees the preservation of the properties and scenarios used for synthesis but also supports further elicitation of new requirements.