Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Principles of artificial intelligence
Principles of artificial intelligence
A proposed perspective shift: viewing specification design as a planning problem
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Integrating multiple specifications using domain goals
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Object-oriented modeling and design
Object-oriented modeling and design
Communications of the ACM - Special issue on analysis and modeling in software development
From natural language processing to logic for expert systems
Process programming by hindsight
ICSE '92 Proceedings of the 14th international conference on Software engineering
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Narrowing the specification-implementation gap in scenario-based design
Scenario-based design
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Functional documents for computer systems
Science of Computer Programming
Using schematic scenarios to understand user needs
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Elements of style: analyzing a software design feature with a counterexample detector
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Divergent views in goal-driven requirements engineering
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
GRAIL/KAOS: an environment for goal-driven requirements engineering
ICSE '97 Proceedings of the 19th international conference on Software engineering
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
Guiding the construction of textual use case specifications
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
A proposal for a scenario classification framework
Requirements Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Symbolic Model Checking
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
The Science of Programming
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
Readings in Knowledge Representation
Readings in Knowledge Representation
Scenarios in System Development: Current Practice
IEEE Software
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Utilizing Scenarios in the Software Development Process
Proceedings of the IFIP WG8.1 Working Conference on Information System Development Process
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Explanation-based Scenario Generation for Reactive System Models
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Improving the use case driven approach to requirements engineering
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Enhancing a Requirements Baseline with Scenarios
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
A Technique Combination Approach to Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Decision Making Methodology in Support of the Business Rules Lifecycle
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Object-Oriented Software Engineering: A Use Case Driven Approach
Object-Oriented Software Engineering: A Use Case Driven Approach
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
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
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A workbench for synthesising behaviour models from scenarios
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Fast formal analysis of requirements via “Topoi Diagrams”
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
Negative scenarios for implied scenario elicitation
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Negative scenarios for implied scenario elicitation
ACM SIGSOFT Software Engineering Notes
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
From scenarios to code: an air traffic control case study
Proceedings of the 25th International Conference on Software Engineering
Requirements interaction management
ACM Computing Surveys (CSUR)
Modeling organizational goals: analysis of current methods
Proceedings of the 2004 ACM symposium on Applied computing
Designing information systems in social context: a goal and scenario modelling approach
Information Systems - Special issue: The 14th international conference on advanced information systems engineering (CAiSE*02)
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Telecommunications Systems - Modeling, analysis, design and management
Emerging design: new roles and uses for abstraction
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Inferring operational requirements from scenarios and goal models using inductive learning
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Architecture-based testing using goals and plans
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
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
Scenario support for effective requirements
Information and Software Technology
Information and Software Technology
A conceptual model for business-oriented management of web services
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Automated Software Engineering
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
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
A method for modeling service management of e-Learning
WSEAS Transactions on Information Science and Applications
A modeling method for service management of e-Learning
AIC'08 Proceedings of the 8th conference on Applied informatics and communications
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Information and Software Technology
Dealing with Complexity Using Conceptual Models Based on Tropos
Conceptual Modeling: Foundations and Applications
An approach for generating state machine designs from scenarios
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Designing multi-agent systems: a framework and application
Expert Systems with Applications: An International Journal
The application of use cases in systems analysis and design specification
Information and Software Technology
Defining reference models for modelling qualities: how requirements engineering techniques can help
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
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
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
From textual use cases to service component models
Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
Agent-oriented requirements analysis from scenarios
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Information and Software Technology
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Requirements elicitation for agent-based applications
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
An ontology for enterprise and information systems modelling
Applied Ontology
An ontology for enterprise and information systems modelling
Applied Ontology
Ethics and Information Technology
Computational alignment of goals and scenarios for complex systems
Proceedings of the 2013 International Conference on Software Engineering
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.01 |
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for requirements elicitation and explores the process of inferring formal specifications of goals and requirements from scenario descriptions. Scenarios are considered here as typical examples of system usage; they are provided in terms of sequences of interaction steps between the intended software and its environment. Such scenarios are in general partial, procedural, and leave required properties about the intended system implicit. In the end such properties need to be stated in explicit, declarative terms for consistency/completeness analysis to be carried out.A formal method is proposed for supporting the process of inferring specifications of system goals and requirements inductively from interaction scenarios provided by stakeholders. The method is based on a learning algorithm that takes scenarios as examples/counterexamples and generates a set of goal specifications in temporal logic that covers all positive scenarios while excluding all negative ones.The output language in which goals and requirements are specified is the KAOS goal-based specification language. The paper also discusses how the scenario-based inference of goal specifications is integrated in the KAOS methodology for goal-based requirements engineering. In particular, the benefits of inferring declarative specifications of goals from operational scenarios are demonstrated by examples of formal analysis at the goal level, including conflict analysis, obstacle analysis, the inference of higher-level goals, and the derivation of alternative scenarios that better achieve the underlying goals.