Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Software requirements validation via task analysis
Journal of Systems and Software
On Use Cases and Their Relationships in the Unified Modelling Language
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Automating Scenario-Driven Structured Requirements Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
Automated Generation of Context-Aware Tests
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Visualization of Use Cases through Automatically Generated Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
An Integration of Task and Use-Case Meta-models
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Model-Driven assessment of use cases for dependable systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Context-aware service composition in pervasive computing environments
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Describing use cases with activity charts
MIS'04 Proceedings of the 2004 international conference on Metainformatics
Hi-index | 0.00 |
Despite technical improvements in current verification tools, the increasing size of developed systems makes the detection of design defects more difficult. Context-aware Model-Checking is an effective technique for automating software verifications considering specific environmental conditions. Unfortunately, few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. We previously proposed a DSL (called CDL) to facilitate the formalization of requirements and contexts. Experiences has shown that manually writing CDL models is difficult and error prone task. In this paper, we propose a tool-supported framework to automatically generate CDL models using eXtended Use Cases (XUC). XUC models consistently link use cases with scenarios with respect to the domain specification vocabulary of the model to be checked. We also propose a requirements specification language to fill the gap between textual requirements and CDL properties. An industrial case study is presented to illustrate the effectiveness of XUCs to generate correct and complete CDL models for formal model analysis.