Automatic synthesis of state machines from trace diagrams
Software—Practice & Experience
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
MESA: Support for Scenario-Based Design of Concurrent Systems
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Using UML to reflect non-functional requirements
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Software Requirements
Nonfunctional Requirements: From Elicitation to Conceptual Models
IEEE Transactions on Software Engineering
A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs
SERA '05 Proceedings of the Third ACIS Int'l Conference on Software Engineering Research, Management and Applications
Modeling Architectural Non Functional Requirements: From Use Case to Control Case
ICEBE '06 Proceedings of the IEEE International Conference on e-Business Engineering
Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets
IEEE Transactions on Software Engineering
Non-functional requirements in business process modeling
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Threat-Driven Modeling and Verification of Secure Software Using Aspect-Oriented Petri Nets
IEEE Transactions on Software Engineering
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
| Hi-index | 0.00 |
Complete and precise software requirements description is critical in successful development of software systems. This description should specify both functional requirements (FRs), that define the different functionalities the system should perform, and non-functional requirements (NFRs), that define attributes of how the system should perform these functional requirements. Even though their satisfaction is of capital importance to the final product acceptance, little has been done in order to consider NFRs as early as possible in the development process. To date, NFRs are often dismissed in first stages, causing an eventual failure of the final product. In scenario-based approaches, behavioral models (BMs) representing formalization of different use cases are commonly generated. These BMs are composed to generate a formal specification of the system under development. In current practices, these BMs do not handle NFRs, a shortcoming of these approaches. We address this issue and we propose a framework where NFRs are defined as a set of non-functional goals. The framework assists the analyst to: (1) distribute the NFRs of the system among the partial behavioral models defining its specification (2) define estimations of the NFR goals each partial behavior should fulfill with respect to a system NFR goal (3) compose the different behavioral models and their NFRs. Afterward, the resulting NFR is verified against the NFR goal of the system to validate the estimations the analyst has made.